The following pages link to (Q4885375):
Displayed 18 items.
- 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)
- Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations (Q721909) (← links)
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line (Q778220) (← links)
- Some recent advances in validated methods for IVPs for ODEs (Q1612462) (← links)
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (Q1733758) (← links)
- Validated solutions of initial value problems for ordinary differential equations (Q1805854) (← 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)
- Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs (Q2351531) (← links)
- On interval predictor-corrector methods (Q2407871) (← links)
- Interval versions of Milne's multistep methods (Q2413491) (← links)
- Interval schemes for singularly perturbed initial value problems (Q2484028) (← links)
- Validated solutions of initial value problems for parametric ODEs (Q2643834) (← links)
- Verified Solution Method for Population Epidemiology Models with Uncertainty (Q2930567) (← links)
- Stable Set-Valued Integration of Nonlinear Dynamic Systems using Affine Set-Parameterizations (Q3195246) (← links)
- ABS: A formally correct software tool for space-efficient symbolic synthesis (Q6120714) (← links)