Cyber phsyical systems are integrations of computation and communication with physical processes. Embedded computers monitor and control physical processes in real-time. The main goal of this course is to study methods for building safety-critical cyber-physical systems from the viewpoint of the software engineer. Topics will include modeling, analysis, design and verification of cyber-physical systems.
Highlights
