verifying cyber-physical systems

About

This web page contains additional supporting material for the book Verifying Cyber-physical Systems written by Sayan Mitra and published by MIT press, in February 2021. This book presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. The book available from Amazon, Barnes and Noble, and Penguin.

CPSBook

Endorsements

“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


“I found this to be a very thorough introduction to techniques for the specification, modeling, and formal verification of complex cyber-physical systems. The manner in which the material is presented is outstanding: rigorous, yet comprehensible thanks to the extensive use of illustrative examples. Designed as a complete textbook, but I found it to also be suitable for reading up on individual topics. Highly recommended for practitioners, students, and researchers in CPS.”

Sanjoy Baruah, Hugo F. and Ina Champ Urbauer Professor of Computer Science and Engineering at Washington University in St. Louis

These pages contain lecture slides in editable powerpont format as well as pdf, extra problems, and code for demonstrations and programming assingments.

Learn more, read the book.

Cite as

@book{MitraCPSBook2021,
	author = {Sayan Mitra},
	title = {Verifying Cyber-Physical Systems: A Path to Safe Autonomy},
	date = {2021-02-16},
	publisher = {MIT Press},
	isbn = {978-0-262-04480-6},
	pagetotal = {312},
	url = {https://mitpress.mit.edu/contributors/sayan-mitra}
}

Contact

  • Email: mitras at illinois dot edu
  • Twitter: @Mitrasayn

This project is maintained by sayanmitracode