Advertisement

Cyber Physical Systems. Design, Modeling, and Evaluation

6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

  • Christian Berger
  • Mohammad Reza Mousavi
  • Rafael Wisniewski
Conference proceedings CyPhy 2016

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10107)

Also part of the Information Systems and Applications, incl. Internet/Web, and HCI book sub series (LNISA, volume 10107)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Waheed Ahmad, Bugra M. Yildiz, Arend Rensink, Mariëlle Stoelinga
    Pages 1-16
  3. Kenichi Betsuno, Shota Matsumoto, Kazunori Ueda
    Pages 17-30
  4. Georgiana Caltais, Florian Leitner-Fischer, Stefan Leue, Jannis  Weiser
    Pages 31-45
  5. Shafiul Azam Chowdhury, Taylor T. Johnson, Christoph Csallner
    Pages 46-60
  6. Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner
    Pages 71-86
  7. Stefan Schwab, Bernd Holzmüller, Sören Hohmann
    Pages 87-100
  8. Ken Vanherpen, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe
    Pages 101-115
  9. Jonas Westman, Mattias Nyberg, Oscar Thydén
    Pages 116-125
  10. Back Matter
    Pages 127-127

About these proceedings

Introduction

This book constitutes the proceedings of the 6th International Workshop
on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy
2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, in
October 2016.

The 9 papers presented in this volume were carefully reviewed and selected from 14 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems with a particular focus on techniques and components to enable and support virtual prototyping and testing.

Keywords

formal methods hybrid systems model checking ontologies symbolic analysis contract-based design cyber-physical systems differential testing formal specification hybrid identification loop invariants model transformation model-based design model-driven engineering ontological reasoning simulation system identification test automation testing verification

Editors and affiliations

  • Christian Berger
    • 1
  • Mohammad Reza Mousavi
    • 2
  • Rafael Wisniewski
    • 3
  1. 1.University of GothenburgGothenburgSweden
  2. 2.Halmstad UniversityHalmstadSweden
  3. 3.Aalborg UniversityAalborgDenmark

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-51738-4
  • Copyright Information Springer International Publishing AG 2017
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-51737-7
  • Online ISBN 978-3-319-51738-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Engineering