Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
From MaRDI portal
Publication:3612955
DOI10.1007/978-3-540-71493-4_4zbMATH Open1221.93030OpenAlexW1824914642MaRDI QIDQ3612955FDOQ3612955
S. Shankar Sastry, Maria Prandini, John Lygeros, Alessandro Abate, Saurabh Amin
Publication date: 11 March 2009
Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71493-4_4
Cited In (17)
- Approximate model checking of stochastic hybrid systems
- Error estimates for second order Hamilton-Jacobi-Bellman equations. Approximation of probabilistic reachable sets
- Bounded Verification of Reachability of Probabilistic Hybrid Systems
- Probabilistic verification of a biodiesel production system using statistical model checking
- Hybrid Systems: Computation and Control
- Lagrangian approximations for stochastic reachability of a target tube
- Model reduction of switched affine systems
- Stochastic reachability of a target tube: theory and computation
- Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
- Approximations of Stochastic Hybrid Systems: A Compositional Approach
- Reachability for partially observable discrete time stochastic hybrid systems
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach
- Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach
- Hybrid Systems: Computation and Control
- Trajectory-Based Theory for Hybrid Systems
- Robust global recurrence for a class of stochastic hybrid systems
- Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction
Recommendations
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems 👍 👎
- Hybrid Systems: Computation and Control 👍 👎
- Approximations of Stochastic Hybrid Systems 👍 👎
- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control 👍 👎
- Hybrid Systems: Computation and Control 👍 👎
- Stochastic reachability analysis of hybrid systems. 👍 👎
- State constrained reachability for stochastic hybrid systems 👍 👎
- Hybrid Systems: Computation and Control 👍 👎
- Approximations of Stochastic Hybrid Systems: A Compositional Approach 👍 👎
- Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting 👍 👎
This page was built for publication: Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612955)
