Domain theoretic second-order Euler's method for solving initial value problems

DOI10.1016/J.ENTCS.2020.09.006MaRDI QIDQ2133471zbMATH OpenOpenAlexWikidataFDO

Authors Abbas Edalat, Amin Farjudian, Mina Mohammadian, Dirk Pattinson

Publication date 29 April 2022

Full work available at URL https://doi.org/10.1016/j.entcs.2020.09.006

zbMATH Keywords

algebraic complexitydomain of Lipschitz functionsdomain theoryinitial value probleminterval arithmetic

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• A computational model for multi-variable differential calculus
• A continuous derivative for real-valued functions
• A Domain-Theoretic Account of Picard's Theorem
• A domain-theoretic approach to computability on the real line
• A First Course in the Numerical Analysis of Differential Equations
• Accuracy and Stability of Numerical Algorithms
• An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
• Continuous Lattices and Domains
• Denotational semantics of hybrid automata
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• Function interval arithmetic
• scientific article; zbMATH DE number 46303 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• scientific article; zbMATH DE number 3238721 (Why is no real title available?)
• scientific article; zbMATH DE number 3281219 (Why is no real title available?)
• Introduction to Interval Analysis
• Ordinary differential equations and dynamical systems
• PCF extended with real numbers
• Safe \& robust reachability analysis of hybrid systems
• Support functions of the Clarke generalized Jacobian and of its plenary hull
• System analysis and robustness
• Time Complexity and Convergence Analysis of Domain Theoretic Picard Method
• Validated numerics. A short introduction to rigorous computations.
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models

Cited in

(3)

• Recursive solution of initial value problems with temporal discretization
• A domain-theoretic framework for robustness analysis of neural networks
• Continuous domains for function spaces using spectral compactification

Describes a project that uses

Uses Software

• mctoolbox

This page was built for publication: Domain theoretic second-order Euler's method for solving initial value problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2133471)