Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting

DOI10.1007/978-3-642-00602-9_35MaRDI QIDQ3624596zbMATH OpenOpenAlexFDO

Authors Derek Riley, Kasandra Riley, Xenofon D. Koutsoukos

Publication date 30 April 2009

Published in Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00602-9_35

Mathematics Subject Classification ID

Monte Carlo methods (65C05) Medical applications (general) (92C50) Stochastic systems and control (93E99) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Recommendations

• Reachability analysis of stochastic hybrid systems: a biodiesel production system
• Hybrid Systems: Computation and Control
• Probabilistic verification of a biodiesel production system using statistical model checking
• Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
• Reachability Analysis of Stochastic Hybrid Systems by Optimal Control

Cites work

• Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process

Cited in

(4)

• Level-Set Approach for Reachability Analysis of Hybrid Systems under Lag Constraints
• Reachability analysis of stochastic hybrid systems: a biodiesel production system
• Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
• Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction

This page was built for publication: Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3624596)