Pages that link to "Item:Q2643834"

The following pages link to Validated solutions of initial value problems for parametric ODEs (Q2643834):

Displaying 49 items.

• Efficient polyhedral enclosures for the reachable set of nonlinear control systems (Q276023) (← links)
• Dynamics of spatial rigid-flexible multibody systems with uncertain interval parameters (Q332777) (← links)
• Convergence analysis of Taylor models and McCormick-Taylor models (Q367158) (← links)
• Uncertainty propagation or box propagation (Q409963) (← links)
• Branch-and-lift algorithm for deterministic global optimization in nonlinear optimal control (Q467420) (← links)
• Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs (Q534256) (← 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)
• Convergence-order analysis for differential-inequalities-based bounds and relaxations of the solutions of ODEs (Q670661) (← 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)
• Towards global bilevel dynamic optimization (Q842715) (← links)
• Error bounds for initial value problems by optimization (Q889871) (← links)
• Probability bounds analysis for nonlinear population ecology models (Q899221) (← links)
• Rigorous parameter reconstruction for differential equations with noisy data (Q999062) (← links)
• An improved algorithm for the control synthesis of nonlinear sampled switched systems (Q1620955) (← links)
• Chebyshev model arithmetic for factorable functions (Q1675562) (← links)
• Global optimization in Hilbert space (Q1717227) (← links)
• Properties of interval-valued function space under the gH-difference and their application to semi-linear interval differential equations (Q1796472) (← links)
• Convex and concave relaxations for the parametric solutions of semi-explicit index-one differential-algebraic equations (Q1949566) (← links)
• 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 (Q2019639) (← 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)
• Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models (Q2280412) (← 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)
• Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities (Q2307740) (← links)
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
• Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs (Q2351531) (← links)
• Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities (Q2665719) (← links)
• A higher order method for input-affine uncertain systems (Q2677088) (← links)
• Exact Sampling of a Linear Interval Predictor (Q2789978) (← links)
• Reachability Analysis and Deterministic Global Optimization of DAE Models (Q2795640) (← links)
• Nonlinear convex and concave relaxations for the solutions of parametric ODEs (Q2857155) (← links)
• Verified Solution Method for Population Epidemiology Models with Uncertainty (Q2930567) (← links)
• Interval uncertain method for multibody mechanical systems using Chebyshev inclusion functions (Q2952325) (← links)
• Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering (Q2958621) (← links)
• Verified Solution of Nonlinear Dynamic Models in Epidemiology (Q3006992) (← links)
• Stable Set-Valued Integration of Nonlinear Dynamic Systems using Affine Set-Parameterizations (Q3195246) (← links)
• Sensitivity Analysis of Uncertain Dynamic Systems Using Set-Valued Integration (Q4600003) (← links)
• Validated computation of the local truncation error of Runge–Kutta methods with automatic differentiation (Q4685566) (← links)
• Многокритериальная интервальная оптимизация химических реакций на основе кинетической модели (Q5043703) (← links)
• Global Optimization of Mixed-Integer ODE Constrained Network Problems Using the Example of Stationary Gas Transport (Q5203796) (← links)
• Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis (Q5240156) (← links)
• A polynomial chaos expansion approach for nonlinear dynamic systems with interval uncertainty (Q6132382) (← links)
• Towards an automatic uncertainty compiler (Q6178702) (← links)
• An interval uncertainty propagation method using polynomial chaos expansion and its application in complicated multibody dynamic systems (Q6543301) (← links)
• Validated B-series and Runge-Kutta pairs (Q6559441) (← links)