Skip to content Skip to navigation

AI for Cyber-Physical Systems

Data Management for Big Data

Objective: introducing students to computational management of data, in particular the characterization of an information system, data modeling, design and management of databases, including non-traditional ones (eg, unstructured documents, spatial data, biological data , multimedia data), to the fundamentals of distributed data and to methodologies and techniques for the management and analysis of big data.

Cyber-Physical Systems

Objective: introduces the students to the design and analysis of Cyber-Physical Systems, we will see how to model such systems, how to specify and monitor their behaviors using formal languages as temporal logics, and how to use monitoring techniques for different applications as parameter synthesis and falsification test