Skip to content Skip to navigation

Cyber-Physical Systems

Curriculum

Computational Science and Engineering

Data Science and Applications

Path

Control and Design of Cyber-Physical Systems

Foundations of Data Science

Year

SSD

INF/01

TAF

C

CFU

6

SEM

II

Lecturers

Detailed Description

Esse3 Course Page

Objective: introducing cyber-physical systems, with particular regard to modeling them with hybrid formalisms and the formal verification of their properties.