×

混合系统监控的行为抽象的改进。 (英语) Zbl 1454.93121号

在Willems行为系统理论的框架下,描述了一类混合系统。作者将注意力集中在具有外部离散事件输入/输出接口的时不变系统上。降低了对离散值外部信号均匀长度的要求。简要讨论了实验的概念以及有限状态机实现的概念。提出了一种求解监督控制器综合问题的算法。此外,在适当的假设下,证明了该算法在有限多次迭代后成功终止。这是本文的主要结果。此外,还提供了六个示例来说明所提出的方法。

MSC公司:

93立方 由微分方程以外的函数关系控制的控制/观测系统(如混合系统和开关系统)
93元65角 离散事件控制/观测系统
93亿B50 合成问题
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 阿尔托夫,M。;俄勒冈州斯特斯伯格。;Buss,M.,使用分区和多面体组合计算混合系统的可达集,非线性分析:混合系统,4,2,233-249(2010)·Zbl 1201.93017号
[2] 阿鲁尔(Alur,R.)。;TA Henzinger;Ho,P-H,嵌入式系统的自动符号验证,IEEE Trans-Softw Eng,22,3,181-201(1996)·doi:10.1109/32.489079
[3] 阿鲁尔(Alur,R.)。;Henzinger,T。;拉弗里耶,G。;Pappas,G.,《混合系统的离散抽象》,IEEE Proc,88,7,971-984(2000)·doi:10.10109/5.871304
[4] 巴格纳拉,R。;希尔,PM;Zaffanella,E.,《帕尔玛多面体库:为硬件和软件系统的分析和验证实现一整套数字抽象》,科学计算程序,72,1-2,3-21(2008)·doi:10.1016/j.scico.2007.08.001
[5] Chutinan A,Krogh BH(1998)计算动态系统流动管道的多面体近似。摘自:IEEE第37届国际决策与控制会议,第2089-294页
[6] 克拉克,E。;Fehnker,A。;韩,Z。;Krogh,B。;Ouaknine,J。;俄勒冈州斯特斯伯格。;Theobald,M.,混合系统模型检查中的抽象和反例引导精化,国际计算科学杂志,14,4,583-604(2003)·Zbl 1101.68678号 ·doi:10.1142/S012905410300190X
[7] Frehse,G.,PHAVEr:通过HyTech对混合系统进行算法验证,国际软工具技术转让,10,3,263-279(2008)·数字对象标识代码:10.1007/s10009-007-0062-x
[8] 戈尔,EA;丁,X。;拉扎尔,M。;Belta,C.,切换线性系统的有限互模拟,IEEE Trans-Autom Control,59,12,3122-3134(2014)·Zbl 1360.93461号 ·doi:10.1109/TAC.2014.2351653
[9] Halbwachs,N。;普罗,Y-E;Roumanoff,P.,使用线性关系分析验证实时系统,系统设计中的形式化方法,11,157-185(1997)·doi:10.1023/A:1008678014487
[10] Henzinger TA(2000)混合自动机理论。Inan MK,Kurshan RP(eds)数字和混合系统验证。北约ASI系列(F系列:计算机和系统科学),第170卷。施普林格·Zbl 0959.68073号
[11] TA Henzinger;霍洛维茨,B。;马朱姆达尔,R。;Wong-Toi,H.,Beyond HyTech:使用区间数值方法的混合系统分析。混合系统:计算与控制,LNCS,1790,130-144(2000)·Zbl 0938.93552号
[12] 拉弗里尔,G。;帕帕斯,GJ;Sastry,S.,O-最小混合系统,控制数学,信号与系统,13,1,1-21(2000)·Zbl 1059.68073号 ·doi:10.1007/PL00009858
[13] 刘,J。;Ozay,N.,《基于时序逻辑的控制综合的鲁棒裕度有限抽象》,非线性分析:混合系统,22,1-15(2016)·Zbl 1344.93046号
[14] 马勒,O。;Dang,T.,通过面部提升进行可达性分析。混合系统:计算与控制,LNCS,1386,96-109(1998)
[15] 米切尔,IM;巴彦,AM;Tomlin,CJ,连续动态博弈可达集的含时Hamilton-Jacobi公式,IEEE Trans-Autom Control,50,7,947-957(2005)·Zbl 1366.91022号 ·doi:10.1109/TAC.2005.851439
[16] 摩尔,T。;达沃伦,JM;Raisch,J.,《在实践中学习:混合控制综合的系统抽象细化》,IEE Proceedings:control Theory and Applications,153,5,591-599(2006)·doi:10.1049/ip-com:20050595
[17] Moor T,Götz S(2018)时变序列行为的确定性有限自动机抽象。In:第14届离散事件系统研讨会(WODES’18),399页
[18] 穆尔,T。;Raisch,J.,行为框架内混合系统的监督控制,《系统控制快报》,38,3,157-166(1999)·Zbl 0948.93037号 ·doi:10.1016/S0167-6911(99)00061-4
[19] Moor T,Raisch J(2002)高阶单调连续系统的基于抽象的监督控制器综合。混合系统的建模、分析和设计,LNCIS 279,第247-265页
[20] 穆尔,T。;Raisch,J。;O'Young,S.,基于l-完全逼近的混合系统离散监督控制,离散事件动态系统:理论与应用,12,1,83-107(2002)·Zbl 1002.93016号 ·doi:10.1023/A:1013339920783
[21] 公园,SJ;Raisch,J.,基于l-完全近似的部分观测混合系统的监督控制,IEEE Trans-Autom control,60,5,1404-1409(2015)·Zbl 1360.93435号 ·doi:10.1109/TAC.2014.2353132
[22] Pola,G。;Tabuada,P.,非线性控制系统的符号模型:交替近似相互模拟,SIAM J control Optim,48,2,719-733(2009)·Zbl 1194.93020号 ·doi:10.1137/070698580
[23] 拉马奇,PJ;Wonham,WM,一类离散事件系统的监控,SIAM J control Optim,25,1,206-230(1987)·Zbl 0618.93033号 ·doi:10.1137/0325013
[24] 拉马奇,PJ;Wonham,WM,离散事件系统的控制,Proc IEEE,77,1,81-98(1989)·数字对象标识代码:10.1109/5.21072
[25] Reissig,G.,非线性系统的计算抽象,IEEE Trans-Autom Control,56,11,2583-2598(2011)·Zbl 1368.93178号 ·doi:10.1109/TAC.2011.2118950
[26] 雷西格,G。;韦伯,A。;Rungger,M.,符号控制器综合的反馈细化关系,IEEE Trans-Autom Control,62,4,1781-1796(2017)·Zbl 1366.93363号 ·doi:10.1109/TAC.2016.2593947
[27] 阿拉斯加州施穆克;Raisch,J.,《异步l-完全近似》,《系统控制快报》,73,67-75(2014)·Zbl 1297.93044号 ·doi:10.1016/j.sysconle.2014.08.005
[28] Schmuck AK、Tabuada P、Raisch J(2015)《异步l-完全近似和基于商的抽象的比较》。摘自:IEEE第54届国际决策与控制会议,第6823-6829页
[29] 斯蒂弗,JA;安萨克利斯,PJ;Lemmon,MD,混合系统接口和控制器设计,混合系统II。印度国家统计局,999462-492(1995年)·文件编号:10.1007/3-540-60472-324
[30] Stursberg,O.,基于模型抽象和引导搜索的混合系统监控,非线性分析理论方法应用,65,6,1168-1187(2006)·Zbl 1121.93046号 ·doi:10.1016/j.na.2005.12.023
[31] Tabuada,P.,《混合系统的验证和控制:符号方法》(2009),纽约:施普林格出版社,纽约·Zbl 1195.93001号
[32] Thistle JG,Wonham WM(1994a)有限自动机无限行为的控制。SIAM J控制选项32(4):1075-1097·兹伯利0925.93233
[33] Thistle JG,Wonham WM(1994b)离散事件系统无限行为的监督。SIAM J控制优化32(4):1098-1113·Zbl 0925.93234号
[34] Willems,JC,动态系统理论中的范式和困惑,IEEE Trans-Autom Control,36,3,258-294(1991)·Zbl 0737.93004号 ·数字对象标识代码:10.1109/9.73561
[35] Yang JM,Moor T,Raisch J(2018)混合系统监控的l-完全近似的局部精化。In:第14届离散事件系统研讨会(WODES’18),第496页
[36] Zamani,M。;Pola,G。;马佐,M。;Tabuada,P.,《无稳定性假设非线性控制系统的符号模型》,IEEE Trans-Autom control,57,7,1804-1809(2012)·Zbl 1369.93002号 ·doi:10.1109/TAC.2011.2176409
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。