用于互联系统安全性验证的小增益定理
系统与控制
2022-04-12 v1 系统与控制
最优化与控制
摘要
本工作提出了一种以障碍函数形式表述的小增益定理，用于互联系统的安全性验证。该结果有助于从子系统 ISSf 障碍函数所编码的安全性信息验证整体系统的输入到状态安全性（ISSf）。此外，它还可用于从两个低维空间中的安全集获得高维空间中的安全集。
引用
@article{arxiv.2011.09173,
title = {Small-Gain Theorem for Safety Verification of Interconnected Systems},
author = {Ziliang Lyu and Xiangru Xu and Yiguang Hong},
journal= {arXiv preprint arXiv:2011.09173},
year = {2022}
}