183 search results - page 1 / 37 » Reachability analysis of generalized polygonal hybrid system... |
ICTAC
2009
Springer
13 years 2 months ago
2009
Springer
The GSPeeDI tool implements a decision procedure for the reachability analysis of GSPDIs, planar hybrid systems whose dynamics is given by differential inclusions, and that are not...
SAC
2008
ACM
13 years 4 months ago
2008
ACM
SAC
2010
ACM
13 years 11 months 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...
FORMATS
2006
Springer
13 years 8 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...
HYBRID
2007
Springer
13 years 10 months ago
2007
Springer
