2020 Cyber-Physical Systems

Font size  SML

Register update notification mail Add to favorite lecture list
Academic unit or major
Graduate major in Computer Science
Instructor(s)
Watanabe Takuo 
Course component(s)
Lecture    (ZOOM)
Day/Period(Room No.)
Mon1-2(Zoom)  Thr1-2(Zoom)  
Group
-
Course number
CSC.T431
Credits
2
Academic year
2020
Offered quarter
3Q
Syllabus updated
2020/9/18
Lecture notes updated
-
Language used
English
Access Index

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 syncronous/asynchronous computation models.
(3) have an understanding of the properties of dynamical systems, timed model, and hybrid systems.

Keywords

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

Competencies that will be developed

Specialist skills Intercultural skills Communication skills Critical thinking skills Practical and/or problem-solving skills

Class flow

Classroom learning

Course schedule/Required learning

  Course schedule Required learning
Class 1 Course Introduction, Concepts of Cyber-Physical Systems Understand some important characteristics and definitions of Cyber-Physical Systems
Class 2 Synchronous Models (1): Concepts and Formalization Understand the concepts and formalization of synchronous models
Class 3 Synchronous Models (1): Properties Understand the properties of synchronous models
Class 4 Safety Requirements and Verification Understand the safety requirements and verification of synchronous/asynchronous
Class 5 Asynchronous Models (1): Concepts and Formalization Understand the concepts and formalization of asynchronous models
Class 6 Asynchronous Models (2): Properties Understand the properties of asynchronous models
Class 7 Liveness Requirements and Verification Understand the liveness requirements and verification of synchronous/asynchronous models
Class 8 Dynamical Systems (1): Concepts and Formalization Understand the concepts and formalization of dynamical systems
Class 9 Dynamical Systems (2): Properties Understand the properties of dynamical systems
Class 10 Timed Models (1): Concepts and Formalization Understand the concepts and formalization of timed models
Class 11 Timed Models (2): Properties Understand the properties of timed models
Class 12 Hybrid Systems (1): Concepts and Formalization Understand the concepts and formalization of hybrid systems
Class 13 Hybrid Systems (2): Properties Understand the properties of hybrid systems
Class 14 Programming Models for CPS Understand the programming models of CPS

Out-of-Class Study Time (Preparation and Review)

To enhance effective learning, students are encouraged to spend approximately 100 minutes preparing for class and another 100 minutes reviewing class content afterwards (including assignments) for each class.
They should do so by referring to textbooks and other course material.

Textbook(s)

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 (i.e., required knowledge, skills, courses, etc.)

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

Page Top