Verifying Cyber-Physical Systems: A Path to Safe Autonomy

“Mitra’s book provides a thoroughly modern view of the techniques for specification and verification of cyber-physical systems, expertly explaining how tools from control theory, dynamical systems, automata theory, and formal methods can be combined to analyze safety in autonomous systems. Using a combination of conceptual examples that can be used to understand basic concepts and modern applications that motivate the need for new approaches, this book provides the foundation for practitioners interested in understanding conceptual frameworks for verification of hybrid systems and researchers interested in establishing a rigorous basis for further advances.”—Richard Murray, Thomas E. and Doris Everhart Professor of Control and Dynamical Systems and Bioengineering, Caltech “This is an excellent textbook that gives a comprehensive introduction to state-of-the-art techniques in formal modeling and verification of cyber-physical systems. Its seamless integration of technical details and illustrative examples makes it ideally suited for graduate students hoping to understand this complex subject matter.”—Rajeev Alur, Zisman Family Professor in the Department of Computer and Information Science, University of Pennsylvania