×

基于时序逻辑的控制综合中具有鲁棒裕度的有限抽象。 (英语) Zbl 1344.93046号

摘要:本文引入了一个有限抽象的概念,可以用来从时序逻辑规范中综合出动态系统的鲁棒控制器。这些有限抽象具有一定的鲁棒性裕度,为实现控制系统中经常遇到的各种问题提供了统一的方法,如采样数据系统的采样间行为、不完美状态测量的影响和未建模动态。本文的主要结果表明,鲁棒裕度可以有效地解释控制系统与其用于控制综合的有限抽象之间的不匹配。稳健性裕度的定量性质也使得研究控制器的性能及其对各种类型对手的鲁棒性(例如,延迟、测量误差或建模不确定性)之间的权衡成为可能。我们用一个简单的自适应巡航控制(ACC)的例子来说明这种鲁棒性能的权衡。

理学硕士:

93B50型 综合问题
93B35型 灵敏度(稳健性)
93C57型 采样数据控制/观测系统
93C41型 信息不完整的控制/观测系统
93C40型 自适应控制/观测系统
PDF格式 BibTeX公司 XML 引用
全文: 内政部

参考文献:

[1] 费因科斯,G.E。;吉拉德,A。;克雷斯·加齐特,H。;Pappas,G.J.,动态机器人的时序逻辑运动规划,Automatica,45343-352,(2009)·Zbl 1158.93369
[2] 克洛泽,M。;Belta,C.,《从时序逻辑规范控制线性系统的全自动框架》,IEEE Trans。自动装置。对照组,53287-297,(2008年)·Zbl 1367.93202
[3] 克雷斯·加齐特,H。;费因科斯,G.E。;Pappas,G.J.,基于时序逻辑的反应式任务和运动规划,IEEE Trans。机器人。,251370-1381,(2009年)
[4] 刘杰。;奥扎伊,N。;美国托普大学。;Murray,R.,从时序逻辑规范综合反应式交换协议,IEEE Trans。自动装置。对照组,5871771-1785,(2013年)·Zbl 1369.93307
[5] J、 刘国平,吴东平,欧扎伊,R.M.Murray,具有时间逻辑约束的差分平坦系统的无功控制器,in:Proc。疾病预防控制中心,2012年,第7664-7670页。
[6] N、 刘国平,刘国平,张国平,穆雷,计算增广有限转移系统合成多项式交换系统的交换协议,载:过程。2013年,第6237-6244页。
[7] S、 Mouelhi,A.Girard,G.Gössler,Cosyma:使用多尺度抽象进行控制器综合的工具,in:Proc。HSCC,2013年,第83-88页。
[8] Tabuada,P.,《混合系统的验证和控制:符号方法》(2009),Springer·Zbl 1195.93001
[9] 塔布阿达,P。;潘帕斯,G.J.,离散时间线性系统的线性时间逻辑控制,IEEE Trans。自动装置。控制,511862-1877,(2006)·Zbl 1366.93413号
[10] Wongpiromsarn,T。;美国托普大学。;默里,R.M.,后退地平线时序逻辑规划,IEEE Trans。自动装置。对照组,57,2817-2830,(2012年)·Zbl 1369.93392
[11] 扎马尼,M。;波兰,G。;马祖,M。;Tabuada,P.,无稳定性假设的非线性控制系统的符号模型,IEEE Trans。自动装置。控制,571804-1809,(2012)·Zbl 1369.93002
[12] 《非线性系统的计算抽象》,IEEE Trans。自动装置。对照组,562583-2598,(2011年)·Zbl 1368.93178
[13] Tazaki,Y。;Imura,J.,《基于误差传播分析的非线性系统离散抽象》,IEEE Trans。自动装置。对照组,57550-564,(2012年)·Zbl 1369.93121号
[14] S、 Karaman,E.Frazzoli,具有确定性演算规范的基于采样的最优运动规划算法,in:Proc。2012年,第735-742页。
[15] E、 M.Wolff,R.M.Murray,具有时序逻辑规范的非线性系统的最优控制,in:Proc。ISRR,2013年。
[16] J、 刘国安,张国平,动态系统时间逻辑控制中的抽象化、离散化与鲁棒性。HSCC,2014年,第293-302页·Zbl 1362.93058号
[17] 拜尔,C。;卡托恩,J.-P。,《模型检验原理》(2008),麻省理工学院出版社
[18] 克拉克,E.M。;格鲁贝格,O。;Peled,D.,模型检查,(1999),麻省理工学院出版社
[19] 安吉丽,D。;《前向完全性,无界可观测性及其李雅普诺夫特征,系统控制列特》。,384209-217,(1999年)·Zbl 0986.93036
[20] R、 Alur,T.A.Henzinger,O.Kupferman,M.Y.Vardi,交替求精关系,in:Proc。CONCUR,1998年,第163-178页·Zbl 1070.68524
[21] 波兰,G。;《非线性控制系统的符号模型:交替近似互模拟》,控制最优化。,48719-733,(2009年)·Zbl 1194.93020
[22] 费因科斯,G.E。;Pappas,G.J.,连续时间信号时序逻辑规范的稳健性,理论。计算机。科学。,410424262-4291,(2009年)·Zbl 1186.68287
[23] Angeli,D.,增量稳定性性质的Lyapunov方法,IEEE Trans。自动装置。对照组,47,3410-421,(2002年)·Zbl 1364.93552
[24] 波兰,G。;吉拉德,A。;Tabuada,P.,非线性控制系统的近似双相似符号模型,Automatica,44,10,2508-2516,(2008)·Zbl 1155.93322
[25] Y、 Li,J.Liu,N.Ozay,通过局部可达集上近似计算具有鲁棒性裕度的有限抽象,in:IFAC混合系统分析与设计会议,ADHS,2015。
[26] 布洛姆,R。;Jobstmann,B。;皮特曼,N。;普努埃利,A。;Sa'ar,Y.,反应(1)设计的合成,J.Comput。系统科学。,78911-938,(2012年)·Zbl 1247.68050
[27] Ehlers,R.,广义rabin(1)综合及其在鲁棒系统综合中的应用,(NASA形式化方法,(2011),Springer),101-115
[28] T、 王碧伦,U.Topcu,N.Ozay,H.Xu,R.M.Murray,郁金香:后退地平线时间逻辑规划的软件工具箱,in:Proc。2011年。
[29] A、 瑟文,B.林肯,J.Eker,K.-E。Arzén,G.Buttazzo,“抖动裕度及其在实时控制系统设计中的应用”,载:第十届实时嵌入式计算系统与应用国际会议论文集。瑞典哥德堡,2004年,第1-9页。
[30] Hale,J.K.,泛函微分方程导论。第99卷,(1993),斯普林格
[31] 富兰克林,G.F。;工人,M.L。;鲍威尔,D.,动态系统的数字控制,(1997),艾迪生韦斯利朗曼出版公司。
[32] P、 Nilsson,O.Hussien,Y.Chen,A.Balkan,M.Rungger,A.Ames,J.Grizzle,N.Ozay,H.Peng,P.Tabuada,自适应巡航控制的施工控制软件综合的初步结果,in:Proc。CDC,2014年,第816-823页。
[33] O、 Mickelin,N.Ozay,R.M.Murray,使用部分状态信息合成混合系统的校正结构控制协议,in:Proc。ACC,2014年,第2305-2311页。
[34] 波兰,G。;佩佩,P。;医学博士迪贝内代托。;张建华,等.非线性时滞系统的近似双模拟符号模型,系统控制学报。,59,6,365-373,(2010年)·Zbl 1197.93090
[35] 吉拉德,A。;Pappas,G.,离散和连续系统的近似度量,IEEE Trans。自动装置。控制,52782-798,(2007年)·Zbl 1366.93032
[36] U、 张国平,陈国平,刘建明,陈国强,陈国强,陈国强,陈国强,陈国强,陈国强,陈国强,陈国强,陈国强,陈国强,陈国强,陈国强,陈国强,陈国强,陈国强,陈国强,陈国强,陈国强,陈。HSCC,2012年,第85-94页·Zbl 1362.68190号
[37] R、 Majumdar,E.Render,P.Tabuada,抗未知扰动的鲁棒离散综合,in:Proc。2011年,第211-220页·Zbl 1362.68175
[38] 塔拉夫,D。;梅格瑞斯基,A。;Dahleh,M.A.,有限字母表上系统鲁棒稳定性的框架,IEEE Trans。自动装置。对照组,53,5,1133-1146,(2008年)·Zbl 1367.93482
[39] Tarraf,D.C.,一个面向控制的有限状态近似概念,IEEE Trans。自动装置。对照组,57,12,3197-3202,(2012年)·Zbl 1369.93352
[40] M、 龙格,P。塔布阿达,抽象和精炼网络物理系统的鲁棒性,in:Proc。HSCC,2014年,第223-232页·Zbl 1362.93132
[41] A、 《非线性网络控制系统设计的符号方法》,载:中国科学院学报。HSCC,2012年,第255-264页·Zbl 1361.68018号
[42] M、 Zamani,M.Mazo Jr.,A.Abate,网络控制系统的有限抽象,in:Proc。疾病预防控制中心,2014年,第95-100页。
[43] D、 Liberzon,通过可达集传播对混合系统的有限信息控制,in:Proc。HSCC,2013年,第11-20页·Zbl 1362.93081号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。