54 search results - page 1 / 11 » Periodically-Scheduled Controller Analysis Using Hybrid Syst... |
HYBRID
2000
Springer
13 years 8 months ago
2000
Springer
In this paper we describe an experimental system called d=dt for approximating reachable states for hybrid systems whose continuous dynamics is de ned by linear di erential equatio...
HYBRID
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
HYBRID
2009
Springer
13 years 8 months ago
2009
Springer
HYBRID
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. In this paper we present an approach to approximate reachability computation for nonlinear continuous systems. Rather than studying a complex nonlinear system ˙x = g(x),...
HYBRID
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...