Pages that link to "Item:Q1000244"
From MaRDI portal
The following pages link to A Lohner-type algorithm for control systems and ordinary differential inclusions (Q1000244):
Displaying 21 items.
- Efficient polyhedral enclosures for the reachable set of nonlinear control systems (Q276023) (← links)
- A study of rigorous ODE integrators for multi-scale set-oriented computations (Q289025) (← links)
- Stabilizing effect of large average initial velocity in forced dissipative PDEs invariant with respect to Galilean transformations (Q306244) (← links)
- Beyond the Melnikov method: A computer assisted approach (Q338453) (← links)
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I (Q461203) (← links)
- Fixed points of a destabilized Kuramoto-Sivashinsky equation (Q669365) (← links)
- Hyperbolicity and averaging for the Srzednicki-Wójcik equation (Q729932) (← links)
- An improved algorithm for the control synthesis of nonlinear sampled switched systems (Q1620955) (← links)
- Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
- On rigorous integration of continuous piecewise linear systems (Q2074155) (← links)
- Lie symmetries applied to interval integration (Q2166013) (← links)
- A higher order method for input-affine uncertain systems (Q2677088) (← links)
- Computing Capture Tubes (Q2803603) (← links)
- Computing Reachable Sets of Differential Inclusions (Q4560621) (← links)
- Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model (Q4571153) (← links)
- Rigorous FEM for One-Dimensional Burgers Equation (Q5004526) (← links)
- Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof (Q5249807) (← links)
- Computer-Assisted Proof of Shil'nikov Homoclinics: With Application to the Lorenz-84 Model (Q5349315) (← links)
- A verified method for solving piecewise smooth initial value problems (Q5409747) (← links)
- Computer-assisted validation of the existence of periodic orbit in the Brusselator system (Q6593389) (← links)
