index.md

• Course Code: CSC.T431
• Instructor : Takuo Watanabe (Department of Computer Science)
• Academic Year/Quarter : 2020 / 3Q
• Days / Periods : Monday & Thursday / 1-2 (8:50-10:30)
• Room : Zoom (URL will be announced via OCW-i)
• Github: https://github.com/titech-cps

Course description and aims

A cyber-physical system (CPS) is a collection of computational entities that communicate with one other and interact with the physical world via sensors and actuators. Such systems are omnipresent today, from automobiles to smart cities. In this course, basic concepts, theory, and issues of cyber-physical systems are examined. The course aims to ensure that students not only grasp the concepts, but also obtain basic skills to formally model and verify cyber-physical systems.

Student learning outcomes

By the end of the course students should be able to:

1. explain the basic concepts of cyber-physical systems, reactive systems, synchronous/asynchronous computation models, dynamical systems, timed model, and hybrid systems.
2. have an understanding of safety/liveness properties of synchronous/asynchronous computation models.
3. have an understanding of the properties of dynamical systems, timed model, and hybrid systems.

Keywords

Cyber-Physical Systems, Reactive Systems, Dynamical Systems, Timed Model, Hybrid Systems,　Embedded Systems, Real-Time Systems, Verification, Reactive Programming, Actor Model

Schedule

1. Course Introduction, Concepts of Cyber-Physical Systems
2. Synchronous Model (1): Concepts and Formalization
3. Synchronous Model (1): Properties
4. Safety Requirements and Verification
5. Asynchronous Model (1): Concepts and Formalization
6. Asynchronous Model (2): Properties
7. Liveness Requirements and Verification
8. Dynamical Systems (1): Concepts and Formalization
9. Dynamical Systems (2): Properties and Verification
10. Timed Models (1): Concepts and Formalization
11. Timed Model (2): Properties
12. Hybrid Systems (1): Concepts and Formalization
13. Hybrid Systems (2): Properties
14. Programming Models for CPS

Textbook

• R. Alur, Principles of Cyber-Physical Systems, MIT Press, 2015.

Reference books, course materials, etc.

Course materials will be provided via the course website.

Assessment criteria and methods

• Assignment: 50%
• Final exam: 50%

Related courses

• CSC.T251 ： Automata and Formal Languages
• CSC.T371 ： System Software
• CSC.T374 ： Control Systems
• CSC.T422 ： Mathematical Theory of Programs

Prerequisites

Students must have successfully completed the related courses or have equivalent knowledge.