Dec 09, 2023  
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