Principles of Cyber-Physical Systems

Catalog description

This course introduces the principled approach in cyber-physical system (CPS) design and includes its integration of computation and physical processes to network-embedded computing components. Topics include model-based design, distributed algorithms, formal specification and verification, and timed and hybrid systems.