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.
CSE 433 is a prerequisite for this class.