Related Books

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
Logical Foundations of Cyber-Physical Systems
Language: en
Pages: 662
Authors: André Platzer
Categories: Mathematics
Type: BOOK - Published: 2018-07-30 - 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
Logical Analysis of Hybrid Systems
Language: en
Pages: 446
Authors: André Platzer
Categories: Mathematics
Type: BOOK - Published: 2010-09-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-crit
A 21st Century Cyber-Physical Systems Education
Language: en
Pages: 107
Authors: National Academies of Sciences, Engineering, and Medicine
Categories: Computers
Type: BOOK - Published: 2017-01-27 - Publisher: National Academies Press

DOWNLOAD EBOOK

Cyber-physical systems (CPS) are "engineered systems that are built from, and depend upon, the seamless integration of computational algorithms and physical com