359 search results - page 26 / 72 » Reachability for Continuous and Hybrid Systems |
LICS
1996
IEEE
13 years 12 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
HYBRID
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
SIAMCO
2010
13 years 2 months ago
2010
We consider a target problem for a nonlinear system under state constraints. We give a new continuous level-set approach for characterizing the optimal times and the backward-reach...
HYBRID
2004
Springer
14 years 1 months ago
2004
Springer
The observability of deterministic, discrete-time, switched, linear systems is considered. Depending on whether or not the modes are observed, and on whether the continuous state o...
HYBRID
2005
Springer
14 years 1 months ago
2005
Springer
This paper deals with polynomial stochastic hybrid systems (pSHSs), which generally correspond to stochastic hybrid systems with polynomial continuous vector fields, reset maps, a...