Improving the Feasibility of Moment-Based Safety Analysis for Stochastic Dynamics

Peter Du, Katherine Driggs-Campbell, Roy Dong

Given a stochastic dynamical system modelled via stochastic differential equations (SDEs), we evaluate the safety of the system through characterizations of its exit time moments.…