2 papers
eess.SY2024
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…
math.OC2022
Reach-avoid Verification Based on Convex Optimization
Bai Xue, Naijun Zhan, Martin Fränzle +2
In this paper we propose novel optimization-based methods for verifying reach-avoid (or, eventuality) properties of continuous-time systems modelled by ordinary differential equati…