Cyber-Physical Systems Design (in English)
CPSa Acad. year 2023/2024 Summer semester 5 credits
The Cyber-Physical Systems combine cybernetic (computation and/or communication) and physical properties (motion or other physical processes). The application of such systems covers automotive, flight control and defense systems, critical infrastructure control (power grids, water resources, communication systems), energy management and storage, transportation control and safety, communication systems, robotics and distributed robotics (telemedicine), medical technologies, systems for assisted living, consumer electronics, toys and other smart devices. These devices interact in physical world through computer controlled algorithms. Design of the CPS control algorithms is a challenging discipline considering their tight coupling to physical systems behavior. An important design aspect to be considered is the correctness of the control algorithms itself, as the execution of critical control tasks depends on their correct function, as is the case in aircraft and/or car collision avoidance in automatic or autonomous modes, respectively. The aim of the course is to find an answer to an important social question, how to responsibly design critical Cyber-Physical Systems on whose flawless function depend human lives.
Language of instruction
- 26 hrs lectures
- 12 hrs laboratories
- 14 hrs projects
- 60 pts final exam
- 20 pts mid-term test
- 20 pts projects
The aim of the course is to stimulate an understanding of the design and analysis of Cyber-Physical Systems (CPS), which integrate computer systems into physical processes. Simultaneously, the course also addresses the synthesis of highly reliable real-time systems. The design and programming of control systems in laboratory conditions is an integral part of the course.
A successful graduate will acquire the understanding of basic CPS principles and knowledge in the design and analysis of computer systems integrated into real physical processes. The acquired knowledge will allow for a qualified insight into the system abstraction and architecture, and will simultaneously support the mastering of model and control system designs while using adequate safety specifications to fulfill desired CPS performance targets. The acquired knowledge and skills will support verification of adequate CPS models while taking into account the expected effects of the environment on their function.
Why is the course taught
In recent years there has been a significant improvement in the availability of precise and reliable sensors, high-performance actuators (servos) and embedded systems. Cyber-Physical Systems (CPS) combining computer software with physical components became a ubiquitous part of our daily life. Automotive, medical and aeronautical applications represent only a small fraction of the interaction between the automatic and intelligent machines and humans. The course will introduce the CPS design environment, while also addressing the compromises originating from the essential reliability and safety requirements. The presented CPS design framework will introduce the relation between the computer hardware and software engineering starting from the initial design draft up to the final system validation.
- Platzer A.: Logical Foundations of Cyber-Physical Systems, Springer, 2018, ISBN13 (EAN): 9783319635873.
- Danda B. Rawat, Joel J.P.C. Rodrigues, Ivan Stojmenovic: Cyber-Physical Systems: From Theory to Practice, CRC Press, 2015, ISBN 9781482263329.
Rajeev Alur: Principles of Cyber-Physical Systems, The MIT Press, 2015, ISBN-10: 0262029111.
Syllabus of lectures
- Introduction to Cyber-physical systems.
- System identification and model parameter estimation.
- Physical system models.
- Simulation of physical models and introduction to cybernetic systems.
- Coupled Cyberp-Physical System models.
- Stability and control basics.
- System analysis and control in continuous time.
- System analysis and control in discrete time.
- Robust control.
- Drone control strategies.
- Autonomy of unmanned systems.
- Risk analysis of highly integrated systems.
- Verification and testing.
Syllabus of laboratory exercises
- Introduction to Matlab/Simulink and simulation of dynamic systems.
- System identification, model parameter estimation.
- Simulation and stability analysis of physical models.
- CPS control algorithms design.
- Control algorithm implementation in simulation environment.
- System testing and verification.
Syllabus - others, projects and individual work of students
- Student will individually design a CPS.
- Student will perform an analysis of a specific CPS.
- Student will design and implement a CPS control system.
- Mid-term exam - 20 points.
- Completion of individually assigned project - 20 points.
- Final exam - 60 points.
- Active participation on Laboratory exercises.
- Attending midterm exam and achieving min. 10 points.
- On time delivery and successful defense of individual project min. 10 points.
|Tue||lecture||lectures||E104||15:00||16:50||70||1EIT 1MIT 2EIT 2MIT INTE||xx||Chudý|
Course inclusion in study plans
- Programme IT-MGR-2 (in English), field MGMe, any year of study, Elective
- Programme MIT-EN (in English), any year of study, Compulsory-Elective group B
- Programme MITAI, field NADE, NBIO, NEMB, NEMB up to 2021/22, NGRI, NHPC, NIDE, NISD, NISY, NISY up to 2020/21, NMAL, NMAT, NNET, NSEC, NSEN, NSPE, NVER, NVIZ, any year of study, Elective
- Programme MITAI, field NCPS, any year of study, Compulsory