59 search results - page 2 / 12 » Approximate abstractions of discrete-time controlled stochas... |
HYBRID
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. An algorithm for computing the maximal controlled invariant set and the least restrictive controller for discrete time systems is proposed. We show how the algorithm can ...
HYBRID
2007
Springer
13 years 9 months ago
2007
Springer
HYBRID
2010
Springer
13 years 9 months ago
2010
Springer
CDC
2009
IEEE
13 years 8 months ago
2009
IEEE
Abstract— For stochastic hybrid systems, stochastic reachability is very little supported mainly because of complexity and difficulty of the associated mathematical problems. In...
HYBRID
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Hamilton-Jacobi partial differential equations have many applications in the analysis of nondeterministic continuous and hybrid systems. Unfortunately, analytic solution...