arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2104.12682math.OC
收藏

利用线性矩阵不等式确定仿射系统的集合退出时间的界

Bounds on set exit times of affine systems, using Linear Matrix Inequalities

Guillaume O. Berger, Maben Rabi

摘要:

切换仿射系统的轨迹的有效计算成为可能,如果对于任何这样的混合系统,我们可以设法有效地计算切换时间序列。一旦开关时间已经计算,我们可以很容易地计算两个连续开关之间的轨迹作为仿射常微分方程的解。每个切换时间可以被视为解析函数的正实根,从而允许通过使用求根算法进行有效计算。这些算法需要一个有限的时间间隔,在其中搜索的切换时间。在本文中,我们研究的问题,计算上界这样的切换时间,我们限制我们的注意力稳定的时不变仿射系统。我们提供了半定规划模型来计算的仿射常微分方程的轨迹所需的时间的上界退出一组描述为几个广义椭圆的交集。通过数值实验,我们表明,由此产生的界限比以前报道的界限更紧,而只需要适度增加计算时间。

英文摘要:

Efficient computation of trajectories of switched affine systems becomes possible, if for any such hybrid system, we can manage to efficiently compute the sequence of switching times. Once the switching times have been computed, we can easily compute the trajectories between two successive switches as the solution of an affine ODE. Each switching time can be seen as a positive real root of an analytic function, thereby allowing for efficient computation by using root finding algorithms. These algorithms require a finite interval, within which to search for the switching time. In this paper, we study the problem of computing upper bounds on such switching times, and we restrict our attention to stable time-invariant affine systems. We provide semi-definite programming models to compute upper bounds on the time taken by the trajectories of an affine ODE to exit a set described as the intersection of a few generalized ellipsoids. Through numerical experiments, we show that the resulting bounds are tighter than bounds reported before, while requiring only a modest increase in computation time.

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

↑