Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction

DOI10.1145/3607197MaRDI QIDQ6599370zbMATH OpenFDO

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)

zbMATH Keywords

cumulative distribution functionstochastic hybrid automataflowpipe construction

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

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

Cites work

• scientific article; zbMATH DE number 1696496 (Why is no real title available?)
• scientific article; zbMATH DE number 19091 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 1759607 (Why is no real title available?)
• scientific article; zbMATH DE number 3022422 (Why is no real title available?)
• A compositional modelling and analysis framework for stochastic hybrid systems
• A hierarchy of scheduler classes for stochastic automata
• A stochastic approximation method for reachability computations
• A theory of stochastic systems. I: Stochastic automata
• Adaptive multidimensional integration: \textsc{vegas} enhanced
• Analysis of Zeno behaviors in a class of hybrid systems
• Approximate model checking of stochastic hybrid systems
• Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Lectures on Polytopes
• Measurability and safety verification for stochastic hybrid systems
• Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
• Region-based analysis of hybrid Petri nets with a single general one-shot transition
• Safety verification for probabilistic hybrid systems
• State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings
• State-space construction of hybrid Petri nets with multiple stochastic firings
• Stochastic timed automata
• The algorithmic analysis of hybrid systems
• What's decidable about hybrid automata?

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)