不确定线性系统前向可达集的任意时刻椭球过近似
系统与控制
2021-03-16 v2 系统与控制
最优化与控制
摘要
计算受控不确定动态系统可达集的紧致过近似是安全关键信息物理系统 (CPS) 验证中的常见做法。尽管已有若干算法可用于此目的，它们在 CPS 应用中往往计算开销大，因为在此类应用中，处理器可用性等计算资源往往稀缺、时变且难以建模。一个自然的想法是设计“计算感知”算法，能够以可证明安全的方式动态适应处理器可用性。尽管该想法应适用于更宽泛的语境，本文我们聚焦于椭球过近似。我们证明，不确定线性系统可达集的椭球过近似算法非常适合于任意时刻实现，即过近似的质量可根据可用计算时间动态权衡，同时始终保证安全性。我们给出一个数值例子以阐明该思想，并指出可能的未来方向。
引用
@article{arxiv.2103.04545,
title = {Anytime Ellipsoidal Over-approximation of Forward Reach Sets of Uncertain Linear Systems},
author = {Shadi Haddad and Abhishek Halder},
journal= {arXiv preprint arXiv:2103.04545},
year = {2021}
}