Related Books

Verifying Cyber-Physical Systems
Language: en
Pages: 313
Authors: Sayan Mitra
Categories: Computers
Type: BOOK - Published: 2021-02-16 - Publisher: MIT Press

DOWNLOAD EBOOK

A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification.
Cyber-Physical Systems: A Model-Based Approach
Language: en
Pages: 205
Authors: Walid M. Taha
Categories: Computers
Type: BOOK - Published: 2020-09-01 - Publisher: Springer Nature

DOWNLOAD EBOOK

In this concise yet comprehensive Open Access textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems (CPS). Using modeling as a
Logical Foundations of Cyber-Physical Systems
Language: en
Pages: 639
Authors: André Platzer
Categories: Mathematics
Type: BOOK - Published: 2018-08-31 - Publisher: Springer

DOWNLOAD EBOOK

Cyber-physical systems (CPSs) combine cyber capabilities, such as computation or communication, with physical capabilities, such as motion or other physical pro
Principles of Cyber-Physical Systems
Language: en
Pages: 459
Authors: Rajeev Alur
Categories: Computers
Type: BOOK - Published: 2015-04-24 - Publisher: MIT Press

DOWNLOAD EBOOK

A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems. A cyber-ph
Cyber-Physical Systems
Language: en
Pages: 516
Authors: Houbing Herbert Song
Categories: Computers
Type: BOOK - Published: 2016-08-27 - Publisher: Morgan Kaufmann

DOWNLOAD EBOOK

Cyber-Physical Systems: Foundations, Principles and Applications explores the core system science perspective needed to design and build complex cyber-physical