Engineering Commons^™

Software Design For Probabilistic Safety: Stochastic Reachability And Circadian Control, Joseph D. Gleason

Electrical and Computer Engineering ETDs

Stochastic reachability is an important verification tool that provides probabilistic assurances of safety in a variety of contexts. In engineered systems, safety may be synonymous with the ability of the system to avoid "bad" constraints on the state space, that constitute collision, departure from a flight envelope, or other undesirable phenomenon. In biomedical systems, assurance of safety (such as the mandate to ``do no harm'') are considerably complicated by the fact that there is a lack of physics-driven models, extensive signal processing is needed to capture the underlying state of the system, and the stochasticity inherent to the system may …