×

基于近似抽象观测器的无死锁输出反馈控制器设计。 (英语) Zbl 1408.93062号

摘要:本文设计了一种无死锁符号输出反馈控制器。物理对象由无限过渡系统建模,其验证和综合问题通常在有限时间步长内无法确定。然后,我们考虑一个物理植物的抽象模型。假设给定抽象对象模型的控制器,前提是物理对象的状态是完全测量的。为了应用于部分观测的情况,我们设计了由抽象对象模型诱导的观测器,并获得了输出反馈控制器。该观测器使用注入输入和观测输出计算当前状态的候选集。控制输入的确定方式是,观测器列出的每个候选状态都满足控制器在完全观测的情况下实现的控制规范,这意味着所提出的方法抑制了部分观测的影响。无死锁控制器是通过消除死锁状态的转换来迭代计算的。

MSC公司:

93B52号 反馈控制
93亿B50 合成问题
93A30型 系统数学建模(MSC2010)
93个B07 可观察性

软件:

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

参考文献:

[1] Goebel,R。;Sanfelice,R。;Teel,A.,《混合动力系统:建模、稳定性和鲁棒性》(2012),普林斯顿大学出版社·Zbl 1241.93002号
[2] Tabuada,P.,《混合系统的验证和控制:符号方法》(2009),施普林格出版社·Zbl 1195.93001号
[3] 米尔纳,R.,《沟通与并发》(1989),普伦蒂斯·霍尔·Zbl 0683.68008号
[4] 阿鲁尔(Alur,R.)。;亨辛格,T。;拉弗里尔,G。;Pappas,G.,混合系统的离散抽象,(IEEE Proc.of the IEEE,Vol.88(2000),IEEE),971-984
[6] Girard,A。;Pappas,G.,《近似相互模拟:计算机科学和控制理论之间的桥梁》,欧洲控制杂志,17,5-6,568-578(2011)·Zbl 1253.68241号
[8] Pola,G。;Girard,A。;Tabuada,P.,非线性控制系统的近似双相似符号模型,Automatica,44,10,2508-2516(2008)·Zbl 1155.93322号
[9] Tabuada,P.,符号控制的近似模拟方法,IEEE Trans。自动化。控制,53,6,1406-1418(2008)·Zbl 1367.93220号
[10] 阿鲁尔(Alur,R.)。;亨辛格,T。;库普夫曼,O。;Vardi,M.,交替求精关系,(第九届并行理论国际会议论文集,第九届并发理论国际会议文献集,CONCUR’98。程序。第九届并行理论国际会议。程序。第九届并发理论国际会议,CONCUR’98,LNCS,第1466卷(1998),Springer),163-178·Zbl 1070.68524号
[11] 布隆,R。;查特吉,K。;格雷梅尔,K。;亨辛格,T。;Jobstmann,B.,《活性存在下的稳健性》,(第22届计算机辅助验证国际会议论文集,第22届国际计算机辅助验证会议论文集(2010),斯普林格出版社),410-424
[12] R.Bloem,K.Greimel,T.Henzinger,B.Jobstmann,《综合鲁棒系统》,摘自:Proc。《2009年计算机辅助设计形式方法》,FMCAD’09,2009年,第85-92页。http://dx.doi.org/10.109/FMCAD.2009.5351139; R.Bloem,K.Greimel,T.Henzinger,B.Jobstmann,《综合鲁棒系统》,摘自:Proc。《2009年计算机辅助设计形式方法》,FMCAD’09,2009年,第85-92页。http://dx.doi.org/10.1109/FCAD.2009.5351139
[13] Pola,G。;Tabuada,P.,《非线性控制系统的符号模型:交替近似互模拟》,SIAM J.control Optim。,48, 2, 719-733 (2009) ·Zbl 1194.93020号
[14] A.Borri,G.Pola,M.Di Benedetto,非线性网络控制系统设计的符号方法,载于:Proc。第15届ACM混合系统国际会议:计算与控制,HSCC’122012,第255-264页。http://dx.doi.org/10.1145/2185632.2185670; A.Borri,G.Pola,M.Di Benedetto,非线性网络控制系统设计的符号方法,摘自:Proc。第15届ACM混合系统国际会议:计算与控制,HSCC’122012,第255-264页。http://dx.doi.org/10.1145/2185632.2185670 ·Zbl 1361.68018号
[15] M.Zamani,M.Mazo,A.Abate,《网络控制系统的有限抽象》,摘自:Proc。IEEE第53届决策与控制年会,CDC’14,2014,第95-100页。http://dx.doi.org/10.109/CDC.2014.7039365; M.Zamani,M.Mazo,A.Abate,《网络控制系统的有限抽象》,摘自:Proc。IEEE第53届决策与控制年会,CDC’14,2014,第95-100页。http://dx.doi.org/10.109/CDC.2014.7039365
[16] T.Mita,计算控制律计算时间的最优数字反馈控制系统,in:Proc。IEEE第23届决策与控制年会,CDC’84,1984年,第520-525页。http://dx.doi.org/10.109/CDC.1984.272050; T.Mita,计算控制律计算时间的最优数字反馈控制系统,in:Proc。IEEE第23届决策与控制年会,美国疾病控制与预防中心,1984年,第520-525页。http://dx.doi.org/10.109/CDC.1984.272050
[17] M.Mizoguchi,T.Ushio,使用符号smith预测器对具有停滞时间的系统进行符号控制,见:Proc。IEEE第55届决策与控制年会,CDC’16,2016,第5726-5731页。http://dx.doi.org/10.109/CDC.2016.7799149; M.Mizoguchi,T.Ushio,使用符号smith预测器对具有停滞时间的系统进行符号控制,见:Proc。IEEE第55届决策与控制年会,CDC’16,2016,第5726-5731页。http://dx.doi.org/10.109/CDC.2016.7799149
[18] 沟口,M。;Ushio,T.,带状态预测的网络控制系统的符号设计,IEICE Trans。信息系统。,E100-D,61158-1165(2017)
[19] M.Rungger,P.Tabuada,《稳健网络物理系统设计的符号方法》,摘自:Proc。IEEE第52届决策与控制年会,CDC’13,2013,第3932-3937页。http://dx.doi.org/10.109/CDC.2013.6760490; M.Rungger,P.Tabuada,《稳健网络物理系统设计的符号方法》,摘自:Proc。IEEE第52届决策与控制年会,CDC’13,2013,第3932-3937页。http://dx.doi.org/10.109/CDC.2013.6760490
[20] M.Rungger,P.Tabuada,网络物理系统的抽象和精化鲁棒性,载于:Proc。第17届ACM混合系统国际会议:计算与控制,HSCC’142014,第223-232页。http://dx.doi.org/10.1145/2562059.2562133; M.Rungger,P.Tabuada,《计算机物理系统的鲁棒性抽象和精炼》,摘自:Proc。第17届ACM混合系统国际会议:计算与控制,HSCC’142014,第223-232页。http://dx.doi.org/10.1145/2562059.2562133 ·Zbl 1362.93132号
[21] 伦格,M。;Tabuada,P.,《网络物理系统鲁棒性的概念》,IEEE Trans。自动化。控制,61,8,2108-2123(2016)·Zbl 1359.93434号
[22] Tabuada,P。;Caliskan,S。;伦格,M。;Majumdar,R.,《面向网络物理系统的稳健性》,IEEE Trans。自动化。控制,59,12,3151-3163(2014)·Zbl 1360.93524号
[23] 查特吉,K。;Doyen,L。;亨辛格,T。;Raskin,J.,《信息不完全的欧米伽规则游戏算法》,Log。计算方法。科学。,3, 4, 1-23 (2007) ·Zbl 1125.91028号
[24] R.Ehlers,U.Topcu,《不完全信息下基于估计器的反应合成》,摘自:Proc。第18届ACM混合系统国际会议:计算与控制,HSCC’152015,第249-258页。http://dx.doi.org/10.1145/2728606.2728626; R.Ehlers,U.Topcu,《不完全信息下基于估计器的反应合成》,摘自:Proc。第18届ACM混合系统国际会议:计算与控制,HSCC’152015,第249-258页。http://dx.doi.org/10.1145/2728606.2728626 ·Zbl 1366.68167号
[25] 盖米,R。;Vecchio,D.,部分订单上信息不完善系统的安全规范控制,IEEE Trans。自动化。控制,59,4,982-995(2014)·Zbl 1360.93671号
[26] D.Fan,D.Tarraf,关于线性动力学有限字母表上一类系统的有限记忆可观性,in:Proc。IEEE第53届决策与控制年会,CDC’14,2014,第3884-3891页。http://dx.doi.org/10.109/CDC.2014.7039992; D.Fan,D.Tarraf,关于线性动力学有限字母表上一类系统的有限记忆可观性,in:Proc。IEEE第53届决策与控制年会,CDC’14,2014,第3884-3891页。http://dx.doi.org/10.109/CDC.2014.7039992
[27] Tarraf,D.,有限状态近似的控制导向概念,IEEE Trans。自动化。对照,57,1231973-202(2012)·Zbl 1369.93352号
[29] D.Fan,D.C.Tarraf,带量化输出的约束线性系统的有限状态输出反馈控制器,in:Proc。IEEE第55届决策与控制年会,CDC’16,2016,第4837-4842页。http://dx.doi.org/10.1109/CDC.2016.7799008; D.Fan,D.C.Tarraf,带量化输出的约束线性系统的有限状态输出反馈控制器,in:Proc。IEEE第55届决策与控制年会,CDC’16,2016,第4837-4842页。http://dx.doi.org/10.109/CDC.2016.7799008
[30] D.Fan,D.C.Tarraf,线性内部动力学有限字母表上系统的输出可观测性,2016年。arXiv预打印arXiv:1607.03193;D.Fan,D.C.Tarraf,线性内部动力学有限字母表上系统的输出可观测性,2016年。arXiv预打印arXiv:1607.03193·Zbl 1423.93064号
[31] S.Haesaert,A.Abate,P.M.Van den Hof,LTI系统的正确设计输出反馈,in:Proc。IEEE第54届决策与控制年会,2015年,第6159-6164页。http://dx.doi.org/10.109/CDC.2015.7403188; S.Haesaert,A.Abate,P.M.Van den Hof,LTI系统的正确设计输出反馈,in:Proc。IEEE第54届决策与控制年会,2015年,第6159-6164页。http://dx.doi.org/10.109/CDC.2015.7403188
[32] Haesaert,S。;den Hof,P.M.J.V。;Abate,A.,基于观测器的设计修正控制器综合,CoRR,abs/1509.03427(2015)
[36] M.Mizoguchi,T.Ushio,《基于符号观测器的网络物理系统输出反馈控制器设计》,摘自:Proc。第一届网络物理系统验证与确认国际研讨会,V2CPS’162016,第37-51页。http://dx.doi.org/10.4204/EPTCS.232.7; M.Mizoguchi,T.Ushio,《基于符号观测器的网络物理系统输出反馈控制器设计》,摘自:Proc。第一届网络物理系统验证与确认国际研讨会,V2CPS’162016,第37-51页。http://dx.doi.org/10.4204/EPTCS.232.7
[37] Markovski,J.,部分观察下监管协调的过程理论方法,科学。计算。程序。,115, 127-145 (2016)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。