CSE 362: Foundations of Cyber-Physical Computing

This course covers the modeling, design, and analysis of cyberphysical 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.