Arnaud Legrand
Euriell Le Corronc
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.