An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
From MaRDI portal
Publication:1597634
Recommendations
Cited in
(31)- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Interval observer design based on nonlinear hybridization and practical stability analysis
- Status of the differential transformation method
- Generalized Hukuhara differentiability of interval-valued functions and interval differential equations
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
- A study of rigorous ODE integrators for multi-scale set-oriented computations
- Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs
- Domain theoretic second-order Euler's method for solving initial value problems
- Verified Solution of Nonlinear Dynamic Models in Epidemiology
- Verified integration of linear \(n\)th order ODEs using large steps
- Towards an automatic uncertainty compiler
- Properties of boundary-layer flow solutions for non-Newtonian fluids with non-linear terms of first and second-order derivatives
- Set membership state and parameter estimation for systems described by nonlinear differential equations
- A topological approach to the algorithmic computation of the Conley index for Poincaré maps
- Recursive solution of initial value problems with temporal discretization
- Probability bounds analysis for nonlinear population ecology models
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
- Determination of inner and outer bounds of reachable sets through subpavings
- Towards global bilevel dynamic optimization
- Properties of interval-valued function space under the gH-difference and their application to semi-linear interval differential equations
- Validated solutions of initial value problems for parametric ODEs
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
- Verified solution method for population epidemiology models with uncertainty
- Computing reachable sets for uncertain nonlinear monotone systems
- Optimal input design for parameter estimation in a bounded-error context for nonlinear dynamical systems
- Multi-criteria interval optimization of conditions for complex chemical reactions on the basis of a kinetic model
- Rigorous parameter reconstruction for differential equations with noisy data
- Some recent advances in validated methods for IVPs for ODEs
- Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs
- Boundary value problems for interval-valued differential equations on unbounded domains
This page was built for publication: An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1597634)
