Apr 09, 2025  
Graduate Record 2023-2024 
    
Graduate Record 2023-2024 [ARCHIVED RECORD]

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


Effective Start Date: 08/01/2023
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