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):
Displayed 20 items.
- Set membership state and parameter estimation for systems described by nonlinear differential equations (Q705483) (← links)
- Verified integration of linear \(n\)th order ODEs using large steps (Q876676) (← links)
- Rigorous parameter reconstruction for differential equations with noisy data (Q999062) (← links)
- One-step 5-stage Hermite-Birkhoff-Taylor ODE solver of order 12 (Q1021649) (← links)
- Tightened reachability constraints for the verification of linear hybrid systems (Q1026401) (← links)
- One-step 9-stage Hermite-Birkhoff-Taylor ODE solver of order 10 (Q1034975) (← links)
- Construction of two-sided bounds for initial-boundary value problems (Q1612456) (← links)
- Some recent advances in validated methods for IVPs for ODEs (Q1612462) (← links)
- Performance of the Taylor series method for ODEs/DAEs (Q1774860) (← links)
- Stability problems for the mathematical pendulum (Q2377654) (← 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)
- 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)
- 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)
- OPTIMAL INVESTMENT STRATEGY VIA INTERVAL ARITHMETIC (Q4675932) (← links)
- A Hybrid Denotational Semantics for Hybrid Systems (Q5458386) (← links)