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

  1. Introduzione ai Sistemi Ibridi
  2. Automi Ibridi: Sintassi e Semantica
  3. Model Checking per Sistemi a Stati Finiti
  4. Raggiungibilità e Indecidibilità
  5. Classi di Automi Decidibili via Bisimulazione
  6. Applicazioni alla Biologia
  7. Equazioni Differenziali negli Automi Ibridi
  8. Classi di Automi Decidibili via Logiche sui Reali
  9. Semantiche Approssimate
  10. Strumenti Software