论文信息 - Validated solution of ODEs with parametric uncertainties - 字舞流文

Validated solution of ODEs with parametric uncertainties

M. Stadtherr | Youdong Lin

[1] D. Dochain,et al. On-Line Estimation and Adaptive Control of Bioreactors , 2013 .

[2] Martin Berz,et al. Computational differentiation : techniques, applications, and tools , 1996 .

[3] Martin Berz,et al. 5. Remainder Differential Algebras and Their Applications , 1996 .

[4] Martin Berz,et al. Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models , 1998, Reliab. Comput..

[5] Nedialko S. Nedialkov,et al. Validated solutions of initial value problems for ordinary differential equations , 1999, Appl. Math. Comput..

[6] Martin Berz,et al. Efficient Control of the Dependency Problem Based on Taylor Model Methods , 1999, Reliab. Comput..

[7] John D. Pryce,et al. An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE , 2001, Reliab. Comput..

[8] Arnold Neumaier,et al. Taylor Forms—Use and Limits , 2003, Reliab. Comput..