用于具有积分二次约束的线性时不变系统可达性分析的抛物集仿真
最优化与控制
2020-02-14 v2 系统与控制
系统与控制
摘要
本工作将基于椭球技术的可达性分析推广到受过去状态与扰动信号之间积分二次约束（IQC）的线性时不变（LTI）系统，该约束被解释为输入输出能量约束。为计算可达集，将LTI系统增广一个对应于约束被违反前剩余可用能量的状态。对于给定的抛物集初始状态，增广系统的可达集用一个时变抛物集过近似。该抛物面的参数表示为初值问题（IVP）的解，并证明了其与可达集的过近似关系。该抛物面实际上在所谓切触轨迹上由可达集支撑。最后，我们描述了一种生成所有支撑抛物面的方法，并证明它们的交是可达集的精确刻画。本工作为广泛系统（如时滞系统、速率限制器或能量有界线性系统）的可达集过近似计算提供了新的实用手段。
引用
@article{arxiv.1902.10982,
title = {Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint},
author = {Paul Rousse and Pierre-Loïc Garoche and Didier Henrion},
journal= {arXiv preprint arXiv:1902.10982},
year = {2020}
}