Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting

DOI10.1007/978-3-642-00602-9_35zbMath1237.93091OpenAlexW1601650812MaRDI QIDQ3624596

Kasandra Riley, Derek 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

Stochastic systems and control (93E99) Monte Carlo methods (65C05) Medical applications (general) (92C50) 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

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