BriefGPT - AI 论文速递
·
利用验证辅助学习神经网络障碍函数并具备终止保证
💡
原文中文，约400字，阅读约需1分钟。
📝
内容提要
该研究提出了基于随机控制屏障函数的屏障证明条件，以量化系统在有限时间内退出给定的安全区域的概率。通过sum-of-squares优化问题进行高效的数值计算，并提供了连续时间和离散时间系统的解决方案。针对控制的仿射动力学系统，提出了合成多项式状态反馈控制器以实现指定的安全概率。使用实例研究了验证和控制方法的性能。
🎯
关键要点
- 研究随机动态系统在有限时间内的安全性问题。
- 提出基于随机控制屏障函数的屏障证明条件，量化系统退出安全区域的概率。
- 将屏障证明条件表述为sum-of-squares优化问题，以实现高效的数值计算。
- 提供连续时间和离散时间系统的解决方案，确保期望值的状态相关上限。
- 针对控制的仿射动力学系统，提出合成多项式状态反馈控制器以实现指定的安全概率。
- 通过实例研究验证和控制方法在连续时间和离散时间领域的性能。
➡️
