Safety verification for probabilistic hybrid systems

DOI10.3166/EJC.18.572-587zbMath1291.93294MaRDI QIDQ389835

Stefan Ratschan, Holger Hermanns, Zhikun She, Ernst Moritz Hahn, Li-jun Zhang

Publication date: 21 January 2014

Published in: European Journal of Control (Search for Journal in Brave)

zbMATH Keywords

safetyhybrid systemabstractions refinementprobalistic

Mathematics Subject Classification ID

Stochastic systems in control theory (general) (93E03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items

Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction ⋮ A compositional modelling and verification framework for stochastic hybrid systems ⋮ Verification and Control of Probabilistic Rectangular Hybrid Automata ⋮ Discussion on: ``Safety verification for probabilistic hybrid systems ⋮ Efficient choice of parameters on delta-reachability bounded hybrid systems ⋮ Bounded Verification of Reachability of Probabilistic Hybrid Systems ⋮ Model checking HPnGs in multiple dimensions: representing state sets as convex polytopes ⋮ Verification and control for probabilistic hybrid automata with finite bisimulations ⋮ A hybrid automata model of social networking addiction

Uses Software

• PHAVer
• HyTech
• RSOLVER
• CEGAR
• Benchmarks
• HSolver

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The algorithmic analysis of hybrid systems
• What's decidable about hybrid automata?
• Automatic verification of real-time systems with discrete probability distributions.
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Stochastic hybrid systems. Theory and safety critical applications.
• Model checking of probabilistic and nondeterministic 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
• Approximations of Stochastic Hybrid Systems
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control