A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations

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

zbMATH Keywords

ordinary differential equationsuncertain datainterval methodsglobal relaxationconstraint satisfaction approach

Mathematics Subject Classification ID

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 (3)

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

• PROFIL/BIAS
• FADBAD++
• TADIFF
• Numerica

This page was built for publication: A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations