Dettagli sull'Insegnamento per l'A.A. 2014/2015

Prerequisiti

Basi di Teoria dei Sistemi e Controlli Automatici.

Obiettivi

Il corso si propone di illustrare i modelli ibridi (sistemi in cui una logica discreta, rappresentabile ad esempio con un automa a stati finiti, interagisce strettamente con un sistema fisico continuo) e il loro uso per la progettazione di sistemi di controllo, con particolare enfasi su sistemi di controllo immersi ("embedded") e distribuiti.        

Sillabo

•  Modellistica: sistemi ibridi, proprietà di sicurezza, liveness, deadlocks, sistemi a commutazione. 
• Raggiungibilità e invarianza controllata.
• Osservabilità e osservatori ibridi. 
• Controllo con vincoli di sicurezza, approssimazioni di insiemi sicuri massimali. 
• Stabilità e stabilizzazione di sistemi a commutazione. 
• Applicazioni:  modelli e controllori ibridi per il controllo automotive e per il controllo del traffico;  gestione del traffico aereo mediante l’uso di osservatori ibridi; sistemi di controllo su reti wireless, e applicazioni agli edifici intelligenti e alle smart grids

Modalità d'esame

Prova orale e tesina

Aggiornamenti alla pagina del corso

• A.A. 2012/2013
• A.A. 2013/2014
• A.A. 2014/2015
• A.A. 2015/2016
• A.A. 2016/2017
• A.A. 2017/2018
• A.A. 2018/2019