Open Access. Powered by Scholars. Published by Universities.®
- Discipline
Articles 1 - 2 of 2
Full-Text Articles in Engineering
Software Design For Probabilistic Safety: Stochastic Reachability And Circadian Control, Joseph D. Gleason
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 …
Verification Of Stochastic Reach-Avoid Using Rkhs Embeddings, Adam J. Thorpe
Verification Of Stochastic Reach-Avoid Using Rkhs Embeddings, Adam J. Thorpe
Electrical and Computer Engineering ETDs
A solution to the terminal-hitting and first-hitting stochastic reach-avoid problem for a Markov control process is presented. This solution takes advantage of a nonparametric representation of the stochastic kernel as a conditional distribution embedding within a reproducing kernel Hilbert space (RKHS). Because the disturbance is modeled as a data-driven stochastic process, this representation avoids intractable integrals in the dynamic recursion of the reach-avoid problem since the expectations can be calculated as an inner product within the RKHS. An example using a high-dimensional chain of integrators is presented, as well as for Clohessy-Wiltshire-Hill (CWH) dynamics.