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

DOI10.1007/978-3-030-85172-9_23MaRDI QIDQ832097zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 1696496 (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?)
• 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
• 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
• Lectures on Polytopes
• Measurability and safety verification for stochastic hybrid systems
• Safety verification for probabilistic hybrid systems
• 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?

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

Describes a project that uses

Uses Software

• HyPro
• GSL
• HyTech
• PHAVer
• MoDeST

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)