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