Course Info

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.

Spring 2023-2024

Section: 610
Class number: 35351
Meeting time: -
Location: Online: Async (Sync-Option)
Section: 630
Class number: 35349
Meeting time: Th 1:30PM - 5:00PM
Location: Online: Sync