×

连续时间分段仿射系统的可达性分析。 (英语) Zbl 1153.93327号

摘要:本文提出了一种刻画连续时间分段仿射系统可达状态集的算法。给定系统模型和一组可能的初始状态,该算法采用LMI方法计算可达区域的上下界。该方法不在状态空间中执行计算,而是使用影响映射来查找系统切换表面上的可达集。然后可以使用此工具来推断系统的安全性和性能结果。

MSC公司:

93个B03 可达集,可达性
93B40码 系统理论中的计算方法(MSC2010)
93立方厘米 由常微分方程控制的控制/观测系统

软件:

日/日
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Asarin,E.、Dang,T.和Maler,O.(2001年)\(日/日\)程序。IFAC非线性控制系统; Asarin,E.、Dang,T.和Maler,O.(2001年)\(天/天t\)程序。IFAC非线性控制系统
[2] Asarin,E。;Dang,T。;Maler,O.,《混合系统验证的(d/d t)工具》(CAV’2002)。CAV’2002,LNCS,第2404卷(2002),Springer-Verlag Postscript),365-370·Zbl 1010.68796号
[3] 俄勒冈州博奇卡列夫。;Tripakis,S.,使用椭球近似验证线性微分包含的混合系统,(HSCC(2000)),73-88·Zbl 1037.93510号
[4] 博伊德,S。;El Ghaoui,L。;Feron,E。;Balakrishnan,V.,系统和控制理论中的线性矩阵不等式(1994),SIAM:SIAM Philadelphia·Zbl 0816.93004号
[5] Dang,T。;Maler,O.,通过面部提升进行可达性分析,(混合系统:计算与控制,第一次国际研讨会,论文集。混合系统:计算机与控制,首次国际研讨会,文献集,计算机科学讲稿(1998),Springer),96-109
[6] Goncalves,J.M.(2003)。分段线性系统极限环的稳定性区域。疾病预防控制中心; Goncalves,J.M.(2003)。分段线性系统极限环的稳定性区域。疾病预防控制中心
[7] Goncalves,J.M。;梅格雷茨基,A。;Dahleh,M.A.,使用冲击图和表面lyapunov函数对分段线性系统进行全局分析,IEEE自动控制汇刊,48,12,2089-2106(2003)·Zbl 1364.93337号
[8] Izaias Silva,B.、Stursberg,O.、Krogh,B.和Engell,S.(2001年)。混合系统验证算法方法的现状评估。IEEE决策和控制会议; Izaias Silva,B.、Stursberg,O.、Krogh,B.和Engell,S.(2001年)。对混合系统验证算法方法现状的评估。IEEE决策和控制会议
[9] Kapinski,J.和Krogh,B.H.(2002)。验证切换模式计算机控制系统。IEEE计算机辅助控制系统设计国际研讨会; Kapinski,J.和Krogh,B.H.(2002)。验证切换模式计算机控制系统。IEEE计算机辅助控制系统设计国际研讨会
[10] Kurzhanski,A。;Varaiya,P.,关于可达性分析的椭球技术,优化方法和软件,17,177-237(2000)·Zbl 1017.93008号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。