Cyber Physical Systems. Design, Modeling, and Evaluation
6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, inOctober 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.
Includes supplementary material: sn.pub/extras
Autor*in
Christian Berger
Themen in »Cyber Physical Systems. Design, Modeling, and Evaluation«
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