Euriell Le Corronc - Symbolic models for switched systems

13:00
Thursday
31
Jan
2013
  • Seminar
Place: 
Organized by: 

Arnaud Legrand

Speaker: 

Euriell Le Corronc

Teams: 
Keywords: 
  • 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.