Euriell Le Corronc - Symbolic models for switched systems

13:00
Jeudi
31
Jan
2013
  • Séminaire
Lieu : 
Organisé par : 

Arnaud Legrand

Intervenant : 

Euriell Le Corronc

Équipes : 
Mots clés : 
  • Calcul pour les sciences et technologies Modèles
  • Systèmes à événements discrets

Under the assumption of incremental stability of a switched system, we construct a symbolic model (described by a transition system) that is approximately bisimular to the original switched system with a chosen precision.