A novel interval arithmetic approach for solving differential-algebraic equations with \textsc{ValEncIA-IVP}
From MaRDI portal
Publication:6487157
Recommendations
- Interval methods for verification and implementation of robust controllers
- Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis
- An Introduction to Differential Algebraic Equations Under Interval Uncertainty: A First Step Toward Generalized Uncertainty DAEs
- Interval bounds on the solutions of semi-explicit index-one DAEs. II: Computation
- Exponential enclosure techniques for initial value problems with multiple conjugate complex eigenvalues
Cites work
- A New Software Package for Linear Differential-Algebraic Equations
- An MEBDF code for stiff initial value problems
- Consistency techniques in ordinary differential equations
- scientific article; zbMATH DE number 1595639 (Why is no real title available?)
- scientific article; zbMATH DE number 4027357 (Why is no real title available?)
- scientific article; zbMATH DE number 3738830 (Why is no real title available?)
- scientific article; zbMATH DE number 50395 (Why is no real title available?)
- scientific article; zbMATH DE number 3196612 (Why is no real title available?)
- Interval methods for optimal control
- Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
- Solving differential algebraic equations by Taylor series. III: The DAETs code
- Solving ordinary differential equations by generalized Adams methods: Properties and implementation techniques
- The numerical solution of differential-algebraic systems by Runge-Kutta methods
- Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
Cited in
(18)- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- Recent advances in a rigorous computation of Poincaré maps
- On reachable set estimation of singular systems
- Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics. II
- Reachability analysis and deterministic global optimization of DAE models
- Exponential enclosure techniques for initial value problems with multiple conjugate complex eigenvalues
- An unconditionally stable nonstandard finite difference method applied to a mathematical model of HIV infection
- Dynamic global optimization methods for determining guaranteed solutions in chemical engineering
- Physically motivated constraints for efficient interval simulations applied to the analysis of uncertain models of blood cell dynamics
- Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics
- Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis
- Interval bounds on the solutions of semi-explicit index-one DAEs. II: Computation
- VERICOMP: A system to compare and assess verified IVP solvers
- A verified method for solving piecewise smooth initial value problems
- Derivation of physically motivated constraints for efficient interval simulations applied to the analysis of uncertain dynamical systems
- A mechanism for growth of topological entropy
- Error bounds for initial value problems by optimization
Describes a project that uses
Uses Software
This page was built for publication: A novel interval arithmetic approach for solving differential-algebraic equations with \textsc{ValEncIA-IVP}
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487157)
