Euriell Le Corronc - Symbolic models for switched systems

13:00
Thursday
31
Jan
2013
Organized by: 

Arnaud Legrand

Speaker: 

Euriell Le Corronc

Keywords: 
Abstract: 

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.