A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations
From MaRDI portal
Publication:4785844
DOI10.1137/S0036142901392316zbMath1032.65069OpenAlexW2006431071MaRDI QIDQ4785844
Pascal Van Hentenryck, Yves Deville, Micha Janssen
Publication date: 5 January 2003
Published in: SIAM Journal on Numerical Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/s0036142901392316
ordinary differential equationsuncertain datainterval methodsglobal relaxationconstraint satisfaction approach
Nonlinear ordinary differential equations and systems (34A34) General methods in interval analysis (65G40) Numerical methods for initial value problems involving ordinary differential equations (65L05)
Related Items
Validated solutions of initial value problems for parametric ODEs, Determination of inner and outer bounds of reachable sets through subpavings, Computing reachable sets for uncertain nonlinear monotone systems
Uses Software