CS 6763

Cyber-Physical Systems: Formal Methods, Safety and Security

Course Description

Cyber-physical systems (CPS) are smart systems that include co-engineered interacting networks of physical and computational components. This course will teach students the required skills to analyze the CPS that are all around us, so that when they contribute to the design of CPS, they are able to understand important safety and security aspects and feel confident designing and analyzing CPS systems.


Looks like this course isn't being taught this semester.

Sort by "All" in the top right to see previous semesters.