×
穆萨·马伊加；纳西姆·拉姆达尼；Travé-Massuyès，路易丝；克利斯朵夫·康巴斯特

在非线性混合可达性中求解保护集交集的CSP与基于分区的方法。 （英语） Zbl 1302.65123号

数学。计算。科学。 8，编号3-4，407-423（2014）.
摘要：在处理验证或综合任务时，以可靠且经过验证的方式计算混合动力系统的可达集是一个重要步骤。对于不确定非线性混合动力系统，这一问题仍然具有挑战性。我们在本文中展示了如何将通过区间泰勒方法计算连续过渡的方法和计算流管与保护集的几何交叉的方法相结合，以建立一种可用于真正非线性混合系统的可达性计算的区间方法。我们的流量管道保护集交叉方法有两种变体。第一种方法依赖于区间约束传播来解决约束满足问题，并适用于一般情况。第二种方法计算zonotope和超平面的交集，仅适用于保护集是线性的情况。通过典型混合系统的例子说明了我们方法的性能。

引用于三文件

MSC公司：

65G40型 区间分析的一般方法
93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统）
34A38型 常微分方程混合系统

关键词：

区间分析；混合系统；事件检测；事件本地化；宗谱；可达性分析

软件：

个人资料/偏差；FADBAD公司++；犰狳；反洗钱++；IBEX公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Maíga}等人，《数学》。计算。科学。8、编号3--4、407--423（2014；Zbl 1302.65123）
全文： 内政部 哈尔

参考文献：

[1] Althoff，M.，Krogh，B.H.：有效计算可达集的Zonotope束。收录于：CDC-ECE，第6814-6821页（2011年）
[2] Althoff，M.，Krogh，B.H.：混合系统可达性分析中避免几何交集操作。收录于：HSCC，第45-54页（2012年）·Zbl 1362.93012号
[3] Althoff，M.，Stursberg，O.，Buss，M.：使用保守线性化对具有不确定参数的非线性系统进行可达性分析。收录于：CDC，第4042-4048页（2008年）
[4] Alur R.、Courcoubetis C.、Halbwachs N.、Henzinger T.、Ho P.-H.、Nicollin X.、Olivero A.、Sifakis J.、Yovine S.：混合系统的算法分析。西奥。计算。科学。138, 3-34 (1995) ·Zbl 0874.68206号 ·文件编号：10.1016/0304-3975（94）00202-T
[5] Alur R.、Courcoubetis C.、Halbwachs N.、Henzinger T.A.、Ho P.-H.、Nicollin X.、Olivero A.、Sifakis J.、Yovine S.：混合系统的算法分析。西奥。计算。科学。138, 3-34 (1995) ·Zbl 0874.68206号 ·文件编号：10.1016/0304-3975（94）00202-T
[6] Bendtsen，C.，Stauring，O.：FADBAD，一个用于自动区分的灵活C++包。技术报告IMM-REP-1996-17，丹麦技术大学数学建模系，林比（1996）·Zbl 1225.93026号
[7] Birta L.G.、Oren T.I.、Kettenis D.L.：连续系统仿真中不连续处理的稳健程序。事务处理。Soc.计算。模拟。国际2（3），189-205（1985）
[8] Chabert，G.:IBEX：基于间隔的EXplorer，网址：网址：http://www.ibex-lib.org/ (2007) ·Zbl 0900.65208号
[9] Chen，X.，Abraham，E.，Sankaranarayanan，S.：非线性混合系统的Taylor模型流管构造。摘自：第33届IEEE实时系统研讨会（RTSS 12），第183-192页（2012）
[10] Cleary J.C.：逻辑算术。未来计算。系统。2, 125-149 (1987)
[11] Collavizza H.、Delobel F.、Rueher M.：比较部分一致性。可靠计算。51213-228（1999年）·兹伯利0947.65069 ·doi:10.1023/A:1009922003700
[12] Combastel，C.，Zhang，Q.，Lalami，A.：基于自适应观测器估计参数封闭的故障诊断。参加：第17届国际会计师联合会世界大会，韩国首尔，2008年7月6日至11日
[13] Corliss，G.F.，Rihm，R.：使用高阶泰勒级数验证先验封闭。摘自：科学计算、计算机算术和验证数字，第228-238页。Akademie Verlag，柏林（1996）·Zbl 0851.65054号
[14] Davis E.：带区间标签的约束传播。Artif公司。智力。32, 281-331 (1987) ·Zbl 0642.68176号 ·doi:10.1016/0004-3702（87）90091-9
[15] Eggers A.、Fränzle M.、Herde C.：SAT模ODE：混合系统的直接SAT方法。参见：Cha等人（编辑）：ATVA 2008，LNCS 5311，第171-185页（2008）·Zbl 1183.68369号
[16] Eggers，A.，Ramdani，N.，Nedialko，N.S.，Fränzle，M.：通过组合不同的封闭方法改进SAT模ODE方法以进行混合系统分析。柔和。系统。模型。1-28 (2012) ·Zbl 1350.68231号
[17] Esposito，J.M.，Kumar，V.：一种用于数值模拟具有模型奇异性的混合系统的状态事件检测算法。ACM事务处理。模型。计算。模拟。17(1), 1 (2007) ·Zbl 1281.93066号
[18] Esposito，J.M.、Kumar，V.、Pappas，G.J.：模拟混合系统的准确事件检测。收录于：HSCC，第204-217页（2001）·Zbl 0991.93525号
[19] Frehse，G.，Ray，R.：用于具有支持函数的可达性计算的Flowpipe防护交叉点。In:IFAC Conf.混合系统分析与设计（ADHS），第94-101页（2012）
[20] Girard，A.：分段线性混合系统中事件发生的检测。2002年12月
[21] Girard，A.：使用区域图的不确定线性系统的可达性。收录于：HSCC，第3414卷，LNCS，第291-305页（2005）·兹比尔1078.93005
[22] Girard，A.，Guernic，C.L.：混合系统可达性分析的分区域/超平面交叉。收录于：HSCC，第215-228页（2008年）·Zbl 1144.93324号
[23] 盖根·H·，扎顿·J·：关于混合系统的形式验证。控制工程实践。12, 1253-1267 (2004) ·doi:10.1016/j.connengprac.2004.03.015
[24] Guernic，C.，Girard，A.：使用支持函数的混合系统可达性分析。摘自：《第21届计算机辅助验证国际会议记录》，CAV’09，第540-554页。斯普林格·弗拉格，柏林，海德堡（2009）·Zbl 1242.93059号
[25] Guernic，C.L.，Girard，A.：使用支持功能的混合系统可达性分析。载于：CAV，第540-554页（2009年）·Zbl 1242.93059号
[26] Hansen E.，Walster G.：使用区间分析的全局优化，第2版。马塞尔·德克尔（Marcel Dekker），纽约（2004）·Zbl 1103.90092号
[27] Ishii D.、Ueda K.、Hosobe H.：用于模型检查非线性混合系统的基于间隔的sat模节点解算器。国际期刊软件。技术工具。Transf公司。13, 449-461 (2011) ·doi:10.1007/s10009-011-0193-y
[28] Jaulin，L.，Kieffer，M.，Didrit，O.，Walter，E.：应用区间分析：参数和状态估计、鲁棒控制和机器人学中的示例。斯普林格·弗拉格，伦敦·Zbl 1023.65037号
[29] Klima，G.：AML++：c++中的另一个矩阵库，网址：http://amlpp.sourceforge.net/ 2008-2010 ·Zbl 0823.68067号
[30] Knüppel O.：PROFIL/BIAS是一个快速间隔库。计算53（3-4），277-287（1994）·Zbl 0808.65055号 ·doi:10.1007/BF02307379
[31] Lalami，A.，Combastel，C.：具有有界输入和有界转速的线性系统的状态边界算法。欧洲控制会议（2007）
[32] Lohner，R.J.：封闭普通初值和边值问题的解。收录于：Kaucher，E.W.，Kulisch，U.W.，Ullrich，C.（编辑）《计算机算术：科学计算和编程语言》，第255-286页。Wiley-Teubner，斯图加特（1987）
[33] Maíga，M.，Ramdani，N.，Travé-Massuyès，L.：求解非线性混合可达性中保护集交集的快速方法。摘自：第52届IEEE决策与控制会议记录，CDC，第508-513页（2013）·Zbl 1302.65123号
[34] Moore，R.E.：区间分析。普伦蒂斯·霍尔（Prentice-Hall），恩格伍德悬崖（Englewood Cliffs）（1996年）·Zbl 0856.26001号
[35] Nedialkov N.，Jackson K.，Corliss G.：验证了常微分方程初值问题的解。申请。数学。计算。105(1), 21-68 (1999) ·Zbl 0934.65073号 ·doi:10.1016/S0096-3003（98）10083-8
[36] Nedialkov，N.S.，Jackson，K.R.：一种有效的高阶区间方法，用于验证ODE的ivp解的存在性和唯一性。计算17:449-465（2001）·兹比尔1003.65077
[37] Neumaier，A.：在连续全局优化和约束满足中完成搜索。摘自：Iserles，A.（编辑）《数值学报》，第4章。剑桥大学出版社，剑桥（2004）·Zbl 1113.90124号
[38] Park T.，Barton P.I.：微分代数模型中的状态事件位置。ACM事务处理。模型。计算。模拟6（2），137-165（1996）·Zbl 0887.65075号 ·数字对象标识代码：10.1145/232807.232809
[39] Ramdani N.，Meslem N.，Candau Y.：一种计算不确定非线性系统可达集过近似的混合定界方法。IEEE传输。自动化。对照54（10），2352-2364（2009）·兹比尔1367.93063 ·doi:10.1109/TAC.2009.2028974
[40] Ramdani N.，Nedialkov N.S.：使用区间约束传播技术计算不确定非线性混合系统的可达集。非线性分析。混合系统。5(2), 149-162 (2011) ·Zbl 1225.93026号 ·doi:10.1016/j.nahs.2010.05.010
[41] Sanderson，C.：犰狳：C++线性代数库，网址：http://arma.sourceforge.net/ (2013)
[42] Shampine L.F.、Gladwell I.、Brankin R.W.：ODE特殊事件位置问题的可靠解决方案。ACM事务处理。数学。柔和。17, 11-25 (1987) ·Zbl 0900.65208号 ·数字对象标识代码：10.1145/103147.103149
[43] Tomlin C.J.、Mitchell I.M.、Bayen A.M.、Oishi M.：混合系统验证的计算技术。程序。IEEE 91（7），986-1001（2003）·doi:10.1109/JPROC.2003.814621
[44] Waltz，D.L.：《从阴影场景的绘画中生成语义描述》，第19-91页。McGraw-Hill，纽约（1975年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。