×

推导用于不确定动力系统分析的有效区间模拟的物理激励约束。 (英语) Zbl 1300.93103号

总结:区间算术技术,如ValEncIA-IVP公司允许计算具有初始条件和系统参数的有界不确定性的连续时间动力系统的所有可达状态的保证包围。考虑到在区间算法的初始实现中,过高估计可能会导致不必要的保守结果,适当的一致性测试对于获得尽可能紧密的封闭是至关重要的。在本文中,提出了基于物理激励守恒性质的约束使用的一般框架。在动力系统的验证仿真中使用这些约束提供了一个计算效率高的过程,它将状态封闭限制在具有物理意义的区域。将分支和修剪算法修改为基于这些约束的一致性测试。详细研究了两种应用场景。首先,总能量被用作机械系统分析的守恒性质。结果表明,能量等守恒性质适用于任何哈密顿系统。第二种方案基于解耦特性导出的约束,该特性用于人类血细胞动力学中粒细胞生成的高维分室模型。

MSC公司:

93立方厘米 信息不完整的控制/观测系统
37号35 控制中的动态系统
65G40型 区间分析的一般方法
93立方厘米 由常微分方程控制的控制/观测系统
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Bendsten,C.和Stating,O.(2007年)。FADBAD++,2.1版,网址:
[2] Boyd,S.、Gosh,A.和Magnani,A.(2003年)。分支和绑定方法,网址:
[3] Clausen,J.(1999)。分支和绑定算法:原理和示例,网址:
[4] de Figueiredo,L.H.、van Iwaarden,R.和Stolfi,J.(1997)。利用仿射算法实现无约束全局优化的快速区间分枝定界方法,技术报告IC-97-08,巴西坎皮纳斯大学计算研究所。
[5] Hofer,E.P.、Fan,Y.和Tibken,B.(1991a)。基于模型估计粒细胞生成的规则提取,M.Frik,第五届德国-日本动态系统非线性问题研讨会-理论与应用,Daun,Vulkaneifel,第58-68页。
[6] Hofer,E.P.、Tibken,B.和Fliedner,T.M.(1991b)。现代控制理论作为描述粒细胞生成的生物数学模型的工具,载于D.Möller和O.Richter,《Medizin中的分析动力学系统》,Biologie,Økologie,第275卷,柏林斯普林格-Verlag,第33-39页。
[7] Kearfott,R.B.(1992年)。边界约束优化问题的区间分枝定界算法,全局优化杂志2(3):259-280·Zbl 0760.90085号 ·doi:10.1007/BF00171829
[8] Keil,C.(2007)。Profile/Bias,2.0.4版,可从以下网站获得:
[9] Maschke,B.M.和van der Schaft,A.J.(2000)。分布参数系统的端口控制哈密顿表示,见N.E.Leonard和R.Ortega,IFAC非线性控制拉格朗日和哈密顿方法研讨会论文集,美国新泽西州普林斯顿,第28-38页。
[10] Moore,R.E.(1964年)。《数字计算中的误差,误差的自动分析和控制》,John Wiley&Sons,纽约州纽约市。
[11] Nedialkov,N.S.(2007年)。ODE和DAE的间隔工具,第十二届GAMM-IMACS科学计算、计算机算术和验证数值SCAN 2006国际研讨会的光盘会议记录,德国杜伊斯堡,IEEE计算机学会,加利福尼亚州洛斯阿拉米托斯。
[12] Pfeiffer,F.和Reithmeier,E.(1987年)。Robotedynamic,Teubner,斯图加特(德语)。
[13] Rauh,A.(2008)。理论与安文敦-冯-Intervall-methoden für Analyse und Entwurf robuster und optimier Regelungen dynamicscher Systeme,Fortschritt-Berichte VDI,Reihe 8,Nr.1148,乌尔姆大学博士论文(德语)。
[14] Rauh,A.、Auer,E.和Hofer,E.P.(2007年)。ValEncIA-IVP:与其他初值问题求解者的比较,第12届GAMM-IMACS科学计算、计算机算术和验证数值SCAN 2006国际研讨会光盘,德国杜伊斯堡,IEEE计算机学会,加利福尼亚州洛斯阿拉米托斯。
[15] Rauh,A.、Brill,M.和Günther,C.(2009年)。用ValEncIA-IVP求解微分代数方程的新型区间算法,国际应用数学与计算机科学杂志19(3):381-397·Zbl 1300.93075号 ·doi:10.2478/v10006-009-0032-4
[16] Singer,A.B.和Barton,P.I.(2006年)。限制参数相关非线性常微分方程的解,SIAM科学计算杂志27(6):2167-2182·Zbl 1111.34030号 ·电话:10.1137/040604388
[17] 《美国传统医学词典》(2007)。Houghton Mifflin公司,马萨诸塞州波士顿。
[18] van der Schaft,A.J.(2005)。物理系统的网络建模和控制,端口哈密顿系统的DISC理论,网址:
[19] van der Schaft,A.J.和Maschke,B.M.J.(2003)。Port-Hamiltonian系统:复杂物理系统建模、仿真和控制理论,网址:
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。