Il corso intende fornire un’introduzione all’analisi e alla progettazione di sistemi cyberphysical system. Questo comprende i processi sincroni e asincroni, i requisiti di safety e liveness, e i sistemi dinamici e temporizzati. Il corso riprende e sviluppa nozioni di calcolo delle probabilità e statistica e sviluppa semplici applicazioni di intelligenza artificiale per la collective intelligence.
FRANCESCO BELLOTTI (Presidente)
Scritto + Orale, Scritto, Orale
