×

时序逻辑规范下的资源软件网络控制系统。 (英语) Zbl 1441.93102号

摘要:用于动态系统控制的时序逻辑具有在时序逻辑公式表示的复杂目标下自动合成控制器的潜力。在本文中,我们感兴趣的是这样一种情况,即实现高层和低级控制器的控制器系统通过通信网络连接到工厂。在这种控制体系结构中,众所周知,应明确考虑计算和通信资源的有限性。有鉴于此,我们联合提供了控制和通信策略,使得生成的状态轨迹满足所需的时序逻辑公式,同时平均通信速率低于某个阈值。通过数值仿真实例说明了所提出的策略。

MSC公司:

93B70型 网络控制
93元65角 离散事件控制/观测系统
03B44号 时间逻辑
93个B03 可达集,可达性
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Agha-Mohammadi,A。;Chakravorty,S。;Amato,Nm,FIRM:运动不确定性和不完美测量下基于采样的反馈运动规划,国际机器人研究杂志,33.2,268-304(2014)·doi:10.1177/0278364913501564
[2] Antoniotti M、Jafari M、Mishra B(1995)将时序逻辑验证和综合应用于制造系统。参加:IEEE系统、人与控制论国际会议
[3] Luders B,Kothari M,How J(2010)《机会约束RRT对环境不确定性的概率稳健性》。In:AIAA制导、导航和控制会议
[4] Baier C,Katoen J-P(2008)《模型检验原理》。麻省理工学院出版社·Zbl 1179.68076号
[5] Belta,C.,机器人运动的符号规划和控制[机器人学的重大挑战],IEEE robot Autom Mag,14.1,61-70(2007)·doi:10.1109/MRA.2007.339624
[6] Bhatia A、Kavraki LE、Vardi MY(2010),基于采样的运动规划与时间目标。摘自:IEEE机器人与自动化国际会议记录,第2689-2696页
[7] Borrelli F、Bempoad A、Morari M(2017)《线性和混合系统的预测控制》。剑桥大学出版社·Zbl 1365.93003号
[8] Borri,A。;波拉,G。;Benedetto,Mdd,网络控制系统符号控制器的设计,IEEE Trans-Autom control,64.3,1034-1046(2018)·Zbl 1482.93372号
[9] Chinchali S,et al(2012)灵巧机器人操作反应控制器的形式化合成。参加:IEEE机器人与自动化国际会议(ICRA)
[10] Coogan,S.,《基于时序逻辑规范的交通网络控制》,IEEE Trans control Net Syst,3.2,162-172(2016)·Zbl 1370.68198号 ·doi:10.1109/TCNS.2015.2428471
[11] Fainekos,Ge,动态机器人的时序逻辑运动规划,Automatica,45.2343-352(2009)·Zbl 1158.93369号 ·doi:10.1016/j.automatica.2008.08
[12] Filippidis I等人(2016)《TuLiP混合系统的控制设计:时序逻辑规划工具箱》。2016年IEEE控制应用会议(IEEE CCA)
[13] 戈尔,Ea;拉扎尔,M。;Belta,C.,时间逻辑模型预测控制,Automatica,56.11,78-85(2015)·Zbl 1323.93031号
[14] 郭,M。;Dimarogonas,Dv,本地LTL规范下的多代理计划重新配置,国际机器人研究杂志,34.2,218-235(2015)·doi:10.1177/0278364914546174
[15] Guo M,Johansson KH,Dimarogonas DV(2013)在部分已知工作空间中,根据线性时序逻辑规范修改运动规划。参加:IEEE机器人与自动化国际会议(ICRA)
[16] Hashimoto K、Adachi S、Dimarogonas DV(2018)《时序逻辑规范下的能量感知网络控制系统》。收录:第57届IEEE决策与控制会议(IEEE CDC)会议记录
[17] He K,et al(2015)《使用时序逻辑规范进行操纵规划》。参加:IEEE机器人与自动化国际会议(ICRA)
[18] Heddy G等人(2015)基于线性时序逻辑(LTL)的智能制造系统监测。摘自:预测与健康管理学会年会论文集
[19] Heemels WPMH、Johansson KH、Tabuada P(2012)《事件触发和自触发控制简介》。摘自:第51届IEEE决策与控制会议记录(IEEE CDC),第3270-3285页
[20] 赫斯帕尼亚,Jp;Naghshtabrizi,P。;Xu,Y.,网络控制系统最新结果调查,IEEE学报,95.1138-162(2007)·doi:10.1109/JPROC.2006.887288
[21] 卡拉曼,S。;Frazzoli,E.,《线性时序逻辑车辆路径及其在多无人机任务规划中的应用》,《国际鲁棒非线性控制杂志》,21.12,1372-1395(2011)·Zbl 1244.90038号 ·doi:10.1002/rnc.1715
[22] Karaman,S.,《基于采样的最佳运动规划算法》,《国际机器人研究杂志》,30.7846-894(2011)·doi:10.11177/0278364911406761
[23] Karaman S(2012)基于采样的算法,用于确定μ-calsulus规格的最优运动规划。摘自:《2012年美国控制会议记录》,第735-742页
[24] 卡里马蒂尼,M。;Lin,H.,通过本地协调保证全球绩效,Automatica,47.5,890-898(2011)·Zbl 1233.93006号 ·doi:10.1016/j.automatica.2011.01.078
[25] Kehoe,B.,《云机器人和自动化研究综述》,IEEE Trans-Autom Sci Eng,12.2,398-409(2015)·doi:10.1109/TASE.2014.2376492
[26] Kloetzer,M。;Belta,C.,《从时序逻辑规范控制线性系统的全自动框架》,IEEE Trans-Autom control,53.1,287-297(2008)·Zbl 1367.93202号 ·doi:10.1109/TAC.2007.914952
[27] Kress-Gazit H,Fainekos GE,Pappas GJ(2007)Waldo在哪里?基于传感器的时序逻辑运动规划。在:IEEE国际机器人与自动化会议(ICRA)
[28] Kress-Gazit,H.,基于时间逻辑的反应性任务和运动规划,IEEE Trans Robot,25.61370-1381(2009)·doi:10.1109/TRO.2009.2030225
[29] Kress-Gazit,H。;拉希贾尼安,M。;Raman,V.,《机器人合成:机器人行为的保证和反馈》,《控制、机器人和自治系统年度回顾》,1211-236(2018)·doi:10.1146/anurev-control-060117-104838
[30] Lavalle,Sm,规划算法剑桥(2006),英国:剑桥大学出版社,英国·Zbl 1100.68108号
[31] Livingston SC、Murray RM(2013)《利用时序逻辑进行反应性运动规划的实时合成》。收录:IEEE机器人与自动化国际会议(ICRA)会议记录
[32] Livingston SC、Wolff EM、Murray RM(2015)《交叉时序逻辑运动规划》。摘自:第18届混合系统国际会议论文集:计算与控制(HSCC),第269-278页·Zbl 1366.68178号
[33] Majumdar,A。;Tedrake,R.,实时鲁棒反馈运动规划漏斗库,国际机器人研究杂志,36.8,947-982(2017)·doi:10.1177/0278364917712421
[34] Manuel Mazo;安娜·戴维蒂安(Anna Davidian);Paulo Tabuada,PESSOA:嵌入式控制器合成工具,计算机辅助验证,566-569(2010),柏林,海德堡:施普林格-柏林-海德堡
[35] 蒙特罗,Rdc;Adler,I.,遵循原对偶算法的内部路径。第二部分:凸二次规划,数学程序,44,43-66(1989)·Zbl 0676.90039号 ·doi:10.1007/BF01580776文件
[36] Morel G、Petin JF、Lamboley P(2001)《制造系统自动化的正式规范》。附:第十届IFAC制造业信息控制问题研讨会会议记录
[37] Nilsson P等人(2012)切换仿射系统的时序逻辑控制及其在燃料平衡中的应用。In:IEEE决策与控制会议(IEEE CDC)
[38] Oddoux D,Gastin P(2001)LTL2BA软件:从LTL公式到Büchi自动机的快速转换。在:http://www.lsv.ens-cachan.fr/ ·Zbl 0991.68044号
[39] 佩比,R。;Kieffer,M。;Walter,E.,《移动机器人应用的可靠稳健路径规划》,国际应用数学计算科学杂志,19.3413-424(2009)·Zbl 1300.93059号 ·doi:10.2478/v10006-009-0034-2
[40] Pola,G。;佩佩,P。;Benedetto,马里兰州,非线性控制系统网络的分散监督控制,IEEE Trans-Atom control,63.92003-21817(2018)·Zbl 1423.93258号 ·doi:10.1109/TAC.2017.2775962
[41] Tedrake,R.,LQR-树:通过平方和验证的反馈运动规划,国际机器人研究杂志,29.81038-1052(2010)·doi:10.1177/0278364910369189
[42] Tumova,J。;Dimarogonas,Dv,本地LTL规范下的多代理规划和基于事件的同步,Automatica,70,239-248(2016)·Zbl 1339.93080号 ·doi:10.1016/j.automatica.2016.04.006
[43] Verginis CK,Dimarogonas DV(2017)《时间-时间规范下的分布式协同操作》。附:2017年美国控制会议记录
[44] 王,X。;Lemmon,Md,具有有限L2增益稳定性的自触发反馈控制系统,IEEE Trans-Autom control,54.3,452-467(2009)·Zbl 1367.93354号 ·doi:10.1109/TAC.2009.2012973
[45] Wongpiromsarn,T。;托普库,美国。;Murray,Rm,Recading horizon时序逻辑规划,IEEE Trans Autom Control,57.11,2817-2830(2012)·Zbl 1369.93392号 ·doi:10.1109/TAC.2012.2195811
[46] Zhang,L.,随机时滞网络控制系统稳定化的新方法,IEEE Trans-Autom Control,50.81177-1181(2005)·Zbl 1365.93421号 ·doi:10.1109/TAC.2005.852550
[47] 张伟。;Branicky女士;Phillips,Sm,网络控制系统的稳定性,IEEE控制系统,21.1,84-99(2001)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。