Epsilon-inflation in verification algorithms
From MaRDI portal
The paper deals with the problem of finite termination of verification algorithms using an \(\varepsilon\)-inflation (introduced by S. M. Rump). Sufficient conditions for finite termination are given, based essentially on the assumption of the \(P\)-contraction property of the response mapping. The results are illustrated on several examples including computations of verified enclosures for eigenvalues and singular values.
Recommendations
Cites work
- A Unified Approach to Enclosure Methods for Eigenpairs
- Berechenbare Fehlerschranken für ein Eigenpaar beim verallgemeinerten Eigenwertproblem
- Berechenbare Fehlerschranken für ein Eigenpaar unter Einschluß von Rundungsfehlern bei Verwendung des genauen Skalarprodukts
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- scientific article; zbMATH DE number 4129889 (Why is no real title available?)
- scientific article; zbMATH DE number 440785 (Why is no real title available?)
- scientific article; zbMATH DE number 3649911 (Why is no real title available?)
- scientific article; zbMATH DE number 3880009 (Why is no real title available?)
- scientific article; zbMATH DE number 3963074 (Why is no real title available?)
- scientific article; zbMATH DE number 4070190 (Why is no real title available?)
- scientific article; zbMATH DE number 4106125 (Why is no real title available?)
- scientific article; zbMATH DE number 3682951 (Why is no real title available?)
- scientific article; zbMATH DE number 46301 (Why is no real title available?)
- scientific article; zbMATH DE number 50026 (Why is no real title available?)
- scientific article; zbMATH DE number 852322 (Why is no real title available?)
- scientific article; zbMATH DE number 852361 (Why is no real title available?)
- scientific article; zbMATH DE number 3215568 (Why is no real title available?)
- scientific article; zbMATH DE number 3281219 (Why is no real title available?)
- scientific article; zbMATH DE number 3381785 (Why is no real title available?)
- Iterative methods for interval inclusion of fixed points
- On the solution of interval linear systems
- Späth, H., Zweidimensionale Spline‐Interpolations‐Algorithmen. München/Wien, R. Oldenbourg Verlag 1991. 293 S. ISBN 3‐486‐21807‐7
Cited in
(21)- A framework for existence tests based on the topological degree and homotopy
- Relaxed verification for continuous problems
- On proving existence of feasible points in equality constrained optimization problems
- On a theoretical justification of the choice of epsilon-inflation in PASCAL-XSC
- Interval analysis: Theory and applications
- Interval mathematics, algebraic equations and optimization
- The cluster problem in constrained global optimization
- Domain reduction techniques for global NLP and MINLP optimization
- On bounding zeros of analytic functions
- Asynchronous parallel methods for enclosing solutions of nonlinear equations
- Epsilon-inflation with contractive interval functions
- Exclusion regions for optimization problems
- A computer-assisted proof of existence of a periodic solution
- Some observations on exclusion regions in branch and bound algorithms
- The Forthcoming IEEE Standard 1788 for Interval Arithmetic
- scientific article; zbMATH DE number 440785 (Why is no real title available?)
- Robot workspace approximation with modified bicentered Krawczyk method
- Interval algorithm for absolute value equations
- Satisfiability of non-linear transcendental arithmetic as a certificate search problem
- The cluster problem revisited
- Solving interval constraints by linearization in computer-aided design
This page was built for publication: Epsilon-inflation in verification algorithms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1900758)
