𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)

✍ Scribed by Sayan Mitra

Publisher
The MIT Press
Year
2021
Tongue
English
Leaves
312
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis

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.

πŸ“œ SIMILAR VOLUMES

Model Checking (Cyber Physical Systems S
πŸ“ Model Checking (Cyber Physical Systems Series)
✍ Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith πŸ“‚ Library πŸ“… 2018 πŸ› The MIT Press 🌐 English

<p><b>An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.</b></p><p>Model checking is a verification technology that provides an algorithmic means of determining whether an abstract

Intelligent Cyber-Physical Systems for A
πŸ“ Intelligent Cyber-Physical Systems for Autonomous Transportation
✍ Sahil Garg, Gagangeet Singh Aujla, Kuljeet Kaur, Syed Hassan Ahmed Shah πŸ“‚ Library πŸ“… 2022 πŸ› Springer 🌐 English

<span>This book provides comprehensive discussion on key topics related to the usage and deployment of AI in urban transportation systems including drones. The book presents intelligent solutions to overcome the challenges of static approaches in the transportation sector to make them intelligent, a

Cyber-Physical Systems
πŸ“ Cyber-Physical Systems
✍ Raj Rajkumar, Dionisio de Niz, Mark Klein πŸ“‚ Library πŸ“… 2017 πŸ› Addison-Wesley Professional 🌐 English

Learn the State of the Art in Embedded Systems and Embrace the Internet of Things The next generation of mission-critical and embedded systems will be β€œcyber physical”: They will demand the precisely synchronized and seamless integration of complex sets of computational algorithms and physical comp

Introduction to Embedded Systems - A Cyb
πŸ“ Introduction to Embedded Systems - A Cyber-Physical Systems Approach
✍ E. A. Lee and S. A. Seshia πŸ“‚ Library πŸ“… 2011 🌐 English

This book strives to identify and introduce the durable intellectual ideas of embedded systems as a technology and as a subject of study. The emphasis is on modeling, design, and analysis of cyber-physical systems, which integrate computing, networking, and physical processes.