Pages that link to "Item:Q1805854"

The following pages link to Validated solutions of initial value problems for ordinary differential equations (Q1805854):

Displaying 50 items.

• A database of rigorous and high-precision periodic orbits of the Lorenz model (Q312809) (← links)
• A posteriori error bounds for two point boundary value problems: a Green's function approach (Q317173) (← links)
• Uncertainty propagation or box propagation (Q409963) (← links)
• Status of the differential transformation method (Q449462) (← links)
• Branch-and-lift algorithm for deterministic global optimization in nonlinear optimal control (Q467420) (← links)
• A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability (Q475431) (← 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)
• Breaking the limits: The Taylor series method (Q548357) (← links)
• A constant enclosure method for validating existence and uniqueness of the solution of an initial value problem for a fractional differential equation (Q606751) (← links)
• Generalized McCormick relaxations (Q656963) (← links)
• Fixed points of a destabilized Kuramoto-Sivashinsky equation (Q669365) (← links)
• Set membership state and parameter estimation for systems described by nonlinear differential equations (Q705483) (← links)
• Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations (Q721909) (← links)
• Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information (Q739977) (← links)
• Verified integration of linear \(n\)th order ODEs using large steps (Q876676) (← links)
• Probability bounds analysis for nonlinear population ecology models (Q899221) (← links)
• Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
• A one-step 7-stage Hermite-Birkhoff-Taylor ODE solver of order 11 (Q964941) (← links)
• A new framework for sharp and efficient resolution of NCSP with manifolds of solutions (Q968347) (← links)
• Computing reachable sets for uncertain nonlinear monotone systems (Q988783) (← 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)
• An improved algorithm for the control synthesis of nonlinear sampled switched systems (Q1620955) (← links)
• Convergent power series of \(\operatorname{sech}(x)\) and solutions to nonlinear differential equations (Q1656168) (← links)
• An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (Q1733758) (← links)
• Performance of the Taylor series method for ODEs/DAEs (Q1774860) (← links)
• A numerical algorithm for solving higher-order nonlinear BVPs with an application on fluid flow over a shrinking permeable infinite long cylinder (Q1791069) (← links)
• Event-triggered interval-based state estimator for continuous-time linear systems (Q2094998) (← links)
• Optimization-based convex relaxations for nonconvex parametric systems of ordinary differential equations (Q2097651) (← links)
• Modeling the uncertainty in epidemiological models through interval analysis considering actual data from two municipalities in Colombia affected by dengue (Q2110162) (← links)
• Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives (Q2123411) (← links)
• Lie symmetries applied to interval integration (Q2166013) (← links)
• Interval methods of Adams-Bashforth type with variable step sizes (Q2181676) (← links)
• Interval versions for special kinds of explicit linear multistep methods (Q2211256) (← links)
• Analytic reconstruction of some dynamical systems (Q2284023) (← links)
• Stepsize selection in the rigorous defect control of Taylor series methods (Q2291989) (← links)
• Sparse regression Chebyshev polynomial interval method for nonlinear dynamic systems under uncertainty (Q2294778) (← links)
• Parameter range reduction from partial data in systems of differential algebraic equations (Q2297179) (← links)
• Systematic computer assisted proofs of periodic orbits of Hamiltonian systems (Q2300177) (← links)
• Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities (Q2307740) (← links)
• Truncation bounds for differentially finite series (Q2323059) (← links)
• 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)