Apr 08, 2025  
Graduate Record 2023-2024 
    
Graduate Record 2023-2024 [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