ABSTRACT - Con il termine sistemi ibridi si intendono sistemi descritti da interconnessioni di sistemi dinamici e dispositivi logici. Sistemi di questo tipo si incontrano in molte situazioni di interesse pratico, dal controllo di processo alle applicazioni automobilistiche. La modellistica, l’analisi ed il controllo tradizionali non riescono a trattare questa tipologia di sistemi, e la pratica comune è di risolvere i problemi sviluppando tecniche ad hoc. Durante il mini-corso inquadreremo teoricamente i sistemi ibridi, ne approfondiremo le tematiche di modellistica, analisi e controllo. Presenteremo le diverse rappresentazioni matematiche necessarie per formalizzare il problema del controllo. Introdurremo gli strumenti teorici, algoritmici e di supporto che ci permetteranno di sviluppare un esempio di sintesi di cruise control per un autoveicolo con cambio manuale robotizzato.

Part 1 (1.5Mb) Part 2 (0.5Mb) Part 3 (1.1Mb) Part 4 (1.1Mb)

 Download publications