Automi Ibridi
Università degli Studi di Udine
Anno Accademico 2011-2012
Aim
This course aims at introducing hybrid automata as modeling formalism for representing and analysing systems involving both discrete and continous evolutions. We will mainly focus on the reachability problem for hybrid automata. In the general case such problem is undecidable, but it is possible to define restricted classes of automata over which it is decidable. We will present some basic decidability and approximation techniques.
Program
- Introduzione ai Sistemi Ibridi
- Automi Ibridi: Sintassi e Semantica
- Model Checking per Sistemi a Stati Finiti
- Raggiungibilità e Indecidibilità
- Classi di Automi Decidibili via Bisimulazione
- Applicazioni alla Biologia
- Equazioni Differenziali negli Automi Ibridi
- Classi di Automi Decidibili via Logiche sui Reali
- Semantiche Approssimate
- Strumenti Software