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.