Pages that link to "Item:Q5449035"
From MaRDI portal
The following pages link to On Taylor Model Based Integration of ODEs (Q5449035):
Displaying 38 items.
- Convergence analysis of Taylor models and McCormick-Taylor models (Q367158) (← links)
- Improved relaxations for the parametric solutions of ODEs using differential inequalities (Q367169) (← links)
- Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis (Q368576) (← links)
- Interval bounds on the solutions of semi-explicit index-one DAEs. II: Computation (Q368577) (← links)
- VERICOMP: A system to compare and assess verified IVP solvers (Q411437) (← links)
- Status of the differential transformation method (Q449462) (← links)
- Polynomial function intervals for floating-point software verification (Q457251) (← links)
- Branch-and-lift algorithm for deterministic global optimization in nonlinear optimal control (Q467420) (← links)
- Determination of inner and outer bounds of reachable sets through subpavings (Q475437) (← links)
- Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs (Q534256) (← links)
- New enclosure algorithms for the verified solutions of nonlinear Volterra integral equations (Q636538) (← links)
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning (Q832173) (← links)
- Probability bounds analysis for nonlinear population ecology models (Q899221) (← links)
- Effective bounds for P-recursive sequences (Q992808) (← links)
- Chebyshev model arithmetic for factorable functions (Q1675562) (← links)
- Global optimization in Hilbert space (Q1717227) (← links)
- Adaptive interpolation algorithm based on a kd-tree for numerical integration of systems of ordinary differential equations with interval initial conditions (Q1798693) (← 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)
- Modeling the uncertainty in epidemiological models through interval analysis considering actual data from two municipalities in Colombia affected by dengue (Q2110162) (← links)
- Stepsize selection in the rigorous defect control of Taylor series methods (Q2291989) (← links)
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB (Q2291993) (← links)
- Optimal residuals and the Dahlquist test problem (Q2316635) (← links)
- Truncation bounds for differentially finite series (Q2323059) (← 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)
- Validated solutions of initial value problems for parametric ODEs (Q2643834) (← links)
- Design of high-gain observers based on sampled measurements via the interval arithmetic (Q2665381) (← links)
- Reachability Analysis and Deterministic Global Optimization of DAE Models (Q2795640) (← links)
- Verified Solution Method for Population Epidemiology Models with Uncertainty (Q2930567) (← links)
- Verified Solution of Nonlinear Dynamic Models in Epidemiology (Q3006992) (← links)
- Temporal Logic Verification for Delay Differential Equations (Q3179413) (← links)
- Stable Set-Valued Integration of Nonlinear Dynamic Systems using Affine Set-Parameterizations (Q3195246) (← links)
- Global Optimization of Mixed-Integer ODE Constrained Network Problems Using the Example of Stationary Gas Transport (Q5203796) (← links)
- Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems (Q5206959) (← links)
- Moment-based invariants for probabilistic loops with non-polynomial assignments (Q6103023) (← links)
- Reducing the truncation error in Taylor model multiplication (Q6618230) (← links)
- Exact and approximate moment derivation for probabilistic loops with non-polynomial assignments (Q6639407) (← links)
