Skip to Main content Skip to Navigation
Conference papers

Approximately bisimilar abstractions of incrementally stable finite or infinite dimensional systems

Antoine Girard 1
1 CASYS - Calculs Algébriques et Systèmes Dynamiques
LJK [2007-2015] - Laboratoire Jean Kuntzmann [2007-2015]
Abstract : In this paper, we establish a certain number of results for abstraction of a class of incrementally stable dynamical systems, in the framework of approximate bisimulation. Our approach does not rely on a discretization of the state space, it is therefore applicable indifferently to finite dimensional systems such as those modeled by differential equations, or infinite dimensional systems, such as those modeled by time-delay or partial differential equations. Our first result states that the sampled dynamics of an incrementally stable dynamical system is approximately bisimilar to a family of finite dimensional systems; this is of particular interest for infinite dimensional dynamical systems. The second result shows that these finite dimensional systems admit approximately bisimilar symbolic abstractions. In both cases, any precision can be achieved either by increasing the dimension or the number of states of the abstractions.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01133212
Contributor : Antoine Girard <>
Submitted on : Wednesday, March 18, 2015 - 5:13:56 PM
Last modification on : Friday, July 17, 2020 - 11:39:01 AM

Identifiers

Collections

Citation

Antoine Girard. Approximately bisimilar abstractions of incrementally stable finite or infinite dimensional systems. CDC 2014 - IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.824-829, ⟨10.1109/CDC.2014.7039483⟩. ⟨hal-01133212⟩

Share

Metrics

Record views

371