A foundational text that offers a rigorous introduction to the principles of design
Specification modeling & analysis of cyber-physical systems A cyber-physical system consists of a collection of computing devices communicating with one another & interacting with the physical world via sensors & actuators in a feedback loop Increasingly such systems are everywhere from smart buildings to medical devices to automobiles This textbook offers a rigorous & comprehensive introduction to the principles of design
Specification modeling & analysis of cyber-physical systems The book draws on a diverse set of subdisciplines including model-based design concurrency theory distributed algorithms formal methods of
Specification & verification control theory real-time systems & hybrid systems explaining the core ideas from each that are relevant to system design & analysis The book explains how formal models provide mathematical abstractions to manage the complexity of a system design It covers both synchronous & asynchronous models for concurrent computation continuous-time models for dynamical systems & hybrid systems for integrating discrete & continuous evolution The role of correctness requirements in the design of reliable systems is illustrated with a range of
Specification formalisms & the associated techniques for formal verification The topics include safety & liveness requirements temporal logic model checking deductive verification stability analysis of linear systems & real-time scheduling algorithms Principles of modeling
Specification & analysis are illustrated by constructing solutions to representative design problems from distributed algorithms network protocols control design & robotics This book provides the rapidly expanding field of cyber-physical systems with a long-needed foundational text by an established authority It is suitable for classroom use or as a reference for professionals