Verifying Cyber-Physical Systems
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. This graduate-level textbook presents a uni… Celý popis ↓
Porovnanie cien Verifying Cyber-Physical Systems
Popis Verifying Cyber-Physical Systems
Verifying Cyber-Physical Systems
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. This graduate-level textbook presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. 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.
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
Podobné produkty
Verifying Cyber-Physical Systems
Cyber Power Systems UT1500EG-FR
