Principles of Cyber-Physical Systems - by Rajeev Alur (Paperback)

Product Description

About the Book A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems. Book Synopsis A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems. A cyber-physical system consists of a collection of computing devices communicating with one another and interacting with the physical world via sensors and actuators in a feedback loop. Increasingly, such systems are everywhere, from smart buildings to medical devices to automobiles. This textbook offers a rigorous and comprehensive introduction to the principles of …