Can I read Verifying Cyber-Physical Systems on EtoBox?

Verifying Cyber-Physical Systems by Sayan Mitra is a book available to read on EtoBox.

What is Verifying Cyber-Physical Systems about?

A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. Verification aims to establish whether a system meets a set of requirements. For such cyber-physical systems as driverless cars, autonomous spacecraft, and air-traffic management systems, verification is key to building safe systems with high levels of assurance. This graduate-level textbook presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. It distills the ideas and algorithms that have emerged from more than three decades of research and have led to the creation of industrial-scale modeling and verification techniques for cyber-physical systems. The book discusses such computer science concepts as undecidability and abstractions, alongside concepts from control theory including multiple Lyapunov functions and barrier... A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems,with a strong focus on verification.

Author

Sayan Mitra

Publisher

MIT Press

Language

EN