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
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 of Systems
Language: en
Pages: 270
Authors: Andrea Bondavalli
Categories: Computers
Type: BOOK - Published: 2016-12-16 - Publisher: Springer

DOWNLOAD EBOOK

This book is open access under a CC BY 4.0 license. Technical Systems-of-Systems (SoS) – in the form of networked, independent constituent computing systems t
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