Author:
Fribourg L.,Goubault E.,Mohamed S.,Mrozek M.,Putot S.
Funder
Agence Nationale de la Recherche
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference40 articles.
1. A topological method for finding invariant sets of continuous systems;Fribourg,2015
2. Conley index theory;Mischaikow,2002
3. Some properties of solutions to polynomial systems of differential equations;Carothers;Electron. J. Differ. Equ.,2005
4. Approximated bisimulation relations for constrained linear systems;Girard;Automatica,2007
5. Approximately bisimilar symbolic models for incrementally stable switched systems;Girard;IEEE Trans. Autom. Control,2010