Related Books
Language: en
Pages: 313
Pages: 313
Type: BOOK - Published: 2021-02-16 - Publisher: MIT Press
A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification.
Language: en
Pages: 459
Pages: 459
Type: BOOK - Published: 2015-04-24 - Publisher: MIT Press
A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems. A cyber-ph
Language: en
Pages: 324
Pages: 324
Type: BOOK - Published: 2015-06-05 - Publisher: Springer
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic o
Language: en
Pages: 639
Pages: 639
Type: BOOK - Published: 2018-08-31 - Publisher: Springer
Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical pro
Language: en
Pages: 292
Pages: 292
Type: BOOK - Published: 2019-05-09 - Publisher: Springer
This book presents the state-of-the-art and breakthrough innovations in design automation for cyber-physical systems.The authors discuss various aspects of cybe