Dec 02, 2022  
Graduate Record 2021-2022 
    
Graduate Record 2021-2022 [ARCHIVED RECORD]

CS 6763 - Cyber-Physical Systems: Formal Methods, Safety and Security


Effective Start Date: 03/25/2021
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.

Credits: 3
Grading Basis: Graded