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