Skip navigation

Rajeev Alur

Rajeev Alur is Zisman Family Professor of Computer and Information Science and Director of the Embedded Systems Masters program at the University of Pennsylvania.

Titles by This Author

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 design, specification, modeling, and analysis of cyber-physical systems.