Dipartimento di Ingegneria Elettrica ed Elettronica
UniversitÓ di Cagliari, Italy


Insegnamento: Sistemi Ibridi
Crediti: Corso per studenti di dottorato e laurea magistrale, 2║ semestre, 20 ore
Docente: Alessandro Giua - email: giua@diee.unica.it
Ufficio: DIEE pad B, 3║ piano.   Tel: 070-675-5751
Pagina web: http://www.diee.unica.it/giua/SI (Italiano)
http://www.diee.unica.it/giua/SI/index_en.html (English)

NEWS:

  • Il corso 2016 si terrÓ in lingua inglese.

Orario 2016:
Martedý Aprile 12ore 11-13Aula Beta
Venerdý Aprile 15ore 11-13Aula Beta
Lunedý Aprile 18ore 11-13Aula M
Martedý Aprile 26ore 11-13Aula G
Venerdý Aprile 29ore 11-13Aula G
Martedý Maggio 3ore 11-13Aula G
Venerdý Maggio 6ore 11-13Aula G
Martedý Maggio 10ore 11-13Aula G
Venerdý Maggio 13ore 11-13Aula G
Martedý Maggio 17ore 11-13Aula G


Obiettivi

Il corso si propone di studiare i sistemi ibridi, ossia quei sistemi in cui una dinamica ad eventi (rappresentabile ad esempio con un automa a stati finiti) interagisce strettamente con una dinamica a tempo continuo (rappresentabile ad esempio con una equazione differenziale). Sistemi di questo tipo si ritrovano in svariati campi applicativi: automotive (trasmissione automatica, regolatore di velocitÓ, sospensioni semi-attive), sistemi meccanici (marce, modelli di attriti, sistemi a commutazione di guadagno), processi chimici (reattori batch), sistemi elettrici (convertitori statici, sistemi con interruttori o non linearitÓ), telecomunicazione (controllo di buffer, reti wireless), automazione (controllo tramite PLC, controllo supervisivo, processi produttivi), trasporti (modellazione e controllo di traffico urbano e reti ferroviarie), sistemi embedded.

Per la loro potenza espressiva (essi sono in grado di modellare sistemi fisici in cui coesistono livelli di astrazione diversi) e l'interesse delle problematiche di tipo teorico, i sistemi ibridi sono stati oggetto di grande attenzione negli ultimi anni da parte sia della comunitÓ accademica sia dell'industria.

I modelli di riferimento presi in esame nel corso saranno gli automi ibridi, gli automi temporizzati e i sistemi a commutazione controllata. Gli studenti apprenderanno a: (a) modellare sistemi complessi, tratti da vari campi applicativi, per mezzo degli automi ibridi e studiarne il comportamento per simulazione usando strumenti software; (b) determinare l'insieme di raggiungibilitÓ degli automi temporizzati e di altri modelli che ad essi possono venir ricondotti; (c) analizzare la stabilitÓ dei sistemi a commutazione controllata e progettare leggi di controllo stabilizzanti per tale classe di sistemi.


Programma

  • Classificazione dei sistemi: sistemi ad avanzamento temporale, ad eventi discreti e ibridi. (2 ore)
  • Esempi di sistemi ibridi. (2 ore)
  • Automi ibridi: deterministici e nondeterministici; autonomi e controllati. (2 ore)
  • Evoluzione dinamica degli automi ibridi: esistenza ed unicitÓ della soluzione; zenonicitÓ, regolarizzazione spaziale e tempo di soggiorno minimo; simulazione con SIMULINK e MODELICA.(4 h)
  • Sistemi di transizione di stato: raggiungibilitÓ, classi di equivalenza e bisimulazione. Automi temporizzati: grafo delle regioni e determinazione dell'insieme di raggiungibilitÓ. Classi di automi ibridi: automi multirate; automi rettangolari; automi inizializzati e decidibilitÓ delle proprietÓ di interesse per riduzione ad automi temporizzati. (6 ore)
  • Sistemi lineari a commutazione e analisi della stabilitÓ: funzione di Lyapunov comune; funzioni di Lyapunov multiple; stabilitÓ quadratica; stabilitÓ per commutazione lenta. (4 ore)

Materiale didattico


Valutazione Esercitazioni consegnate oppure un progetto finale.