arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1902.10982math.OCcs.SYeess.SY
收藏

积分二次约束线性定常系统可达性分析的抛物集模拟

Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint

Paul Rousse, Pierre-Loïc Garoche, Didier Henrion

摘要:

这项工作扩展可达性分析的基础上,椭球技术的线性时不变(LTI)系统的积分二次约束(IQC)之间的过去的状态和干扰信号,解释为一个输入输出能量约束。为了计算可达集,LTI系统用与在违反约束之前仍然可用的能量的量相对应的状态来增强。对于给定的初态抛物集,增广系统的可达集被过度逼近为时变抛物集。该抛物面的参数表示为一个初值问题的解,并证明了其与可达集的过逼近关系。这个抛物面实际上是由所谓的接触轨迹上的可达集所支持的。最后,我们描述了一种生成所有支撑抛物面的方法,并证明了它们的交是可达集的精确刻画。这项工作提供了新的实用手段来计算各种各样的系统,如延迟系统,速率限制器或能量有界的线性系的可达集的过逼近。

英文摘要:

This work extends reachability analyses based on ellipsoidal techniques to Linear Time Invariant (LTI) systems subject to an integral quadratic constraint (IQC) between the past state and disturbance signals , interpreted as an input-output energetic constraint. To compute the reachable set, the LTI system is augmented with a state corresponding to the amount of energy still available before the constraint is violated. For a given parabolic set of initial states, the reachable set of the augmented system is overapproximated with a time-varying parabolic set. Parameters of this paraboloid are expressed as the solution of an Initial Value Problem (IVP) and the overapproximation relationship with the reachable set is proved. This paraboloid is actually supported by the reachable set on so-called touching trajectories. Finally , we describe a method to generate all the supporting paraboloids and prove that their intersection is an exact characterization of the reachable set. This work provides new practical means to compute overapproximation of reachable sets for a wide variety of systems such as delayed systems, rate limiters or energy-bounded linear systems.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑