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.
CSE 352 is a prerequiste for this class.