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
Authors: Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, S. Shankar Sastry 
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
Recommendations
- Hybrid Systems: Computation and Control
- Stochastic reachability analysis of hybrid systems.
- Hybrid Systems: Computation and Control
- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control
- Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting
- Hybrid Systems: Computation and Control
- Approximations of Stochastic Hybrid Systems: A Compositional Approach
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Approximations of Stochastic Hybrid Systems
- State constrained reachability for stochastic hybrid systems
Cited In (35)
- Approximate model checking of stochastic hybrid systems
- Error estimates for second order Hamilton-Jacobi-Bellman equations. Approximation of probabilistic reachable sets
- Stochastic reachability analysis of hybrid systems.
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
- Trajectory-based theory for hybrid systems
- Hybrid Systems: Computation and Control
- Bounded Verification of Reachability of Probabilistic Hybrid Systems
- State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings
- Probabilistic verification of a biodiesel production system using statistical model checking
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction
- Hybrid Systems: Computation and Control
- Lagrangian approximations for stochastic reachability of a target tube
- Model reduction of switched affine systems
- Static analysis and stochastic search for reachability problem
- Stochastic reachability of a target tube: theory and computation
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
- Approximations of Stochastic Hybrid Systems: A Compositional Approach
- Title not available (Why is that?)
- Reachability for partially observable discrete time stochastic hybrid systems
- State constrained reachability for 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
- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
- Hybrid Systems: Computation and Control
- Safety of stochastic systems: an analytic and computational approach
- Reachability analysis of stochastic hybrid systems: a biodiesel production system
- Hybrid Systems: Computation and Control
- Robust global recurrence for a class of stochastic hybrid systems
- Probabilistic invariance of mixed deterministic-stochastic dynamical systems
- Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction
- ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems
- Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision
- 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)
