69 search results - page 3 / 14 » Hybrid Systems with Finite Bisimulations |
MST
2008
13 years 6 months ago
2008
We study finite bisimulations of dynamical systems in Rn defined by Pfaffian maps. The pure existence of finite bisimulations for a more general class of o-minimal systems was show...
HYBRID
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
HYBRID
2001
Springer
13 years 10 months ago
2001
Springer
HYBRID
2000
Springer
13 years 9 months ago
2000
Springer
HYBRID
2007
Springer
13 years 10 months ago
2007
Springer