Safety verification for probabilistic hybrid systems
From MaRDI portal
Publication:389835
DOI10.3166/EJC.18.572-587zbMATH Open1291.93294MaRDI QIDQ389835FDOQ389835
Authors: Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn, Lijun Zhang 
Publication date: 21 January 2014
Published in: European Journal of Control (Search for Journal in Brave)
Recommendations
- Measurability and safety verification for stochastic hybrid systems
- Rewarding probabilistic hybrid automata
- ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems
- Hybrid Systems: Computation and Control
- Verification and control of probabilistic rectangular hybrid automata
Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Stochastic systems in control theory (general) (93E03)
Cites Work
- Hybrid Systems: Computation and Control
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- What's decidable about hybrid automata?
- Title not available (Why is that?)
- Stochastic hybrid systems. Theory and safety critical applications.
- Model checking of probabilistic and nondeterministic systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Approximations of Stochastic Hybrid Systems
- Hybrid Systems: Computation and Control
- Automatic verification of real-time systems with discrete probability distributions.
- The algorithmic analysis of hybrid systems
- Title not available (Why is that?)
- Toward a general theory of stochastic hybrid systems
- Probabilistic CEGAR
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control
- Safety verification of non-linear hybrid systems is quasi-semidecidable
- Stochastic games for verification of probabilistic timed automata
- Asymptotic Optimization of a Nonlinear Hybrid System Governed by a Markov Decision Process
- Title not available (Why is that?)
- Title not available (Why is that?)
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
Cited In (18)
- Unbounded-time safety verification of stochastic differential dynamics
- A compositional modelling and verification framework for stochastic hybrid systems
- Efficient choice of parameters on delta-reachability bounded hybrid systems
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
- Verification and control for probabilistic hybrid automata with finite bisimulations
- Verification and control of probabilistic rectangular hybrid automata
- Towards Component Based Design of Hybrid Systems: Safety and Stability
- Bounded Verification of Reachability of Probabilistic Hybrid Systems
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction
- Measurability and safety verification for stochastic hybrid systems
- A hybrid automata model of social networking addiction
- Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes
- Safety verification of continuous-space pure jump Markov processes
- Safety verification for distributed parameter systems using barrier functionals
- Rewarding probabilistic hybrid automata
- Automated Machine-Checked Hybrid System Safety Proofs
- Spread the work: multi-threaded safety analysis for hybrid systems
- Discussion on: ``Safety verification for probabilistic hybrid systems
Uses Software
This page was built for publication: Safety verification for probabilistic hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q389835)
