随机离散时间系统的有限时间安全性与可达-避碰验证

本文研究随机离散时间动力系统的有限时间安全性与可达-避碰验证问题。其目的是确定在预定义的有限时间范围内，从安全集内初始状态出发的系统将离开安全集（安全性验证）或在首次遇到目标集之前保持在安全集内并到达目标集（可达-避碰验证）的概率下界和上界。我们引入了新颖的类障碍函数充分条件来刻画这些界，这些条件或补充了现有条件，或填补了空白。最后，我们通过两个例子证明了这些条件的有效性。