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


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.


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

Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment