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

DOI10.1007/978-3-030-85172-9_23zbMath1491.68102OpenAlexW3194912789MaRDI QIDQ832097

Anne Remke, Carina Pilch, Stefan Schupp

Publication date: 24 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-85172-9_23

Mathematics Subject Classification ID

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

Related Items (1)

Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}

Uses Software

• MoDeST
• PHAVer
• HyTech
• GSL
• HyPro

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Safety verification for probabilistic hybrid systems
• Approximate model checking of stochastic hybrid systems
• The algorithmic analysis of hybrid systems
• What's decidable about hybrid automata?
• 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
• Measurability and safety verification for stochastic hybrid systems
• Lectures on Polytopes
• Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings
• Hybrid Systems: Computation and Control

This page was built for publication: Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction