Cyber-Physical Systems: Advanced concepts and research challenges

Recommended Prerequisites

No prerequisites are defined.

Teaching Methods

Tutorial and seminar classes. Assessment: written technical report and oral presentation.

Learning Outcomes

Cyber-physical systems are systems formed by collaborative computational entities, with a strong connection to the physical world and its processes. These systems, such as autonomous cars, operating robots, smart buildings, and intelligent production systems, can understand and adapt to external conditions. The main objective of this course is to provide the student with advanced knowledge to analyse, design, implement, and test safe and secure cyber-physical systems.

To achieve this main objective, the student must acquire skills and ability to:

- Identify functional requirements of cyber-physical systems

- Model and simulate system functionalities

- Develop software for the control of cyber-physical systems

- Design test plans, validate and evaluate the performance of cyber-physical systems.

Work Placement(s)

No

Syllabus

Cyber-physical systems and Internet of Things

Design methodologies

System safety

Communications and networks

Cyber-security

Applications and Services.

Head Lecturer(s)

Lino José Forte Marques

Assessment Methods

Assessment
Oral presentation : 20.0%
Synthesis work: 80.0%

Bibliography

- Proceedings of the IEEE, Special issue on “Cyber–Physical Systems”, Volume 100, Issue 1, January 2012.

- Proceedings of the IEEE, Special issue on “Safe and Secure Cyber–Physical Systems”, Volume 106, Issue 1, January 2018.

- Lee, Edward Ashford, and Sanjit A. Seshia. Introduction to embedded systems: A cyber physical systems approach, 2nd ed, MIT Press, 2017.

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

- Platzer, André. Logical Foundations of Cyber-Physical Systems, Springer, 2018.

- D. Nunes, J. Sá Silva, F. Boavida, "A Practical Introduction to Human-in-the-Loop Cyber-Physical Systems", John Wiley & Sons, ISBN: 978-1-119-37777-1, January 2018.

For each topic to be addressed in the course, a list of additional research papers will be provided to the students.