Description:

Cyber-physical systems (CPS) are smart systems that include co-engineered interacting networks of physical and computational components. Examples of CPS include medical devices, cars, and robots. Increasingly, such systems are everywhere. It becomes more and more important to assure the safety and security of CPS, since many CPS applications are safety-critical and life-critical.

In this course, we will study principles of model-based design for safety-critical CPS. We will also survey various topics on CPS research frontier, including medical CPS, human-in-the-loop CPS, and CPS security.

This course combines lectures with paper presentation by the students, encouraging both fundamental knowledge acquisition as well as open-ended discussions. At the end of this course, students will have gained both knowledge/skills related to CPS, as well as research and presentation skills.

Prerequisites:

This course assumes mathematical maturity. Students should have basic knowledge of probability theory, linear algebra, and discrete math.

Gradings:

Homework (40%)

Student presentation (50%)

Participation (10%)

List of topics (tentative):

Introduction to CPS

Design, Specification, Modeling, and Safety Analysis

Medical CPS

Human-in-the-loop CPS

CPS Security 

Cyber-physical systems (CPS) are smart systems that include co-engineered interacting networks of physical and computational components.In this course, we will study principles of model-based design for safety-critical CPS. We will also survey various topics on CPS research frontier, including medical CPS, human-in-the-loop CPS, and CPS security.