×

兹马思-数学第一资源

混合系统监督控制行为抽象的改进。(英语) 中银07242395
在Willems行为系统理论的框架下描述了一类混合系统。作者将注意力集中在具有外部离散事件输入/输出接口的时不变系统上。不再需要离散值外部信号的均匀长度。简要讨论了实验的概念和有限状态机实现的概念,提出了一种求解监控控制器综合问题的算法。同时,在适当的假设下,证明了该算法在有限次迭代后成功终止。这是本文的主要研究结果。此外,还提供了六个实例来说明所提出的方法。
理学硕士:
93C30型 由微分方程以外的函数关系控制的控制/观测系统(如混合系统和开关系统)
93C65型 离散事件控制/观察系统
B5930型 综合问题
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Althoff,M.;Stursberg,O.;Buss,M.,《使用zonotopes和polytopes的组合计算混合系统的可达集》,《非线性分析:混合系统》,4,2233-249(2010)·120ZB031.1升
[2] Alur,R.;Henzinger,TA;Ho,P-H,《嵌入式系统的自动符号验证》,IEEE Trans-Softw Eng,22,3,181-201(1996)
[3] Alur,R.;Henzinger,T.;Lafferriere,G.;Pappas,G.,《混合系统的离散抽象》,IEEE,88,7971-984(2000)
[4] Bagnara,R.;Hill,PM;Zaffanella,E.,Parma多面体库:面向硬件和软件系统分析和验证的全套数值抽象集》,Sci计算程序,72,1-2,3-21(2008)
[5] Chutinan A,Krogh BH(1998)动态系统流动管道的多面体近似计算。在:IEEE第37届国际决策与控制会议,第2089-2094页
[六] Clarke,E.;Fehnker,A.;Han,Z.;Krogh,B.;Ouaknine,J.;Stursberg,O.;Theobald,M.,《混合系统模型检查中的抽象和反例引导的改进》,Int J Found Comput Sci,14,4,583-604(2003)·Zbl 1101.68678
[七] Frehse,G.,PHAVEr:HyTech过去混合系统的算法验证,Int J Softw Tools Technol Transfer,10,3,263-279(2008)
[8] Gol,EA;Ding,X.;Lazar,M.;Belta,C.,《切换线性系统的有限互模拟》,IEEE Trans Autom Control,59,12,3122-3134(2014)·Zbl 1360.93461
[9] Halbwachs,N.;Proy,Y-E;Roumanoff,P.,使用线性关系分析验证实时系统,系统设计中的形式方法,1157-185(1997)
[10] Henzinger TA(2000)混合自动机理论。在:Inan MK,Kurshan RP(eds)数字和混合系统验证。北约ASI系列(F系列:计算机和系统科学),第170卷。斯普林格·Zbl 0959.68073
[11] Henzinger,TA;Horowitz,B.;Majumdar,R.;Wong Toi,H.,Beyond HyTech:使用区间数值方法的混合系统分析。混合系统:计算与控制,LNCS,1790,130-144(2000)·Zbl 0938.93552
[12] Lafferriere,G.;Pappas,GJ;Sastry,S.,O-最小混合系统,控制数学,信号与系统,13,1,1-21(2000)·Zbl 1059.68073
[13] Liu,J.;Ozay,N.,《基于时间逻辑的控制综合的鲁棒裕度有限抽象》,非线性分析:混合系统,22,1-15(2016)·Zbl 1344.93046号
[14] Maler,O.;Dang,T.,《通过整容进行可达性分析》。混合系统:计算与控制,LNCS,1386,96-109(1998)
[15] Mitchell,IM;Bayen,AM;Tomlin,CJ,《连续动态博弈可达集的时间依赖Hamilton-Jacobi公式》,IEEE Trans Autom Control,50,7947-957(2005)·Zbl 1366.91022号
[16] Moor,T.;Davoren,JM;Raisch,J.,《边做边学:混合控制综合的系统抽象提炼》,IEE论文集:控制理论与应用,153,5,591-599(2006)
[17] Moor T,Götz S(2018)时变序列行为的确定性有限自动机抽象。在:第十四届离散事件系统研讨会(WODES'18),第399页
[18] Moor,T.;Raisch,J.,《行为框架下混合系统的监督控制》,Syst control Lett,38,3,157-166(1999)·Zbl 0948.93037
[19] Moor T,Raisch J(2002)高阶单调连续系统基于抽象的监督控制器综合。混合动力系统的建模、分析和设计,LNCIS 279,第247-265页
[20] Moor,T.;Raisch,J.;O'Young,S.,基于l-完全近似的混合系统离散监督控制,离散事件动态系统:理论与应用,12,1,83-107(2002)·Zbl 1002.93016
[21] Park,SJ;Raisch,J.,《基于l-完全近似的部分观测下混合动力系统的监督控制》,IEEE Trans Autom control,60,5,1404-1409(2015)·435.93升
[22] Pola,G.;Tabuada,P.,《非线性控制系统的符号模型:交替近似互模拟》,SIAM J control Optim,48,2,719-733(2009)·Zbl 1194.93020
[23] Ramadge,PJ;Wonham,WM,一类离散事件系统的监督控制,SIAM J control Optim,25,1206-230(1987)·Zbl 0618.93033
[24] Ramadge,PJ;Wonham,WM,《离散事件系统的控制》,IEEE,77,1,81-98(1989)
[25] Reissig,G.,非线性系统的计算抽象,IEEE Trans Autom Control,56,11,2583-2598(2011)·Zbl 1368.93178
[26] Reisig,G.;Weber,A.;Rungger,M.,《符号控制器综合的反馈优化关系》,IEEE Trans Autom Control,62,4,1781-1796(2017)·Zbl 1366.93363
[27] Schmuck,AK;Raisch,J.,异步l-完全近似,Syst Control Lett,73,67-75(2014)·Zbl 1297.93044号
[28] Schmuck AK,Tabuada P,Raisch J(2015),比较异步l-完全近似和基于商的抽象。在:IEEE第54届国际决策与控制会议,第6823-6829页
[29] JA Stiver;Antsaklis,PJ;Lemmon,MD,混合动力系统接口和控制器设计,混合动力系统II。LNCS,999,462-492(1995年)
[30] Stursberg,O.,基于模型抽象和引导搜索的混合系统监控,非线性分析理论方法应用,65,6,1168-1187(2006)·Zbl 1121.93046
[31] Tabuada,P.,《混合系统的验证和控制:符号方法》(2009年),纽约:斯普林格,纽约·Zbl 1195.93001
[32] Thistle JG,Wonham WM(1994a),有限自动机的无限行为控制。暹罗J控制选项32(4):1075-1097·Zbl 0925.93233
[33] Thistle JG,Wonham WM(1994b)离散事件系统的无限行为监督。SiA-1098(最佳控制):1113·Zbl 0925.93234
[34] 《动态系统理论中的范式与谜题》,IEEE Trans Autom Control,36,3,258-294(1991)·Zbl 0737.93004
[35] Yang JM,Moor T,Raisch J(2018),混合动力系统监督控制l-完全近似的局部精化。在:第十四届离散事件系统研讨会(WODES'18),第496页
[36] Zamani,M.;Pola,G.;Mazo,M.;Tabuada,P.,《无稳定性假设的非线性控制系统的符号模型》,IEEE Trans Autom control,57,7,1804-1809(2012)·Zbl 1369.93002
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。