托马斯·勒梅佐;卢克·杰林;贝诺·泽尔 支撑动力系统的后向可达集。 （英语） 兹比尔1454.93023 国际J.控制 93，第11期，2528-2540（2020年）。 摘要：在本文中，我们提出了一种新的包围（即从内部和外部表征）连续时间动力系统目标区域（mathbb{T}）的后向可达集的方法。该方法的原理是将问题形式化为约束网络，其中变量是系统的轨迹（或路径）。通过使用迷宫这是一组包含问题所有解决方案的路径。因此，我们将能够推导出一种方法，该方法能够在不了解参数李亚普诺夫函数的情况下，也不假设系统具有任何线性的情况下计算一类大型系统的后向可达集。该方法将通过几个示例进行说明。 引用于1文件 MSC公司： 93个B03 可达集，可达性 93B70型 网络控制 关键词：抽象解释;后伸装置;吸引力盆地;稳定性;约束求解;区间计算 软件：AQCS（质量控制系统）;Acumen公司;GloptiPoly公司 PDF格式BibTeX公司 XML格式引用 \textit{T.Le Mézo}等人，国际期刊控制93，No.11，2528--2540（2020；Zbl 1454.93023） 全文： 内政部 哈尔 参考文献： [1] Araya，I.、Trombettoni，G.和Neveu，B.（2012年）。基于凸区间Taylor的承包商。CPAIOR会议记录（第1-16页），LNCS 7298。柏林：斯普林格。 [2] Asarin，E.、Dang，T.和Girard，A.（2003年）。使用保守近似的非线性系统可达性分析。混合系统：计算和控制（第20-35页）。柏林：斯普林格·Zbl 1032.93034号 [3] Asarin，E。；Dang，T。；Girard，A.，非线性系统分析的杂交方法，信息学报，7，43，451-476（2007）·Zbl 1134.93026号 ·doi:10.1007/s00236-006-0035-7 [4] Aubin，J.，《微分包含下集的活性核和捕集盆》，SIAM控制与优化杂志，40，3，853-881（2001）·Zbl 1025.49016号 ·doi:10.1137/S036301290036968X [5] Aubin，J。；Frankowska，H.，集值分析（1990），波士顿：Birkhäuser，波士顿·Zbl 0713.49021号 [6] Bacha，A.、Jerbi，H.和Braiek，N.（2008年）。关于非线性多项式系统渐近稳定域的估计：几何方法。H.Aschemann（编辑），自动化和机器人技术的新方法（第55-72页）。维也纳：I-Tech教育与出版。 [7] 巴雷罗，A。；Aracil，J。；Pagano，D.，使用分岔分析和Lyapunov函数检测非线性系统的吸引域，国际控制杂志，75，5，314-327（2002）·Zbl 1032.93068号 ·doi:10.1080/0207170110110568 [8] 巴彦，A。；米切尔，I.M。；Osihi，M。；Tomlin，C.，《通过基于最优控制的覆盖集计算进行飞机自动着陆器安全分析》，《制导、控制和动力学杂志》，30，1，68-77（2007）·数字对象标识代码：10.2514/1.21562 [9] 比蒙德，J。；Michiels，W.，《具有输入饱和和时滞的受控系统吸引域的估计》，IFAC会议论文集，47，3，11006-1011（2014）·doi:10.3182/20140824-6-ZA-1003.01580 [10] 布兰奇尼，F。；Miani，S.，《控制中的理论方法》（2007年），巴塞尔：Springer科学与商业媒体，巴塞尔·Zbl 0996.93040号 [11] Bouissou，O.、Chapoutot，A.、Djaballah，A.和Kieffer，M.（2014）。使用区间分析计算动力系统的参数障碍函数。2014年IEEE第53届决策与控制年会（CDC）（第753-758页）·Zbl 1357.93046号 [12] 夏伯特，G。；Jaulin，L.，QUIMPER，一种在有界错误环境中进行快速间隔建模和编程的语言，《人工智能》，1731079-1100（2009）·Zbl 1191.68628号 ·doi:10.1016/j.artint.2009.03.002 [13] 柯林斯，P。；Goldsztejn，A.，《非线性动力系统可达性分析的可达性和进化算法》，《理论计算机科学电子笔记》，22387-102（2008）·Zbl 1337.93018号 ·doi:10.1016/j.entcs.2008.12.033 [14] Combastel，C.（2005）。基于区域图的不确定非线性连续时间系统的状态边界观测器。CDC-ECC’05。 [15] 库索特·P.和库索特R.（1977年）。抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型。第四届ACM编程语言原理研讨会会议记录（第238-252页），加利福尼亚州洛杉矶。 [16] Delanoue，N.、Jaulin，L.和Cottenceau，B.（2006年）。使用区间分析的非线性系统的吸引域。第十二届约束规划原则与实践国际会议（2006年国际合作计划），法国南特·兹比尔1087.68068 [17] Desilles，A.、Zidani，H.和Cruck，E.（2012年）。无人机碰撞分析。AIAA制导、导航和控制会议（第13-16页）。美国航空航天学会。 [18] Desrochers，B。；Jaulin，L.，《极坐标方程的最小承包商：机器人定位的应用》，《人工智能的工程应用》，55，83-92（2016）·doi:10.1016/j.engapai.2016.06.005 [19] Doyen，L.、Henzinger，T.和Raskin，J.（2005）。仿射混合系统的自动矩形精化。第三届时间系统形式建模和分析国际会议记录（第144-161页）。柏林：斯普林格·Zbl 1175.68243号 [20] 德雷维尔，V。；Bonnifait，P.，通过短期轨迹集反转定位置信域，IEEE机器人学报，29，5，1244-1256（2013）·doi:10.1109/TRO.2013.2262776 [21] Dubins，L.E.，《关于平均曲率有约束且具有规定初始和终止位置及切线的最小长度曲线》，《美国数学杂志》，79，3，497-516（1957）·Zbl 0098.35401号 ·doi:10.2307/2372560 [22] Esterhuizen，W。；Lévine，J.，《混合系统中的屏障和潜在安全装置：带非刚性电缆的摆》，Automatica，73，248-255（2016）·Zbl 1371.93092号 ·doi:10.1016/j.automatica.2016.07.001 [23] Gao，Y.、Lygeros，J.和Quincampoix，M.（2006年）。不确定混合系统的可达性问题：生存理论视角。J.Hespanha和A.Tiwari（编辑），《混合系统：计算和控制》（第242-256页）。柏林：Springer-Verlag·Zbl 1178.93073号 [24] Girard，A.（2003）。分段线性混杂系统极限环的计算与稳定性分析。第一届IFAC混合动力系统分析和设计会议（第181-186页）。 [25] Gonzaga，C。；Jungers，M。；Daafouz，J.，切换非线性系统的稳定性分析和稳定性，国际控制杂志，85，7，822-829（2012）·Zbl 1282.93206号 ·doi:10.1080/00207179.2012.666855 [26] Goubault，E.和Putot，S.（2006年）。数值算法的静态分析。SAS 06会议记录（第18-34页），LNCS 4134。柏林：Springer-Verlag·Zbl 1225.68073号 [27] Guyonneau，R.、Lagrange，S.和Hardouin，L.（2013）。多机器人定位的可见性信息。IEEE/RSJ智能机器人和系统（IROS）国际会议。 [28] Halbwachs，N。；普罗，Y.-E。；Roumanoff，P.，使用线性关系分析验证实时系统，系统设计中的形式化方法，11，2，157-185（1997）·doi:10.1023/A:1008678014487 [29] Henrion博士。；Korda，M.，多项式控制系统吸引域的凸计算，IEEE自动控制汇刊，59，2，297-312（2014）·Zbl 1360.93601号 ·doi:10.1109/TAC.2013.2283095 [30] 亨利安，D。；Lasserre，J。；Lofberg，J.，Gloptipoly 3:矩、优化和半定规划，优化方法和软件，24，4-5，761-779（2009）·Zbl 1178.90277号 ·网址：10.1080/10556780802699201 [31] Jaulin，L。；Kieffer，M。；Didrit，O。；Walter，E.，《应用区间分析，参数和状态估计、鲁棒控制和机器人学示例》（2001），伦敦：Springer-Verlag出版社，伦敦·Zbl 1023.65037号 [32] Kaynama，S.、Maidens，J.、Oishi，M.、Mitchell，I.和Dumont，G.（2012年）。使用最大可达集计算生存核。第15届ACM混合系统国际会议论文集：计算与控制（第55-64页），HSCC’12。纽约州纽约市：ACM·Zbl 1362.93017号 [33] Khalil，H.，非线性系统（2002），新泽西州上鞍河：新泽西州上鞍河Prentice Hall·兹比尔1003.34002 [34] Konecny，M.、Taha，W.、Duracz，J.、Duracx，A.和Ames，A.（2013）。封闭混合系统的行为达到或超过一个zeno点。网络物理系统、网络和应用（CPSNA）·Zbl 1336.93085号 [35] Landau，L。；Lifshitz，E.，流体力学，理论物理课程（1987），牛津：巴特沃斯·海尼曼，牛津·兹比尔0655.76001 [36] Le，B。；Reynet，O。；Jaulin，L.，利用短暂数据进行状态估计，Automatica，48，2，381-387（2012）·Zbl 1260.93153号 ·doi:10.1016/j.自动2011.11.004 [37] Le Mézo，T。；Jaulin，L。；Zerr，B.，支持具有不确定初始条件的常微分方程的解，应用数学与计算，318，70-79（2018）·Zbl 1426.93022号 ·doi:10.1016/j.amc.2017年7月36日 [38] Le Mézo，T。；Jaulin，L。；Zerr，B.，计算不变集的区间方法，IEEE自动控制汇刊，PP，99，1-1（2018） [39] M.Lhommeau。；Jaulin，L。；Hardouin，L.，使用区间分析的俘获盆地近似，国际自适应控制和信号处理杂志，25，3，264-272（2011）·Zbl 1225.93057号 ·doi:10.1002/acs.1195 [40] Mackworth，A.，关系网络的一致性，人工智能，8，1，99-118（1977）·Zbl 0341.68061号 ·doi:10.1016/0004-3702（77）90007-8 [41] Mazhoud，I。；Hadj-Hamou，K。；Bigeon，J。；Remy，G.，《使用模型重构和约束传播的工程中基于区间的全局优化》[专区]，《人工智能的工程应用》，25，2，404-417（2012）·doi:10.1016/j.engappai.2011.10.010 [42] Mitchell，I.（2007）。将正向和反向可达性作为安全分析的工具进行比较。A.Bempoad、A.Bicchi和G.Buttazzo（编辑），《混合系统：计算和控制》（第428-443页）。柏林：Springer-Verlag·Zbl 1221.93029号 [43] Mitchell，I.、Bayen，A.和Tomlin，C.（2001）。验证混合系统可达集的Hamilton-Jacobi逼近。M.D.Benedetto和A.Sangiovanni-Vincentelli（编辑），《混合系统：计算与控制》（第418-432页），计算机科学课堂讲稿第2034页。柏林：斯普林格·Zbl 0996.93503号 [44] 蒙内，D。；尼宁，J。；Jaulin，L.，《计算生存核的内部和外部近似值》，《可靠计算》，22，139（2016） [45] 帕里罗，P。；Lall，S.，控制中的半定规划松弛和代数优化，欧洲控制杂志，9，2（2003）·Zbl 1293.93302号 [46] Podelski，A.和Wagner，S.（2006年）。混合系统的模型检验：从可达性到稳定性。J.Hespanha和A.Tiwari（编辑），《混合系统：计算和控制》（第507-521页）。柏林：Springer-Verlag·Zbl 1178.93077号 [47] Quincampoix，M.，微分包含与目标问题，SIAM控制与优化杂志，30，2，324-335（1992）·Zbl 0862.49006号 ·数字对象标识代码：10.1137/0330020 [48] Ratschan，S.，通过圆柱盒分解近似量化约束求解，可靠计算，8，1，21-42（2002）·Zbl 0997.65077号 ·doi:10.1023/A:1014785518570 [49] Ratschan，S。；She，Z.，通过计算类李亚普诺夫函数为多项式系统的目标区域提供吸引盆地，SIAM控制与优化杂志，48，7，4377-4394（2010）·Zbl 1215.65188号 ·数字对象标识代码：10.1137/090749955 [50] Saint-Pierre，P.，生存核近似，应用数学与优化，29,2187-209（1994）·Zbl 0790.65081号 ·doi:10.1007/BF01204182 [51] 圣皮埃尔，P.（2002）。脉冲约束系统的混合核和捕获池。C.Tomlin和M.Greenstreet（编辑），《混合系统：计算和控制》（第2289卷，第378-392页）。柏林：Springer-Verlag·Zbl 1050.93041号 [52] Sandretto，J。；Chapoutot，A.，用Runge-Kutta方法验证微分代数方程的模拟，可靠计算，22，57（2016） [53] Seube，N。；莫伊蒂，R。；Leitmann，G.，《风切变中的飞机起飞：可行性方法》，集值分析，8，1，163-180（2000）·Zbl 0965.93076号 ·doi:10.1023/A:1008786811464 [54] 她，Z。；Xue，B.，通过计算类Lyapunov函数计算带目标的不变性核，IET控制理论应用，7，15，1932-1940（2013）·doi:10.1049/iet-cta.2013.0275 [55] Spivak，M.，《流形上的微积分：高级微积分经典定理的现代方法》（1965），马萨诸塞州坎布里奇：威斯特维尤出版社，马萨诸塞诸塞州剑桥·Zbl 0141.05403号 [56] Taha，W.和Duracz，A.（2015年）。Acumen：一个用于网络物理系统研究的开源测试平台。15号旋风。 [57] Tarski，A.，初等代数和几何的决策方法（1951），伯克利：加州大学出版社，伯克利·Zbl 0044.25102号 [58] 托尼尔·辛，S。；奥坎波·马丁内斯，C。；Puig，V。；Escobet，T.，使用基于约束满足的集员状态估计的非线性系统鲁棒故障检测，人工智能工程应用，25，1，1-10（2012）·doi:10.1016/j.engappai.2011.07.007 [59] Wilczak，D。；Zgliczynski，P.，Cr-Lohner算法，Schedae Informaticae，20，9-46（2011） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。