Validated solutions of initial value problems for parametric ODEs
From MaRDI portal
Publication:2643834
Recommendations
- Validated solutions of initial value problems for ordinary differential equations
- scientific article; zbMATH DE number 4211403
- Validated computations for fundamental solutions of linear ordinary differential equations
- Computing validated solutions of implicit differential equations
- Initial value problems for ODEs in problem solving environments
- scientific article; zbMATH DE number 3997058
- The parametric solution of underdetermined linear ODEs
- Validated continuation over large parameter ranges for equilibria of PDEs
- scientific article; zbMATH DE number 5679814
- Boundary-value problems for parametric ordinary differential equations
Cites work
- A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations
- Advances in interval methods for deterministic global optimization in chemical engineering
- An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
- Bounding the Solutions of Parameter Dependent Nonlinear Ordinary Differential Equations
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- Deterministic Nonperiodic Flow
- Efficient control of the dependency problem based on Taylor model methods
- Global solution of optimization problems with parameter-embedded linear dynamic systems.
- scientific article; zbMATH DE number 1595639 (Why is no real title available?)
- scientific article; zbMATH DE number 992811 (Why is no real title available?)
- scientific article; zbMATH DE number 4084894 (Why is no real title available?)
- scientific article; zbMATH DE number 3738830 (Why is no real title available?)
- scientific article; zbMATH DE number 2035082 (Why is no real title available?)
- scientific article; zbMATH DE number 3994869 (Why is no real title available?)
- scientific article; zbMATH DE number 1916891 (Why is no real title available?)
- scientific article; zbMATH DE number 903761 (Why is no real title available?)
- scientific article; zbMATH DE number 1440924 (Why is no real title available?)
- scientific article; zbMATH DE number 3281219 (Why is no real title available?)
- On Taylor Model Based Integration of ODEs
- Rigorous global search: continuous problems
- Some recent advances in validated methods for IVPs for ODEs
- Suppression of the wrapping effect by Taylor model-based verified integrators: long-term stabilization by preconditioning
- Taylor forms -- use and limits.
- Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
- Validated solutions of initial value problems for ordinary differential equations
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
Cited in
(56)- An improved algorithm for the control synthesis of nonlinear sampled switched systems
- Chebyshev model arithmetic for factorable functions
- Global optimization in Hilbert space
- Properties of interval-valued function space under the gH-difference and their application to semi-linear interval differential equations
- Convex and concave relaxations for the parametric solutions of semi-explicit index-one differential-algebraic equations
- Use of shrink wrapping for interval Taylor models in algorithms of computer-assisted proof of the existence of periodic trajectories in systems of ordinary differential equations
- Optimization-based convex relaxations for nonconvex parametric systems of ordinary differential equations
- Modeling the uncertainty in epidemiological models through interval analysis considering actual data from two municipalities in Colombia affected by dengue
- Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models
- Stepsize selection in the rigorous defect control of Taylor series methods
- Sparse regression Chebyshev polynomial interval method for nonlinear dynamic systems under uncertainty
- Parameter range reduction from partial data in systems of differential algebraic equations
- Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs
- Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities
- A higher order method for input-affine uncertain systems
- Efficient polyhedral enclosures for the reachable set of nonlinear control systems
- Exact sampling of a linear interval predictor
- Reachability analysis and deterministic global optimization of DAE models
- Nonlinear convex and concave relaxations for the solutions of parametric ODEs
- Interval uncertain method for multibody mechanical systems using Chebyshev inclusion functions
- Dynamic global optimization methods for determining guaranteed solutions in chemical engineering
- Verified Solution of Nonlinear Dynamic Models in Epidemiology
- Stable set-valued integration of nonlinear dynamic systems using affine set-parameterizations
- Dynamics of spatial rigid-flexible multibody systems with uncertain interval parameters
- Convergence analysis of Taylor models and McCormick-Taylor models
- Uncertainty propagation or box propagation
- scientific article; zbMATH DE number 2084729 (Why is no real title available?)
- Sensitivity analysis of uncertain dynamic systems using set-valued integration
- Branch-and-lift algorithm for deterministic global optimization in nonlinear optimal control
- Validated computation of the local truncation error of Runge-Kutta methods with automatic differentiation
- A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations
- Multi-criteria interval optimization of conditions for complex chemical reactions on the basis of a kinetic model
- scientific article; zbMATH DE number 5679814 (Why is no real title available?)
- Global optimization of mixed-integer ODE constrained network problems using the example of stationary gas transport
- Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis
- Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs
- A constant enclosure method for validating existence and uniqueness of the solution of an initial value problem for a fractional differential equation
- A polynomial chaos expansion approach for nonlinear dynamic systems with interval uncertainty
- Towards an automatic uncertainty compiler
- Verified solution method for population epidemiology models with uncertainty
- An interval uncertainty propagation method using polynomial chaos expansion and its application in complicated multibody dynamic systems
- Validated B-series and Runge-Kutta pairs
- Generalized McCormick relaxations
- Convergence-order analysis for differential-inequalities-based bounds and relaxations of the solutions of ODEs
- A kinematic smoothing method for tightening convex relaxations of ordinary differential equations
- Offline and online use of interval and set-based approaches for control and state estimation: a selection of methodological approaches and their application
- Symbolic computation of local truncation error for approximate B-series-based validated simulation
- An improved polynomial chaos-Legendre metamodel method for hybrid uncertainty analysis of flexible multibody systems
- Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations
- Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information
- Towards global bilevel dynamic optimization
- Error bounds for initial value problems by optimization
- Probability bounds analysis for nonlinear population ecology models
- Rigorous parameter reconstruction for differential equations with noisy data
This page was built for publication: Validated solutions of initial value problems for parametric ODEs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2643834)
