A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems

Taoran Wu, Yiqing Yu, Bican Xia +2

Ensuring safety through set invariance has proven to be a valuable method in various robotics and control applications. This paper introduces a comprehensive framework for the safe…