Course Info

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.

Spring 2021-2022

Section: 601
Class number: 37697
Meeting time: Th 1:30PM - 5:00PM
Location: 14EAS 00503 at Loop Campus

Spring 2020-2021

Section: 601
Class number: 35679
Meeting time: Tu 1:30PM - 4:45PM
Location: Online: Sync