Artificial Intelligence for Cyber-Physical Systems

Learning Goals

The student will learn state of the art applications of AI to Cyber-Physical Systems, with particular attention on the combined use of logic and machine learning for modelling, monitoring, controlling, and analyzing their behaviour.

Program in pills

Logic-based methods for CPS: automata, temporal logic, and modelling formalisms. Monitoring and verification. Integration with learning: logic-based explainable predictors for time-series, anomaly detection, logic-driven reinforcement learning. Simulation-based testing, falsification, and system-design.

Area

Multidisciplinary, Ethical-Judicial-Social Knowledge and Applications

Curriculum Foundations
TAF Type

D

Curriculum Industry
TAF Type

C

Curriculum Health
TAF Type

Curriculum Economy
TAF Type

SSD

ING-INF/05

ECTS

6

Semester

1

Lecturers

Laura Nenzi
Link (esse3)
Back to Courses