Reach Probability Estimation of Rare Events in Stochastic Hybrid Systems

This thesis conducts a series of interrelated research studies on reach probability estimation of rare events for stochastic hybrid systems. Chapter 1 explains that the motivation for these studies stems from the need to assess safety and capacity of a design for a future Air Traffic Management (ATM) concept of operations (ConOps). The safety...