尼古拉斯·科奇杜普尔;费利克斯·格鲁伯;巴斯蒂安·舒尔曼;维克托·加曼;莫里茨·克利沙特;马蒂亚斯·阿尔霍夫 AROC:用于自动可达集最优控制器综合的工具箱。 (英语) Zbl 07807696号 2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第23号论文,第6页(2021年)。 理学硕士: 65年第68季度 形式语言和自动机 60年第68季度 规范和验证(程序逻辑、模型检查等) 93立方 由微分方程以外的函数关系控制的控制/观测系统(例如混合系统和开关系统) 关键词:控制器综合;机动自动机;模型预测控制;可达-无效问题;可达性分析 软件:PESSOA公司;科西马;ACADO公司;CORA公司;Solace公司;ROCS公司;AROC公司;OMPL公司;控制工具箱;干VR;斯科特 PDF格式BibTeX公司 XML格式引用 \textit{N.Kochdumper}et al.,in:第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分,美国田纳西州纳什维尔,2021年5月19-21日。纽约州纽约市:计算机协会(ACM)。第23号论文,第6页(2021;Zbl 07807696) 全文: 内政部 参考文献: [1] 阿尔特霍夫先生。2015年CORA 2015简介。程序中。第1和第2届连续和混合系统应用验证国际研讨会。120-151. [2] M.Althoff、M.Koschi和S.Manzinger。2017年,《公共道路:道路运动规划的可组合基准》。程序中。第28届IEEE智能车辆研讨会。719-726. [3] S.Bhonsale等人,2016年。SolACE:用于(生物)化学过程非线性模型预测控制和状态估计的开源软件包。计算机辅助化学工程38(2016),1971-1976。 [4] J.M.Bravo、T.Alamo和E.F.Camacho。2006.基于近似可达集的约束离散时间非线性系统的鲁棒MPC。Automatica 42(2006),1745-1751·Zbl 1114.93060号 [5] N.Chan和S.Mitra。2018.CODEV:自动模型预测控制设计和形式验证。程序中。第21届混合系统国际会议:计算与控制。281-282. [6] H.Chen、C.Scherer和F.Allgöwer。1997年。约束系统非线性鲁棒下降时域控制的博弈论方法。程序中。1997年美国控制会议。3073-3077. [7] Y.Chen等人,2019年。基于MATLAB的实时非线性模型预测控制工具箱。程序中。第18届欧洲控制会议。3365-3370. [8] I.A.öucan、M.Moll和L.E.Kavraki。2012.开放运动规划库。IEEE机器人与自动化杂志19,4(2012),72-82。 [9] M.de la Pena、A.Bempoad和C.Filippi。2004.基于近似多参数凸规划的鲁棒显式MPC。程序中。第43届IEEE决策与控制会议。2491-2496. [10] H.Deng和T.Ohtsuka。2020年。ParNMPC-实时非线性模型预测控制的并行优化工具包。发表于:《国际控制杂志》(2020年)·Zbl 1482.93169号 [11] E.Frazzoli、M.A.Dahleh和E.Feron。2005.具有对称性的非线性系统的基于机动的运动规划。IEEE机器人学报21,6(2005),1077-1091。 [12] M.Giftthaler等人,2018年。控制工具箱——机器人、优化和模型预测控制的开源C++库。程序中。2018年自主机器人仿真、建模和编程国际会议。123-129. [13] D.Heß、M.Althoff和T.Sattel。2014.参数化运动原语机动自动机的形式验证。程序中。2014年智能机器人和系统国际会议。1474-1481. [14] B.Houska、H.J.Ferreau和M.Diehl。2011.ACADO Toolkit一个用于自动控制和动态优化的开源框架。最优控制应用与方法32,3(2011),298-312·Zbl 1218.49002号 [15] F.Janeček等人,2017年。OPTIPLAN:一个用于模型预测控制和避障的MATLAB工具箱。程序中。第20届国际会计师联合会世界大会。531-536. [16] M.Kloetzer和C.Belta。2008.基于时序逻辑规范的线性系统控制的全自动框架。IEEE传输。自动化。控制53,1(2008),287-297·Zbl 1367.93202号 [17] S.Kousik等人,2020年。在移动机器人近距离轨迹设计中,缩小安全性和实时性能之间的差距。《国际机器人研究杂志》39,12(2020),1419-1469。 [18] H.Kwakernaak和R.Sivan。1972年,线性最优控制系统。第1卷。威利·Zbl 0276.93001号 [19] Y.Li和J.Liu。2018年,ROCS:非线性动力系统的鲁棒完整控制综合工具。程序中。第21届混合系统国际会议:计算与控制。130-135. ·Zbl 1417.93122号 [20] L.Liu等人,2012年。具有时间逻辑约束的微分平坦系统的无功控制器。程序中。第51届IEEE决策与控制会议。7664-7670. [21] A.Majumdar和R.Tedrake。2017.实时稳健反馈运动规划漏斗库。《国际机器人研究杂志》36,8(2017),947-982。 [22] D.Mayne等人,2011年。基于管的鲁棒非线性模型预测控制。国际鲁棒与非线性控制杂志21,11(2011),1341-1353·Zbl 1244.93081号 [23] M.Mazo、A.Davidian和P.Tabuada。2010年,PESSOA:嵌入式控制器合成工具。程序中。第22届计算机辅助验证国际会议。566-569. [24] S.Mouelhi、A.Girard和G.Gossler。2013年,CoSyMA:使用多尺度抽象的控制器合成工具。程序中。第16届混合系统国际会议:计算与控制。83-88. [25] Z.K.Nagy先生。2008年,OptCon——非线性模型预测控制应用快速原型化的有效工具。程序中。2008年AIChE年会。16-21. [26] J.Oravec和M.Bakošové。2015.基于LMI的高效稳健MPC设计软件。程序中。第20届国际过程控制大会。272-277. [27] E.皮斯蒂科普洛斯。2009年,多参数规划和显式模型预测控制展望。AIChE Journal 55,8(2009),1918-1925。 [28] B.Qi等人,2018年。DryVR 2.0:黑盒网络物理系统的验证和控制器合成工具。程序中。第21届混合系统国际会议:计算与控制。269-270. [29] D.M.Raimondo等人,2011年。具有输入-状态稳定性保证的鲁棒显式非线性MPC控制器。程序中。第18届国际会计师联合会世界大会。9284-9289. [30] S.V.Raković等人,2012年。参数化管模型预测控制。IEEE传输。自动化。控制57,11(2012),2746-2761·Zbl 1369.93240号 [31] M.Rubagotti等人,2010年。连续时间采样非线性系统的积分滑模鲁棒模型预测控制。IEEE传输。自动化。控制56,3(2010),556-570·兹比尔1368.93361 [32] M.Rungger和M.Zamani。2016年,SCOTS:符号控制器合成工具。程序中。第19届混合系统国际会议:计算与控制。99-104. ·Zbl 1364.93267号 [33] I.Saha等人,2014年。安全LTL规范中多机器人系统运动原语的自动合成。程序中。2014年智能机器人和系统国际会议。1525 – 1532. [34] R.Sanfelice和E.Frazzoli。2008年。基于鲁棒机动运动规划的混合控制框架。程序中。2008年美国控制会议。2254-2259. [35] B.Schürmann和M.Althoff。2017.扰动和约束非线性系统的形式保证凸插值控制。程序中。第20届混合系统国际会议:计算与控制。121-130. ·Zbl 1369.93169号 [36] B.Schürmann和M.Althoff。2017.在发电机空间中使用基于集合的最优控制保证受扰非线性系统的约束。程序中。第20届国际会计师联合会世界大会。11515-11522. [37] B.Schürmann和M.Althoff。2017.形式上保证受扰线性系统约束的解集的最优控制。程序中。2017年美国控制会议。2522-2529. [38] B.Schürmann、N.Kochdumper和M.Althoff。2018.受扰非线性系统的Reachset模型预测控制。程序中。第57届IEEE决策与控制会议。3463-3470. [39] R.Tedrake等人,2010年。LQR树:通过平方和验证的反馈运动规划。《国际机器人研究杂志》29,8(2010),1038-1052。 [40] A.Weiss等人,2017年。使用不变集树的运动规划。程序中。第一届IEEE控制技术和应用会议。1625-1630. [41] T.Wongpiromsarn等人,2011年。TuLiP:一个用于后退地平线时序逻辑规划的软件工具箱。程序中。第14届混合系统国际会议:计算与控制。313-314. [42] S.Yu等人,2013年。基于鲁棒控制不变集的Tube MPC方案及其在Lipschitz非线性系统中的应用。《系统与控制快报》62,2(2013),194-200·Zbl 1259.93048号 [43] M.Zamani等人,2012年。无稳定性假设的非线性控制系统的符号模型。IEEE传输。自动化。控制57,7(2012),1804-1809·兹比尔1369.93002 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。