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

DOI10.1016/j.entcs.2020.09.006OpenAlexW3094083319WikidataQ113317303 ScholiaQ113317303MaRDI QIDQ2133471

Dirk Pattinson, Amin Farjudian, Mina Mohammadian, Abbas Edalat

Publication date: 29 April 2022

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

zbMATH Keywords

initial value probleminterval arithmeticalgebraic complexitydomain theorydomain of Lipschitz functions

Mathematics Subject Classification ID

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

Related Items (2)

Recursive solution of initial value problems with temporal discretization ⋮ A domain-theoretic framework for robustness analysis of neural networks

Uses Software

• mctoolbox

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A domain-theoretic approach to computability on the real line
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• PCF extended with real numbers
• An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
• Support functions of the Clarke generalized Jacobian and of its plenary hull
• Safe \& robust reachability analysis of hybrid systems
• A computational model for multi-variable differential calculus
• Denotational semantics of hybrid automata
• Function Interval Arithmetic
• A Domain-Theoretic Account of Picard's Theorem
• Time Complexity and Convergence Analysis of Domain Theoretic Picard Method
• A First Course in the Numerical Analysis of Differential Equations
• Introduction to Interval Analysis
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• Accuracy and Stability of Numerical Algorithms
• Continuous Lattices and Domains
• System analysis and robustness

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