Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction
From MaRDI portal
Publication:6599370
DOI10.1145/3607197zbMath1544.68083MaRDI QIDQ6599370
Carina Da Silva, Anne Remke, Stefan Schupp
Publication date: 6 September 2024
Published in: ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)
Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Cites Work
- Safety verification for probabilistic hybrid systems
- Approximate model checking of stochastic hybrid systems
- The algorithmic analysis of hybrid systems
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
- What's decidable about hybrid automata?
- A hierarchy of scheduler classes for stochastic automata
- Adaptive multidimensional integration: \textsc{vegas} enhanced
- A compositional modelling and analysis framework for stochastic hybrid systems
- A theory of stochastic systems. I: Stochastic automata
- Stochastic Timed Automata
- Measurability and safety verification for stochastic hybrid systems
- Lectures on Polytopes
- Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition
- Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings
- Analysis of Zeno behaviors in a class of hybrid systems
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings
- State-space construction of hybrid Petri nets with multiple stochastic firings
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction
