Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
In this work, probabilistic reachability over a finite horizon is investigated for a class of discrete time stochastic hybrid systems with control inputs. A suitable embedding of the reachability problem in a stochastic control framework reveals that it is amenable to two complementary interpretatio...
Main Authors: | Abate, A, Prandini, M, Lygeros, J, Sastry, S |
---|---|
Format: | Journal article |
Language: | English |
Published: |
2008
|
Similar Items
-
Probabilistic Reachability and Safety for Controlled Discrete Time Stochastic Hybrid Systems
by: Abate, A, et al.
Published: (2008) -
Approximate Model Checking of Stochastic Hybrid Systems
by: Abate, A, et al.
Published: (2010) -
Approximate Model Checking of Stochastic Hybrid Systems
by: Abate, A, et al.
Published: (2010) -
Reachability in Stochastic Timed Games.
by: Bouyer, P, et al.
Published: (2009) -
Stochastic hybrid systems : theory and safety critical applications /
by: Lygeros, John, et al.
Published: (2006)