Safety verification for probabilistic hybrid systems
From MaRDI portal
(Redirected from Publication:389835)
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
Cites work
- scientific article; zbMATH DE number 1696496 (Why is no real title available?)
- scientific article; zbMATH DE number 3901778 (Why is no real title available?)
- scientific article; zbMATH DE number 1303067 (Why is no real title available?)
- scientific article; zbMATH DE number 700091 (Why is no real title available?)
- scientific article; zbMATH DE number 1095138 (Why is no real title available?)
- scientific article; zbMATH DE number 3438157 (Why is no real title available?)
- scientific article; zbMATH DE number 1956581 (Why is no real title available?)
- scientific article; zbMATH DE number 1884411 (Why is no real title available?)
- scientific article; zbMATH DE number 794262 (Why is no real title available?)
- scientific article; zbMATH DE number 1444349 (Why is no real title available?)
- Approximations of Stochastic Hybrid Systems
- Asymptotic Optimization of a Nonlinear Hybrid System Governed by a Markov Decision Process
- Automatic verification of real-time systems with discrete probability distributions.
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Model checking of probabilistic and nondeterministic systems
- Probabilistic CEGAR
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control
- Safety verification of non-linear hybrid systems is quasi-semidecidable
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
- Stochastic games for verification of probabilistic timed automata
- Stochastic hybrid systems. Theory and safety critical applications.
- The algorithmic analysis of hybrid systems
- Toward a general theory of stochastic hybrid systems
- What's decidable about hybrid automata?
Cited in
(18)- Unbounded-time safety verification of stochastic differential dynamics
- A compositional modelling and verification framework for stochastic hybrid systems
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
- Efficient choice of parameters on delta-reachability bounded hybrid systems
- 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
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)
