西蒙，罗侯；卢克·杰林；柳德米拉·米哈伊洛娃；织物酒吧；Sandor M.Veres。 包含时间不确定性的可靠非线性状态估计。 （英语） Zbl 1400.93294号 Automatica公司 93, 379-388 (2018). 摘要：本文提出了一种新的含时间不确定性的有界误差状态估计方法。对于一个连续时间非线性系统的给定有界观测，假设观测数据的值及其捕获时刻都不准确。对于由状态空间方程描述的系统，我们从理论上证明并通过仿真证明，所提出的约束传播方法能够计算与不确定测量一致的系统状态向量的边界集。即使系统是强非线性的，该方法也能保证其有界性。与其他现有的约束传播方法相比，该方法的创新之处在于我们定义和使用了边界管，它能够将所有可行轨迹集封装在集合内。该方法可以为时间不确定性在整个轨迹中的传播建立特定的算子。通过移动机器人的动态定位和时钟漂移的校正两个实例说明了该方法的有效性。 引用于2文件 MSC公司： 93E10型 随机控制理论中的估计与检测 93立方厘米 控制理论中的非线性系统 93C85号 控制理论中的自动化系统（机器人等） 93立方厘米 信息不完整的控制/观测系统 关键词：状态估计；时间不确定性；非线性系统；管；机器人技术；约束；承包商 软件：CAPD（机顶盒） PDF格式BibTeX公司 XML格式引用 \textit{S.Rohou}等人，Automatica 93，379--388（2018；Zbl 1400.93294） 全文： 内政部 参考文献： [1] 亚历山大·迪特·桑德雷托，J。；Chapoutot，A.，《经验证的显式和隐式Runge-Kutta方法》，《可靠计算电子版》，2016年第22期，专门讨论2015年SWIM上提交的材料的特刊 [2] Apt，K.R.，约束传播的本质，理论计算机科学，221，1，179-210，（1999）·兹伯利0930.68164 [3] Araya，我。；Trombettoni，G。；Neveu，B.，基于凸区间Taylor的承包商，（Beldiceanu，N.；Jussien，N.，Pinson，E..，《组合优化问题约束编程中人工智能和操作规则技术的集成：第九届国际会议》，CPAIOR 2012，Proceedings，（2012），Springer Berlin Heidelberg），1-16 [4] Bessiere，C.，约束传播，（Rossi，F.；van Beek，P.；Walsh，T.，《人工智能基础》，约束编程手册，第2卷，（2006），爱思唯尔出版社），29-83·兹比尔1175.90011 [5] 贝森科特，A。；Jaulin，L.，《具有非同步时钟的水下机器人协作定位》，Paladyn，《行为机器人学杂志》，4，4，（2013） [6] Bethencourt，A。；Jaulin，L.，解决涉及时滞函数的非线性约束满足问题，计算机科学中的数学，8，3，503-523，（2014）·Zbl 1302.65122号 [7] Blanco，J.L.、Gonzalez，J.和Fernandez-Madrigal，J.A.（2008）。一种纯概率方法来实现纯距离SLAM。在2008年IEEE机器人与自动化国际会议; Blanco，J.L.、Gonzalez，J.和Fernandez-Madrigal，J.A.（2008）。一种纯概率方法来实现纯距离SLAM。在2008年IEEE机器人与自动化国际会议 [8] 查伯特，G。；Jaulin，L.，承包商编程，人工智能，173，11，1079-1100，（2009）·Zbl 1191.68628号 [9] Choi，M.、Choi，J.、Park，J.和Chung，W.K.（2009年）。考虑时滞不确定性的时滞测量状态估计。在2009年IEEE机器人与自动化国际会议; Choi M.、Choi J.、Park J.和Chung W.K.（2009年）。考虑时滞不确定性的时滞测量状态估计。在2009年IEEE机器人与自动化国际会议 [10] Combastel，C.（2005）。基于区域图的不确定非线性连续时间系统的状态边界观测器。在IEEE决策和控制会议; Combastel，C.（2005）。基于区域图的不确定非线性连续时间系统的状态边界观测器。在IEEE决策和控制会议 [11] Desroches，B。；Jaulin，L.，《极坐标方程的最小承包商：机器人定位应用》，人工智能工程应用，55，83-92，（2016） [12] 德雷维尔，V。；Nicola，J.，《Vibes:区间和方框的可视化工具》，《计算机科学中的数学》，8，3，563-572，（2014） [13] 菲利波娃，T.F。；Kurzhanski，A.B。；杉本，K。；Vályi，I.，不确定动力系统的椭球状态估计，（Milanese，M.；Norton，J.；Piet-Lahanier，H.；Walter，E..，系统识别的边界方法，（1996），Springer US），213-238·Zbl 0865.93009号 [14] Gning，A。；Bonnifait，P.，使用冗余数据保证定位的区间约束传播技术，Automatica，42，7，1167-1175，（2006）·Zbl 1117.93367号 [15] Jaulin，L。；Kieffer，M。；Braems，I。；Walter，E.，使用集合上的约束传播的保证非线性估计，国际控制杂志，74，181772-1782，（2001）·Zbl 1023.93020号 [16] Jaulin，L。；Kieffer，M。；Didrit，O。；沃尔特，É。，应用区间分析，（2001），施普林格伦敦·Zbl 1023.65037号 [17] Kurzhanski，A.B。；Filippova，T.F.，《轨道管理论——不确定动力学、生存力和控制的数学形式》（Kurzhanski，A.B.，《非线性动力学和控制的进展：俄罗斯的报告》，（1993），Birkhäuser Boston），122-188·Zbl 0912.93040号 [18] Le Bars，F。；斯卢卡，J。；Jaulin，L。；Reynet，O.，《利用短暂数据进行机组成员状态估计》，Automatica，48，2，381-387，（2012）·Zbl 1260.93153号 [19] Mackworth，A.K.，关系网络的一致性，人工智能，8，1，99-118，（1977）·Zbl 0341.68061号 [20] Milanese，M。；Vicino，A.，非线性模型和集员不确定性的估计理论，Automatica，27，2，403-408，（1991）·兹比尔0729.93074 [21] Moore，R.，（区间分析，自动计算中的Prentice-Hall级数，（1966），Prentice-Hall）·Zbl 0176.13301号 [22] Moore，R.，（区间分析的方法和应用，应用数学和数值数学研究，（1979年），工业应用数学学会）·Zbl 0417.65022号 [23] Newman，P.和Leonard，J.（2003）。仅限纯射程的海底SLAM。在2003年IEEE机器人和自动化国际会议（目录号03CH37422），第2卷; Newman，P.和Leonard，J.（2003）。纯远程海底SLAM。在2003年IEEE机器人和自动化国际会议（目录号03CH37422），第2卷 [24] Raíssi，T。；Ramdani，N。；Candau，Y.，非线性微分方程描述系统的集成员状态和参数估计，Automatica，40，10，1771-1777，（2004）·Zbl 1067.93019号 [25] Rohou，S.，《可靠机器人定位：动力系统上的约束编程方法》，（2017），布列塔尼西方大学，http://www.simon-rohou.fr/research/phd/rohou_thessis.pdf [26] Rohou，S。；Jaulin，L。；Mihaylova，L。；Le Bars，F。；Veres，S.M.，机器人轨迹的保证计算，机器人和自治系统，93，76-84，（2017） [27] Van Hentenryck，P。；米歇尔，L。；Benhamou，F.，非线性约束上的约束编程，计算机编程科学，30，1，83-118，（1998），并发约束编程·兹伯利0891.68015 [28] Wilczak，D.、Zgliczynskii，P.、Pilarczyk，P.，Mrozek，M.、Kapela，T.和Galias，Z.等人（2017年）。动力学组中的计算机辅助证明，这是一个用于严格数值计算的c++包。http://capd.ii.uj.edu.pl; Wilczak，D.、Zgliczynskii，P.、Pilarczyk，P.，Mrozek，M.、Kapela，T.和Galias，Z.等人（2017年）。动力学组中的计算机辅助证明，这是一个用于严格数值计算的c++包。http://capd.ii.uj.edu.pl 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。