彼得·柯林斯;亚历山大·戈德斯特恩 非线性动力系统可达性分析的可达进化算法。 (英语) 兹比尔1337.93018 Halava,Vesa(编辑)等人,计算模型可达性问题第二次研讨会论文集(RP 2008),英国利物浦,2008年9月15日至17日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记22387-102(2008)。 摘要:本文介绍了一种用于非线性动力系统严格可达性分析的新算法。该算法首先在离散时间动态系统的背景下提出,然后扩展到由常微分方程驱动的连续时间动态系统。在连续时间内,该算法称为到达和进化算法。Reach and Evolve算法基于区间分析和严格的空间和时间离散化。给出了有希望的数值实验。关于整个系列,请参见[Zbl 1279.68014号]. 引用于7文件 MSC公司: 93个B03 可达集,可达性 34A34飞机 非线性常微分方程和系统 39甲12 分析主题的离散版本 65G40型 区间分析的一般方法 关键词:可达性分析;非线性动力系统;区间分析 软件:阿里阿德涅;国际实验室;个体经营者;个人资料/偏差;数学软件;HSolver公司 PDF格式BibTeX公司 XML格式引用 \textit{P.Collins}和\textit{A.Goldsztejn},电子。注释Theor。计算。科学。223、87-102(2008年;Zbl 1337.93018) 全文: 内政部 参考文献: [1] Alefeld,G.和J.Herzberger,《区间计算导论》,计算机科学和应用数学,1974年;Alefeld,G.和J.Herzberger,《区间计算导论》,计算机科学和应用数学,1974年·Zbl 0552.65041号 [2] Benvenuti,L.,D.Bresolin,A.Casagrande,P.Collins,A.Ferrari,E.Mazzi,A.Sangiovanni-Vincentelli和T.Villa,带ariadne的混合系统可达性计算,见:第17届国际会计师联合会世界大会会议记录; Benvenuti,L.,D.Bresolin,A.Casagrande,P.Collins,A.Ferrari,E.Mazzi,A.Sangiovanni-Vincentelli和T.Villa,带ariadne的混合系统可达性计算,见:第17届国际会计师联合会世界大会会议记录 [3] Collins,P.,可达集的连续性和可计算性,Theor。计算。科学。,341, 162-195 (2005) ·Zbl 1154.93351号 [4] Collins,P.,可达集和不变集的最优半可计算近似,理论计算。系统。,41, 33-48 (2007) ·兹比尔1118.93320 [5] Goldberg,D.,《每个计算机科学家应该了解的浮点运算》,《计算调查》,第23期,第5-48页(1991年) [6] Goldsztejn,A.和W.Hayes,初值不确定初值问题解集的可靠内逼近2006年SCAN会议记录; Goldsztejn,A.和W.Hayes,初值不确定初值问题解集的可靠内逼近2006年SCAN会议记录 [7] Hayes,B.,《清醒的时间间隔》,《美国科学家》,91,484-488(2003) [8] Jaulin,L。;Kieffer,M。;Didrit,O。;Walter,E.,《参数和状态估计应用区间分析示例》,鲁棒控制和机器人学(2001),Springer-Verlag·Zbl 1023.65037号 [9] 克努佩尔,O.,PROFIL/BIAS-快速区间库,计算,53277-287(1994)·Zbl 0808.65055号 [10] Kühn,W.,《没有包裹效应的动力系统严格计算轨道》,《计算》,61,47-67(1998)·Zbl 0910.65052号 [11] Kurzhanski,A.B。;Varaiya,P.,关于可达性分析的椭球技术。I.外部近似,Optim。方法软件。,17, 177-206 (2002) ·Zbl 1017.93008号 [12] Lohner,R.,《封闭一般初值和边值问题的解》,(计算机算术:科学计算和编程语言。计算机算法:科学计算与编程语言,计算机科学中的Wiley-Teubner系列(1987)),255-286,斯图加特 [13] Makino,K。;Berz,M.,基于泰勒模型的验证积分器对包裹效应的抑制:通过预处理实现长期稳定,国际微分方程与应用杂志,10,353-384(2005)·Zbl 1133.65045号 [14] Moore,R.,区间分析(1966),Prentice Hall·Zbl 0176.13301号 [15] Nedialkov,N.S。;Jackson,K.R。;Corliss,G.F.,常微分方程初值问题的验证解,应用数学与计算,105,21-68(1999)·Zbl 0934.65073号 [16] Neumaier,A.,《方程组的区间方法》(1990),剑桥大学出版社·Zbl 2009年6月7日 [17] Ratschan,S。;She,Z.,《混合系统验证中连续可达性的限制》,(第八届国际人工智能与符号计算机会议,第八届国家人工智能与信号计算机会议,AISC’2006)。程序。第八届国际艺术品博览会。智力。和Symb。公司。。程序。第八届国际艺术品博览会。智力。和Symb。公司。,AISC’2006,LNCS,编号4120(2006)),196-210·Zbl 1156.68476号 [18] Ratschan,S。;She,Z.,通过基于约束传播的抽象求精对混合系统进行安全验证,嵌入式计算系统中的ACM事务,6(2007) [19] Ratschan,S.和Z.She,混合系统验证中的递归和反向推理第五届控制、自动化和机器人信息学国际会议论文集; Ratschan,S.和Z.She,混合系统验证中的递归和反向推理第五届控制、自动化和机器人信息学国际会议论文集 [20] Rump,S.M.,INTLAB-Interval Laboratory,(Csendes,T.,《可靠计算的发展》(1999),Kluwer),77104·Zbl 0949.65046号 [21] Wolfram Research公司,Mathematica;Wolfram Research公司,Mathematica [22] Zgliczynski,P.,(C^1)-洛纳算法,计算数学基础,2429-465(2002)·Zbl 1049.65038号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。