Hide Advanced Options
Courses - Fall 2018
Electrical & Computer Engineering Department Site
Advanced Topics in Controls; Formal Methods for Cyber-Physical Systems
Credits: 3
Grad Meth: Reg, Aud
Prerequisites: ENEE460, ENEE469O, CMSC250, working knowledge of MATLAB, C++, or JAVA.

Cyber-physical systems (CPS) are systems in which computational (cyber) processes interact closely with physical dynamical processes. The design and verification of such systems requires a good understanding of formal mathematical methods that are found in both computer science and the traditional engineering disciplines. These formal methods are used to model, verify, and design complex embedded systems in which the interaction of computational and physical processes must be approached in a holistic manner. This course introduces first/second year graduate students to the formal methods used in the verification and design of cyber-physical systems with applications drawn from several areas: robotics, manufacturing, healthcare, autonomous vehicles, smart grids, security and privacy, communication networks, social networks.