Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
From MaRDI portal
Publication:832097
DOI10.1007/978-3-030-85172-9_23zbMATH Open1491.68102OpenAlexW3194912789MaRDI QIDQ832097FDOQ832097
Authors: Carina Pilch, Stefan Schupp, Anne Remke 
Publication date: 24 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-85172-9_23
Recommendations
- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control
- Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
- ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems
- Stochastic reachability analysis of hybrid systems.
- Measurability and safety verification for stochastic hybrid systems
Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Cites Work
- Hybrid Systems: Computation and Control
- Lectures on Polytopes
- What's decidable about hybrid automata?
- Title not available (Why is that?)
- The algorithmic analysis of hybrid systems
- A stochastic approximation method for reachability computations
- Approximate model checking of stochastic hybrid systems
- Title not available (Why is that?)
- Safety verification for probabilistic hybrid systems
- Title not available (Why is that?)
- Measurability and safety verification for stochastic hybrid systems
- A hierarchy of scheduler classes for stochastic automata
- A compositional modelling and analysis framework for stochastic hybrid systems
- A theory of stochastic systems. I: Stochastic automata
- Stochastic Timed Automata
- Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings
- State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings
Cited In (4)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Introduction to the special issue on QEST 2021
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction
- Comparing two approaches to include stochasticity in hybrid automata
Uses Software
This page was built for publication: Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q832097)
