Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting

DOI10.1007/978-3-642-00602-9_35zbMATH Open1237.93091OpenAlexW1601650812MaRDI QIDQ3624596FDOQ3624596

Kasandra Riley, Xenofon D. Koutsoukos, Derek Riley

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

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

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)

Cites Work

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

Cited In (3)

• Level-Set Approach for Reachability Analysis of Hybrid Systems under Lag Constraints
• 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)