Euriell Le Corronc - Symbolic models for switched systems

13:00
Jeudi
31
Jan
2013
Organisé par : 

Arnaud Legrand

Intervenant : 

Euriell Le Corronc

Équipes : 
Mots clés : 

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.