×

非线性动力系统可达性分析的可达进化算法。 (英语) 兹比尔1337.93018

Halava,Vesa(编辑)等人,计算模型可达性问题第二次研讨会论文集(RP 2008),英国利物浦,2008年9月15日至17日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记22387-102(2008)。
摘要:本文介绍了一种用于非线性动力系统严格可达性分析的新算法。该算法首先在离散时间动态系统的背景下提出,然后扩展到由常微分方程驱动的连续时间动态系统。在连续时间内,该算法称为到达和进化算法。Reach and Evolve算法基于区间分析和严格的空间和时间离散化。给出了有希望的数值实验。
关于整个系列,请参见[Zbl 1279.68014号].

MSC公司:

93个B03 可达集,可达性
34A34飞机 非线性常微分方程和系统
39甲12 分析主题的离散版本
65G40型 区间分析的一般方法
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。