米查尔·科内奇;瓦利德·塔哈;费伦茨·巴尔塔。;简·杜拉茨;亚当·杜拉茨;亚伦·D·埃姆斯。 封闭混合自动机在Zeno点前后的行为。 （英语） 兹比尔1336.93085 非线性分析。，混合系统。 20, 1-20 (2016). 小结：即使是像经典的弹跳球这样的简单的混合自动机也可以表现出Zeno行为。到目前为止，这种行为的存在迫使大量模拟器要么忽略某些事件，要么无限期地冒循环的风险。这反过来又迫使建模者要么插入特殊限制以规避Zeno行为，要么放弃混合自动机。为了解决这个问题，我们重新审视了事件检测和定位。从这项调查中得出的一个关键见解是，给定时间间隔的封闭可以独立于给定事件的发生而有效。这样的事件甚至可能发生无限次。这种见解使处理某些类型的Zeno行为成为可能。如果在混合自动机的给定模型中显式定义了后Zeno状态，则计算出的封闭区涵盖了从Zeno点开始经过重新启动进化的相应轨迹。 引用于7文件 MSC公司： 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 93B40码 系统理论中的计算方法（MSC2010） 37号35 控制中的动态系统 关键词：混成自动机;芝诺行为;混合系统;严格的计算;验证的数值 软件：系统建模器;查龙;瓦伦西亚;github;OpenModelica公司;VNODE公司;SpaceEx公司;舒适的;哈斯克尔;凯伊迈拉;ValEncIA-IVP公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Konečn}等人，《非线性分析》。，混合系统。20，1--20（2016；Zbl 1336.93085） 全文： DOI程序 OA许可证 参考文献： [1] Darulova，E。；Kuncak，V.，值得信赖的标量数值计算，（Lopes，C.V.；Fisher，K.，OOPSLA（2011），ACM），325-344 [2] Escardó，M.H.，用实数扩展的PCF，理论。计算。科学。，162, 1, 79-115 (1996) ·兹比尔0871.68034 [3] 塞利尔，F.E。；Kofman，E.，《连续系统仿真》（2006），Springer-Verlag New York，Inc.：Springer-Verlag New Yeork，Inc，美国新泽西州塞考克斯·Zbl 1112.93004号 [4] 海尔，E。；诺塞特，S.P。；Wanner，G.，《求解常微分方程I（第二版修订）：非刚性问题》（1993），Springer-Verrag纽约公司：Springer-Verlag纽约公司，美国纽约州纽约市·Zbl 0789.65048号 [5] 海尔，E。；Wanner，G.，Stiff和微分代数问题，（求解常微分方程。II.求解常微分方程式。II，计算数学中的Springer级数，第14卷（1996），Springer-Verlag:Springer-Verlag Berlin）·Zbl 0859.65067号 [9] 张，J。；Johansson，K.H。；Lygeros，J。；Sastry，S.，Zeno混合系统，国际。J.鲁棒非线性控制，11，5，435-451（2001）·Zbl 0977.93047号 [11] Moreau，J.，有限自由动力学中的单侧接触和干摩擦，（Moreau；Panagiotopoulos，P.，非光滑力学和应用，国际机械科学中心，第302卷（1988），施普林格维也纳），1-82·Zbl 0703.73070号 [12] Marques，Manuel Duque Pereira Monteiro，《非光滑力学问题中的微分夹杂物：冲击和干摩擦》（1993），Birkhäuser:Birkháuser Boston，MA·Zbl 0802.73003号 [13] Stewart，D.E.，《不平等的动力学：影响和硬约束》（2011），工业和应用数学学会：美国宾夕法尼亚州费城·Zbl 1241.37003号 [14] Schumacher，J.M.，《时间尺度对称和Zeno解决方案》，Automatica J.IFAC，45，5，1237-1242（2009）·Zbl 1173.37026号 [15] 沈杰。；Pang，J.-S.，线性互补系统：芝诺状态，SIAM J.控制优化。，44，3，1040-1066（2005），（电子版）·邮编1092.90052 [16] Thuan，L.Q。；Camlibel，M.K.，连续分段仿射动力系统不显示Zeno行为，IEEE Trans。自动化。控制，56，8，1932-1936（2011）·Zbl 1368.93284号 [17] Acary，V。；Brogliato，B.，《非光滑动力系统的数值方法：在力学和电子学中的应用》，第35卷（2008），Springer科学与商业媒体·兹比尔1173.74001 [18] Ames，A.D.，《双足机器人行走中膝盖摆动的特征描述：Zeno行为方法》，（第14届混合系统国际会议论文集：计算与控制，第14届国际混合系统会议论文集，HSCC’11（2011），ACM：美国纽约州纽约市ACM），163-172·兹比尔1364.70016 [19] 或者，Y。；Teel，A.，集值反弹球的Zeno稳定性，IEEE Trans。自动化。对照组，56447-452（2011）·Zbl 1368.93606号 [20] Lamperski，A。；Ames，A.D.，关于非孤立Zeno平衡混合系统中Zeno行为的存在性，（第47届IEEE决策与控制会议，2008（2008），IEEE），2776-2781 [21] 或者，Y。；Ames，A.，拉格朗日混合系统Zeno平衡的稳定性和完备性，IEEE Trans。自动化。控制，56，6，1322-1336（2011）·Zbl 1368.93476号 [23] Carloni，L.P。；Paserone，R。；平托，A。；Angiovanni-Vincentelli，A.L.，混合系统设计的语言和工具，Found。趋势电子。设计。自动。，1, 1-2, 1-193 (2006) ·Zbl 1107.68385号 [26] 阿鲁尔（Alur，R.）。；格罗苏，R。；Hur，Y。；库马尔，V。；Lee，I.，CHARON中混合系统的模块化规范，（混合系统：计算和控制。混合系统：计算机科学讲义，第1790卷（2000），Springer），6-19·Zbl 0992.93040号 [28] 尼尔森，H。；考特尼，A。；Peterson，J.，功能反应式编程，续，（2002年ACM SIGPLAN Haskell研讨会论文集。2002年ACM-SIGPLAN Haskell会议论文集，Haskell'02（2002），ACM:ACM纽约，美国纽约州纽约市），51-64 [29] Makino，K。；Berz，M.，泰勒模型方法的新应用，（算法的自动微分：从模拟到优化（2002），Springer），359-364，（第43章） [33] Brogliato，B.，《非光滑力学、通信和控制工程》（1999），Springer Verlag:Springer Verlag London·Zbl 0917.73002号 [34] Moreau，J.J.，《扫掠过程的数值方面》，《计算》。方法应用。机械。工程，177，3，329-349（1999）·Zbl 0968.70006号 [35] Acary，V。；Pérignon，F.，Siconos：非光滑动力系统建模、仿真、分析和控制的软件平台，Simul。欧洲新闻，17，3-4，19-26（2007） [36] Acary，V。；Brogliato，B.（布罗格里亚托，B.）。；Goeleven，D.，《高阶莫罗扫掠过程：数学公式和数值模拟》，《数学》。程序。，113133-217（2008年）·Zbl 1148.93003号 [38] Lamperski，A。；Ames，A.，Zeno稳定性的Lyapunov理论，IEEE Trans。自动化。控制，58,1100-112（2013）·Zbl 1369.93534号 [39] 阿鲁尔（Alur，R.）。；Dill，D.L.，《时间自动机理论》，Theoret。计算。科学。，126, 2, 183-235 (1994) ·Zbl 0803.68071号 [40] Henzinger，T.A.，《混合自动机理论》（LICS（1996），IEEE计算机学会），278-292 [41] Platzer，A.，《混合系统的微分动态逻辑》，J.Automat。原因。，41, 2, 143-189 (2008) ·Zbl 1181.03035号 [42] Platzer，A。；Quesel，J.-D.，KeYmaera:混合系统的混合定理证明器，（Armando，A.；Baumgartner，P.；Dowek，G.，IJCAR.IJCAR，LNCS，第5195卷（2008），Springer），171-178·Zbl 1165.68469号 [43] 石井，D。；上田，K。；Hosobe，H.，用于非线性混合系统模型检查的基于间隔的sat模码求解器，国际期刊Softw。技术工具。事务处理。，13, 5, 449-461 (2011) [44] Ishii，D.，基于区间分析和约束规划的混合系统仿真与验证（2010），早稻田大学（博士论文） [46] 陈，X。；亚伯拉罕·E。；Sankaranarayanan，S.，非线性混合系统的泰勒模型流管构建，（实时系统研讨会（RTSS），2012年IEEE第33届（2012年），IEEE），183-192 [47] Frehse，G。；Le Guernic，C。；A.Donzé。；棉花，S。；雷·R。；O.勒贝特尔。；Ripado，R。；Girard，A。；当，T。；Maler，O.，SpaceEx:混合系统的可扩展验证，（Gopalakrishnan，G.；Qadeer，S.，《计算机辅助验证》，计算机科学讲义，第6806卷（2011），施普林格：施普林格柏林，海德堡），379-395 [48] 盖尼奇，C.L。；Girard，A.，使用支持函数的线性系统可达性分析，非线性分析。混合系统。，4250-262（2010年）·Zbl 1201.93018号 [49] Lee，E。；Zheng，H.，混合系统的操作语义，（Morari，M.；Thiele，L.，hybrid systems:Computation and Control。hybrid-systems:Calculation and Control，Leech Notes in Computer Science，vol.3414（2005），Springer:Springer Berlin，Heidelberg），25-53·Zbl 1078.93535号 [50] Edalat，A。；Pattinson，D.，《混合自动机的指称语义》，（Aceto，L.；Ingólfsdóttir，A.，《软件科学和计算结构基础》，软件科学与计算结构基础，计算机科学讲义，第3921卷（2006），Springer:Springer Berlin，Heidelberg），231-245·Zbl 1168.68417号 [51] O.布瓦索。；Martel，M.，《混合系统的混合指称语义》，（Drossopoulou，S.，《编程语言和系统》，《程序语言和系统，计算机科学讲义》，第4960卷（2008），施普林格：施普林格柏林，海德堡），63-77·Zbl 1133.68369号 [52] Schrammel，P。；Jeannet，B.，《从混合数据流语言到混合自动机：一个完整的翻译》，（第15届ACM混合系统国际会议论文集：计算与控制（2012），ACM），167-176·Zbl 1362.68184号 [53] Benveniste，A。；凯劳德，B。；Pouzet，M.，《混合系统建模者的基本原理》，（2010年第49届IEEE决策与控制会议（CDC）（2010年），IEEE），4180-4185 [54] Bliudze，S。；Furic，S.，《涉及行为抽象的混合系统的操作语义》（第十届国际Modelica会议论文集，Linköping Electronic Conferences Proceedings（2014），Linkóping University Electronics Press:Linkö），693-706 [55] Bliudze，S。；Krob，D.，《复杂系统建模：作为数据流机器的系统》，基金会。通知。，91, 2, 251-274 (2009) ·Zbl 1176.68081号 [56] 苏埃纳加，K。；Sekine，H。；Hasuo，I.，超流处理系统：连续时间信号的非标准建模，（ACM SIGPLAN通知，第48卷（2013），ACM），417-430·Zbl 1301.68105号 [57] Moore，R.E.，《区间分析》，第4卷（1966年），《普伦蒂斯·霍尔：普伦蒂斯霍尔·恩格尔伍德悬崖》·Zbl 0176.13301号 [58] Jaulin，L.，《应用区间分析：参数和状态估计示例、鲁棒控制和机器人学》，第1卷（2001年），Springer Science&Business Media·Zbl 1023.65037号 [59] 摩尔，R.E。；Kearfott，R.B。；Cloud，M.J.，《区间分析导论》（2009），工业和应用数学学会：美国宾夕法尼亚州费城工业和应用数学家学会·兹比尔1168.65002 [60] Tucker，W.，《验证数值，严格计算简介》（2011），普林斯顿大学出版社：普林斯顿大学出版，新泽西州普林斯顿·Zbl 1231.65077号 [62] 弗雷斯，G。；Le Guernic，C。；A.Donze。；棉花，S。；雷·R。；O.勒贝特尔。；Ripado，R。；Girard，A。；Dang，T。；Maler，O.，SpaceEx:混合系统的可扩展验证，（计算机辅助验证。计算机辅助验证，计算机科学讲义，第6806卷（2011年），施普林格：施普林格-海德堡），379-395 [63] 阿尔托夫，M。；Krogh，B.H.，《在混合系统可达性分析中避免几何交叉操作》，（第15届ACM混合系统国际会议论文集：计算与控制。第15届AC混合系统国际大会论文集：计算机与控制，HSCC’12（2012），ACM：美国纽约州纽约市ACM）， 45-54 ·Zbl 1362.93012号 [64] 陈，X。；亚伯拉罕·E。；Sankaranarayanan，S.，非线性混合系统的Taylor模型流管构建，（2012年IEEE第33届实时系统研讨会论文集。2012年IEEE第33届即时系统会议论文集，RTSS’12（2012），IEEE计算机学会：IEEE计算机协会，美国华盛顿特区），183-192 [65] Ramdani，N。；Nedialkov，N.S.，使用区间约束传播技术计算不确定非线性混合系统的可达集，非线性分析。混合系统。，5, 2, 149-162 (2011) ·Zbl 1225.93026号 [67] Makino，K。；Berz，M.，Cosy无穷大版本9，Nucl。仪器。方法物理学。决议A，558，1，346-350（2006） [68] Edalat，A。；帕丁森，D.，皮卡德定理的领域理论解释，LMS J.计算。数学。，10, 83-118 (2007) ·Zbl 1112.65065号 [71] 或者，Y。；Ames，A.D.，拉格朗日混合系统中零平衡点的稳定性和完备性，IEEE Trans。自动化。控制，561322-1336（2011）·Zbl 1368.93476号 [72] Asarin，E。；当，T。；马勒，O。；Testylier，R.，《使用冗余约束进行细化》（自动化验证和分析技术（2010），施普林格出版社），37-51·Zbl 1305.68117号 [73] 卡尔森，B。；Gupta，V.，混合CC和区间约束，（Henzinger，T.A.；Sastry，S.，混合系统98：计算和控制。混合系统98：计算和控制，计算机科学讲义，第1386卷（1998年），Springer Verlag），80-94 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。