Pages that link to "Item:Q1805854"
From MaRDI portal
The following pages link to Validated solutions of initial value problems for ordinary differential equations (Q1805854):
Displaying 49 items.
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis (Q2346283) (← links)
- Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs (Q2351531) (← links)
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems (Q2374566) (← links)
- Stability problems for the mathematical pendulum (Q2377654) (← links)
- On interval predictor-corrector methods (Q2407871) (← links)
- Interval versions of Milne's multistep methods (Q2413491) (← links)
- A new class of efficient one-step contractivity preserving high-order time discretization methods of order 5 to 14 (Q2413502) (← links)
- Bracketing the solutions of an ordinary differential equation with uncertain initial conditions (Q2422853) (← links)
- Contractivity-preserving explicit Hermite-Obrechkoff ODE solver of order 13 (Q2446760) (← links)
- Necessary and sufficient condition for the global stability of a delayed discrete-time single neuron model (Q2513915) (← links)
- Solving differential-algebraic equations by Taylor series. I: Computing Taylor coefficients (Q2583159) (← links)
- Validated solutions of initial value problems for parametric ODEs (Q2643834) (← links)
- Design of high-gain observers based on sampled measurements via the interval arithmetic (Q2665381) (← links)
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← links)
- Exact sampling of a linear interval predictor (Q2789978) (← links)
- Reachability Analysis and Deterministic Global Optimization of DAE Models (Q2795640) (← links)
- Computing Capture Tubes (Q2803603) (← links)
- Nonlinear convex and concave relaxations for the solutions of parametric ODEs (Q2857155) (← links)
- Adaptive threshold generation in robust fault detection using interval models: time-domain and frequency-domain approaches (Q2868148) (← links)
- Local stability implies global stability for the 2-dimensional Ricker map (Q2869925) (← links)
- Verified Solution Method for Population Epidemiology Models with Uncertainty (Q2930567) (← links)
- Interval uncertain method for multibody mechanical systems using Chebyshev inclusion functions (Q2952325) (← links)
- Verified Solution of Nonlinear Dynamic Models in Epidemiology (Q3006992) (← links)
- Capture basin approximation using interval analysis (Q3008834) (← links)
- Towards rigorous robust optimal control via generalized high-order moment expansion (Q3176438) (← links)
- Towards Using Exact Real Arithmetic for Initial Value Problems (Q3179168) (← links)
- Stable Set-Valued Integration of Nonlinear Dynamic Systems using Affine Set-Parameterizations (Q3195246) (← links)
- Proving the Correctness of the Implementation of a Control-Command Algorithm (Q3392923) (← links)
- A Domain-Theoretic Account of Picard's Theorem (Q3430832) (← links)
- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization (Q3523125) (← links)
- Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata (Q3523130) (← links)
- Guaranteed Characterization of Capture Basins of Nonlinear State-Space Systems (Q3564555) (← links)
- Controller design for nonlinear multi-input – multi-output systems based on an algorithmic plant description (Q3595298) (← links)
- Prädiktor‐Korrektor‐Verfahren mit Lösungseinschließung (Q4268697) (← links)
- Sensitivity Analysis of Uncertain Dynamic Systems Using Set-Valued Integration (Q4600003) (← links)
- OPTIMAL INVESTMENT STRATEGY VIA INTERVAL ARITHMETIC (Q4675932) (← links)
- Validated computation of the local truncation error of Runge–Kutta methods with automatic differentiation (Q4685566) (← links)
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems (Q4982088) (← links)
- An interval version of the Kuntzmann-Butcher method for solving the initial value problem (Q5076625) (← links)
- Set-Membership Computation of Integrals with Uncertain Endpoints (Q5122284) (← links)
- (Q5188265) (← links)
- Global Optimization of Mixed-Integer ODE Constrained Network Problems Using the Example of Stationary Gas Transport (Q5203796) (← links)
- Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis (Q5240156) (← links)
- A Hybrid Denotational Semantics for Hybrid Systems (Q5458386) (← links)
- A polynomial chaos expansion approach for nonlinear dynamic systems with interval uncertainty (Q6132382) (← links)
- Towards an automatic uncertainty compiler (Q6178702) (← links)
- An interval uncertainty propagation method using polynomial chaos expansion and its application in complicated multibody dynamic systems (Q6543301) (← links)
- Validated B-series and Runge-Kutta pairs (Q6559441) (← links)
- Computation of feedback control laws based on switched tracking of demonstrations (Q6669736) (← links)
