Informazioni generali                                                                                     _________      

¨ Docente: Prof. Maria Domenica Di Benedetto
¨ Corso di studio: Laurea Specialistica in Ingegneria Informatica e Automatica
¨ Crediti formativi: 6, di cui 4 di lezione teorica, 2 di esercitazioni
¨ Propedeuticità: Laurea triennale in Ingegneria Informatica e Automatica
¨ Modalità d'esame: Tesina e colloquio
¨ Orario di ricevimento: su richiesta via email
      Maria Domenica Di Benedetto mariadomenica.dibenedetto@univaq.it 
      Giordano Pola giordano.pola@univaq.it
      Alessandro D'Innocenzo alessandro.dinnocenzo@univaq.it

                                                                                                                         Appelli di Esame

¨ 15 Ottobre 2009 - h: 10.30 - Aula 7, Scuola Reiss Romoli, L'Aquila

¨ 14 Settembre 2009 - h: 10.30 - Aula T4,  Polo Didattico, Via G. Di Vincenzo, L'Aquila 

¨ 21 Luglio 2009 - h: 10.30 - Aula da definire 

¨ 25 Giugno 2009 - h: 10.30 - Aula da definire 

¨ 11 Giugno 2009 - h: 10.30 - Aula da definire

Dynamical Properties of Hybrid Automata
John Lygeros, Karl Henrik Johansson, Slobodan N. Simic´,       Jun Zhang, and S. Shankar Sastry
IEEE Transaction on Automatic Control, Vol 48 no 1, Jan 2003

Lezioni:

#1 - Introduction

#2 - Definitions

#3 - Analysis and Control

#4 - Model Checking

#5 - Stability of Switched Systems

#6 - Observability of Hybrid Systems (part I)

#7 - Observability of Hybrid Systems (part II)

#8 - Introduzione al correct-by-design embedded control software

#9 - Richiami di processi continui e discreti

#10 - Metodi formali per l'analisi ed il controllo di sistemi embedded

#11 - Modelli simbolici 1/2

#12 - Modelli simbolici 2/2

#13 - Introduzione al supervisory control per la sintesi di controllori