Pages that link to "Item:Q1597634"
From MaRDI portal
The following pages link to An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE (Q1597634):
Displayed 28 items.
- A study of rigorous ODE integrators for multi-scale set-oriented computations (Q289025) (← links)
- Status of the differential transformation method (Q449462) (← links)
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability (Q475431) (← links)
- Determination of inner and outer bounds of reachable sets through subpavings (Q475437) (← links)
- Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs (Q534256) (← links)
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (Q547885) (← links)
- Set membership state and parameter estimation for systems described by nonlinear differential equations (Q705483) (← links)
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line (Q778220) (← links)
- Towards global bilevel dynamic optimization (Q842715) (← links)
- Verified integration of linear \(n\)th order ODEs using large steps (Q876676) (← links)
- Probability bounds analysis for nonlinear population ecology models (Q899221) (← links)
- Computing reachable sets for uncertain nonlinear monotone systems (Q988783) (← links)
- Rigorous parameter reconstruction for differential equations with noisy data (Q999062) (← links)
- Generalized Hukuhara differentiability of interval-valued functions and interval differential equations (Q1026092) (← links)
- Some recent advances in validated methods for IVPs for ODEs (Q1612462) (← links)
- Optimal input design for parameter estimation in a bounded-error context for nonlinear dynamical systems (Q1642205) (← links)
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (Q1733758) (← links)
- Properties of interval-valued function space under the gH-difference and their application to semi-linear interval differential equations (Q1796472) (← links)
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives (Q2123411) (← links)
- Domain theoretic second-order Euler's method for solving initial value problems (Q2133471) (← links)
- Properties of boundary-layer flow solutions for non-Newtonian fluids with non-linear terms of first and second-order derivatives (Q2212085) (← links)
- Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs (Q2351531) (← links)
- Validated solutions of initial value problems for parametric ODEs (Q2643834) (← links)
- Verified Solution Method for Population Epidemiology Models with Uncertainty (Q2930567) (← links)
- Verified Solution of Nonlinear Dynamic Models in Epidemiology (Q3006992) (← links)
- Interval observer design based on nonlinear hybridization and practical stability analysis (Q3008832) (← links)
- A Topological Approach to the Algorithmic Computation of the Conley Index for Poincaré Maps (Q3192582) (← links)
- Многокритериальная интервальная оптимизация химических реакций на основе кинетической модели (Q5043703) (← links)