NTNU’s logo

Course Name: CSC9008 Cyber-Physical Systems 網宇實體系統 (Spring 2025)
Instructor: Chao Wang 王超
Course Meetings: Thursdays 14:20-17:20 @ room S602, Gongguan Campus
Office Hours: Tuesdays 2-4PM and Thursdays 10AM-noon @ room 511, Applied Science Building, Gongguan Campus; or by appointment

配合教育部雙語大學政策，此課程為 EMI 全英文授課。

Contents

Course Syllabus

This is a graduate-level course, but self-motivated undergraduates are also welcome. We do not expect students have learned differential equations and Laplace transform, for we will learn them in this course; but we do expect students have learned operating systems, calculus, and C programming. In the first week of the course, we will do a written test on operating systems, calculus, and C programming, and tha will count for 5% of your semester score. In this course we will not repeat those topics that most CS students have learned in their undergraduate education.

Broadly speaking, cyber-physical systems (CPS) focus on integrating computing systems and their physical environment, and knowledge in CPS helps people frame the core substance of modern real-time, safety-critical applications: UAVs, self-driving cars, pacemakers, power grids, to name a few. Research work in CPS also bears fruits in improving systems prototyping, verification, and prediction. Digital twin is one excellent example. Finally, human-in-the-loop cyber-physical systems (HiLCPS) explore the roles of human beings in the era of machine learning and AI.

In the Spring 2025 edition, the debut of this course, we will learn some theoretical foundations shared by many CPS applications, and we will study together some CPS research papers. In addition, we will do some hands-on C programming projects in Linux.

Prerequisites:
Students must have learned (1) operating system concepts and (2) working knowledge in C, C++, and Linux.

Grading:

  • Assignment 50%
  • First-week test 5%
  • Participation 15%
  • Attendances 10%
  • Paper presentation 20%

Course Schedule

  1. Real-time scheduling theory and systems: rate-monotonic scheduling, earliest-deadline-first scheduling, real-time servers, resource access protocols
  2. Mathematical foundation: differential equations and dynamical systems
  3. Basic control theory: transfer function, state space model, system stability
  4. Timed automata and verification of hybrid systems
  5. Student presentation and discussion of research papers

References

  1. Giorgio C. Buttazzo. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications Springer; 3rd ed. 2011 edition. eBook ISBN 978-1-4614-0676-1. (accessible via campus network)

  2. Tabuada, Paulo. Verification and control of hybrid systems: a symbolic approach. Springer Science & Business Media, 2009. eBook ISBN 978-1-4419-0224-5. (accessible via campus network)

  3. Hirsch, M. W., & Smale, S. (1974). Differential equations, dynamical systems, and linear algebra.

  4. Research papers

Further references will be posted on Moodle.

Accessibility

Students in need please contact the instructor.

Academic Integrity

Both homework assignments and literature critiques are designed to be done individually. Please reflect on the university’s motto: Sincerity, Integrity, Diligence, Simplicity. Anyone found to be cheating or helping someone else cheat will receive zero score for that assignment.