Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction
From MaRDI portal
Publication:6599370
DOI10.1145/3607197zbMATH Open1544.68083MaRDI QIDQ6599370FDOQ6599370
Authors: Carina Da Silva, Stefan Schupp, Anne Remke 
Publication date: 6 September 2024
Published in: ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)
Recommendations
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
- Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
- Reachability Analysis of Stochastic Hybrid Systems by Optimal Control
- ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems
- Quantitative automata model checking of autonomous 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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?)
- Analysis of Zeno behaviors in a class of hybrid systems
- Hybrid Systems: Computation and Control
- 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
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
- Adaptive multidimensional integration: \textsc{vegas} enhanced
- Region-based analysis of hybrid Petri nets with a single general one-shot transition
- State-space construction of hybrid Petri nets with multiple stochastic firings
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 Q6599370)
