Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10107)
Part of the book sub series: Information Systems and Applications, incl. Internet/Web, and HCI (LNISA)
Included in the following conference series:
Conference proceedings info: CyPhy 2016.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (9 papers)
Other volumes
-
Cyber Physical Systems. Design, Modeling, and Evaluation
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
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Cyber Physical Systems. Design, Modeling, and Evaluation
Book Subtitle: 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Editors: Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-51738-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-51737-7Published: 13 January 2017
eBook ISBN: 978-3-319-51738-4Published: 11 January 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 127
Number of Illustrations: 47 b/w illustrations
Topics: Information Systems Applications (incl. Internet), Computer Communication Networks, Software Engineering, Logics and Meanings of Programs, Algorithm Analysis and Problem Complexity, Artificial Intelligence