Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
From MaRDI portal
Publication:1276129
DOI10.1023/A:1024467732637zbMath0976.65061MaRDI QIDQ1276129
Publication date: 17 January 1999
Published in: Reliable Computing (Search for Journal in Brave)
initial value problemsflowverified integrationwrapping effectdifferential algebraic methodshigh-order Taylor models
Implicit ordinary differential equations, differential-algebraic equations (34A09) Nonlinear ordinary differential equations and systems (34A34) Dynamics induced by flows and semiflows (37C10) Numerical methods for initial value problems involving ordinary differential equations (65L05) Numerical methods for differential-algebraic equations (65L80) Algorithms with automatic result verification (65G20) Numerical methods for Hamiltonian systems including symplectic integrators (65P10) Discretization methods and integrators (symplectic, variational, geometric, etc.) for dynamical systems (37M15)
Related Items
A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations, Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives, On higher-order differentiation in nonlinear mechanics, A study of rigorous ODE integrators for multi-scale set-oriented computations, Domain theoretic second-order Euler's method for solving initial value problems, A general method for computer-assisted proofs of periodic solutions in delay differential problems, Robust analysis of flatness based control using interval methods, Robust Fault Detection with a Distributed and Decentralized State-Set Observer, Verification of Hybrid Systems, Verified Simulation for Robustness Evaluation of Tracking Controllers, Temporal Logic Verification for Delay Differential Equations, Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP, Validated solutions of initial value problems for parametric ODEs, Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits, Guaranteed nonlinear parameter estimation in knowledge-based models, Lie symmetries applied to interval integration, A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP, Verified Solution Method for Population Epidemiology Models with Uncertainty, Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis, Evolutionary games and periodic fitness, Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs, Verified integration of linear \(n\)th order ODEs using large steps, Verified High-Order Integration of DAEs and Higher-Order ODEs, A rigorous implicit \(C^1\) Chebyshev integrator for delay equations, Numerical Computation of High-Order Expansions of Invariant Manifolds of High-Dimensional Tori, Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature, Rigorous and accurate enclosure of invariant manifolds on surfaces, Recursive solution of initial value problems with temporal discretization, Uncertainty propagation or box propagation, Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor, Probability bounds analysis for nonlinear population ecology models, Set-membership state estimation with fleeting data, Formally-verified round-off error analysis of Runge-Kutta methods, Change-of-bases abstractions for non-linear hybrid systems, Sensitivity Analysis of Uncertain Dynamic Systems Using Set-Valued Integration, Computation of maximal local (un)stable manifold patches by the parameterization method, An algorithm for computing a neighborhood included in the attraction domain of an asymptotically stable point, Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits, Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds, Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata, Status of the differential transformation method, Solving non-linear constraint satisfaction problems involving time-dependent functions, Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds, A certificate-based approach to formally verified approximations, Verified Solution of Nonlinear Dynamic Models in Epidemiology, Rigorous numerics for ODEs using Chebyshev series and domain decomposition, Guaranteed estimation of the parameters of nonlinear continuous-time models: Contributions of interval analysis, Interval observer design based on nonlinear hybridization and practical stability analysis, Capture basin approximation using interval analysis, SmartMOBILE and its Applications to Guaranteed Modeling and Simulation of Mechanical Systems, Complexity in a Hybrid van der Pol System, Reachability computation for polynomial dynamical systems, Automatic differentiation for Fourier series and the radii polynomial approach, Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs, Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties, Engineering constraint solvers for automatic analysis of probabilistic hybrid automata, 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, Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY, Challenges in Constraint-Based Analysis of Hybrid Systems, A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition, Computing reachable sets for uncertain nonlinear monotone systems, Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations, Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models, Reachability Analysis and Deterministic Global Optimization of DAE Models, Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems, Computing Capture Tubes, Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information, Sparse regression Chebyshev polynomial interval method for nonlinear dynamic systems under uncertainty, Using invariant manifolds to capture an asteroid near the \(L_3\) point of the Earth-Moon bicircular model, A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method, Efficient and accurate KAM tori construction for the dissipative spin-orbit problem using a map reduction, Rapid and accurate methods for computing whiskered tori and their manifolds in periodically perturbed planar circular restricted 3-body problems, Interval Methods for Optimal Control, Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants, Rigorous validation of stochastic transition paths, Adaptive threshold generation in robust fault detection using interval models: time-domain and frequency-domain approaches, Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs, Interval analysis on directed acyclic graphs for global optimization, Some recent advances in validated methods for IVPs for ODEs
