11 search results - page 1 / 3 » On the Decidability of the Reachability Problem for Planar D... |
HYBRID
2001
Springer
13 years 9 months ago
2001
Springer
FORMATS
2006
Springer
13 years 9 months ago
2006
Springer
Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as...
SAC
2010
ACM
14 years 5 days ago
2010
ACM
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...
HYBRID
1995
Springer
13 years 9 months ago
1995
Springer
Abstract. In this paper we investigate the decidability of the reachability problem for planar non-linear hybrid systems. A planar hybrid system has the property that its state spa...
IANDC
2008
13 years 5 months ago
2008
Hybrid systems are dynamical systems with the ability to describe mixed discretecontinuous evolution of a wide range of systems. Consequently, at first glance, hybrid systems appe...