Cosy

swMATH7711MaRDI QIDQ19728FDOQ19728

Author name not available (Why is that?)

Cited In (97)

• Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
• Reliable computation of robust response tori on the verge of breakdown
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
• The parameterization method for invariant manifolds. From rigorous results to effective computations
• A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB
• Higher-order sensitivity matrix method for probabilistic solution to uncertain Lambert problem and reachability set problem
• A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure
• Solving set-valued constraint satisfaction problems
• Title not available (Why is that?)
• Breaking the limits: The Taylor series method
• A validated real function calculus
• Verified High-Order Integration of DAEs and Higher-Order ODEs
• Interval uncertain method for multibody mechanical systems using Chebyshev inclusion functions
• Status of the differential transformation method
• An application of Taylor models to the Nakao method on ODEs
• On verified numerical computations in convex programming
• Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods
• Global Optimization of Interplanetary Transfers with Deep Space Maneuvers Using Differential Algebra
• Title not available (Why is that?)
• ADiJaC -- Automatic Differentiation of Java Classfiles
• Algorithm 852
• A study of rigorous ODE integrators for multi-scale set-oriented computations
• Title not available (Why is that?)
• Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations
• Analysis on the Levi-Civita field and computational applications
• Computing Reachable Sets of Differential Inclusions
• Collisional $N$-Body Numerical Integrator with Applications to Charged Particle Dynamics
• Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information
• Computational complexity and feasibility of data processing and interval computations
• Higher-order automatic differentiation of mathematical functions
• Dealing with uncertainties in angles-only initial orbit determination
• Numerical solution of a third-order nonlinear boundary-value problem by automatic differentiation
• Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
• Error bounds for initial value problems by optimization
• Deterministic global optimization for nonlinear model predictive control of hybrid dynamic systems
• Arbogast: Higher order automatic differentiation for special functions with Modular C
• High order transfer maps for perturbed Keplerian motion
• Tools to detect structures in dynamical systems using jet transport
• Rigorous and accurate enclosure of invariant manifolds on surfaces
• Application of high order expansions of two-point boundary value problems to astrodynamics
• Gravity assist space pruning based on differential algebra
• Propagation of large uncertainty sets in orbital dynamics by automatic domain splitting
• Interval computations, rigour and non-rigour in deterministic continuous global optimization
• Interval analysis on directed acyclic graphs for global optimization
• An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
• Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
• Dynamics of spatial rigid-flexible multibody systems with uncertain interval parameters
• Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
• Computing the critical points of the distance function between two Keplerian orbits via rigorous global optimization
• Uncertainty propagation or box propagation
• Calculus in the ring of Fermat reals. I: Integral calculus
• Efficient and accurate computation of upper bounds of approximation errors
• Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering
• TaylUR, an arbitrary-order diagonal automatic differentiation package for Fortran 95
• Validated solutions of initial value problems for parametric ODEs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Efficient evaluation of vapour-liquid equilibria from multi-parameter thermodynamic models using differential algebra
• Solving differential-algebraic equations by Taylor series. I: Computing Taylor coefficients
• Asteroid close encounters characterization using differential algebra: the case of apophis
• Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics
• Symbolic preconditioning with Taylor models: Some examples
• On Taylor Model Based Integration of ODEs
• Topological and algebraic structures on the ring of Fermat reals
• Title not available (Why is that?)
• Computation and application of Taylor polynomials with interval remainder bounds
• A new subdivision algorithm for the flow propagation using polynomial algebras
• Validated constraints solving --- practicalities, pitfalls, and new developments
• A new hybrid uncertainty optimization method for structures using orthogonal series expansion
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bounded motion design in the Earth zonal problem using differential algebra based normal form methods
• Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics. II
• Title not available (Why is that?)
• Using Expression Graphs in Optimization Algorithms
• Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
• Higher-order sensitivity analysis of finite element method by automatic differentiation
• Validation of transfer map calculation for electrostatic deflectors in the code COSY INFINITY
• Sensitivity computations in higher order continuation methods
• Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems
• Shrink wrapping for Taylor models revisited
• Numerical Software with Result Verification
• Numerical Software with Result Verification
• An efficient approach to solve very large dense linear systems with verified computing on clusters
• On Non-Archimedean Valued Fields: A Survey of Algebraic, Topological and Metric Structures, Analysis and Applications
• Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
• Symplectic and self-consistent algorithms for particle accelerator simulation
• Long-term density evolution through semi-analytical and differential algebra techniques
• Solution of third grade thin film flow using algorithmic differentiation
• Muon \(g - 2\): a review
• Validated computation of the local truncation error of Runge–Kutta methods with automatic differentiation
• An adaptive fast multipole method in Cartesian basis, enabled by algorithmic differentiation
• Picard iteration-based variable-order integrator with dense output employing algorithmic differentiation
• On higher-order differentiation in nonlinear mechanics

This page was built for software: Cosy