▶Japanese
Post to SNS
- Home
- > School of Computing
- > Graduate major in Computer Science
- > Cyber-Physical Systems
- School of Science
-
School of Engineering
- Undergraduate major in Mechanical Engineering
- Undergraduate major in Systems and Control Engineering
- Undergraduate major in Electrical and Electronic Engineering
- Undergraduate major in Information and Communications Engineering
- Undergraduate major in Industrial Engineering and Economics
- Common courses
- School of Materials and Chemical Technology
- School of Computing
- School of Life Science and Technology
- School of Environment and Society
- 工学院，物質理工学院，環境・社会理工学院共通科目
- Liberal arts and basic science courses
- First-Year Courses
- School of Science
- School of Engineering
- School of Materials and Chemical Technology
- School of Computing
- School of Life Science and Technology
-
School of Environment and Society
- Department of Architecture and Building Engineering
- Department of Civil and Environmental Engineering
- Department of Transdisciplinary Science and Engineering
- Department of Social and Human Sciences
- Department of Innovation Science
- Graduate major in Technology and Innovation Management
- Common courses
- Liberal arts and basic science courses
- Academic unit or major
- Graduate major in Computer Science
- Instructor(s)
- Watanabe Takuo
- Class Format
- Lecture (HyFlex)
- Media-enhanced courses
- Day/Period(Room No.)
- Mon1-2(W831) Thr1-2(W831)
- Group
- -
- Course number
- CSC.T431
- Credits
- 2
- Academic year
- 2022
- Offered quarter
- 3Q
- Syllabus updated
- 2022/4/20
- 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, Synchronous Models (1): Concepts | Understand some important characteristics and definitions of Cyber-Physical Systems and the concepts of synchronous models |
| Class 2 | Synchronous Models (2): Formalization | Understand the formalization of synchronous models |
| Class 3 | Synchronous Models (1): Properties | Understand the properties of synchronous models |
| Class 4 | Safety Requirements and Verification (1): Safety Requirements | Understand the safety requirements of synchronous/asynchronous |
| Class 5 | Safety Requirements and Verification (2): Verification Methods | Understand the verification methods of safety in synchronous models |
| Class 6 | Asynchronous Models (1): Concepts and Formalization | Understand the concepts and formalization of asynchronous models |
| Class 7 | Asynchronous Models (2): Properties | Understand the properties of 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.
Other
https://titech-cps.github.io
