CSE 462: Foundations of Cyber-Physical Computing

This course covers the modeling, design, and analysis of cyber-physical systems that integrate computation and physical processes. It introduces formal models that support abstractions to manage the complexity of a system design and verify the system implementation correctness. Topics include safety and liveness requirements, temporal logic, model checking, deductive verification, stability analysis of linear systems, and real-time scheduling algorithms.