该研究提出了基于随机控制屏障函数的屏障证明条件，以量化系统在有限时间内退出给定的安全区域的概率。研究还提供了连续时间和离散时间系统的解决方案，并针对控制的仿射动力学系统提出了合成多项式状态反馈控制器。实例研究验证了方法的性能。

该研究提出了基于随机控制屏障函数的屏障证明条件，以量化系统在有限时间内退出给定的安全区域的概率。通过sum-of-squares优化问题进行高效的数值计算，并提供了连续时间和离散时间系统的解决方案。针对控制的仿射动力学系统，提出了合成多项式状态反馈控制器以实现指定的安全概率。使用实例研究了验证和控制方法的性能。