Computer-Aided Verification for Iterative Matrix Inversion Problems in Systems and Control

DOI10.1007/978-3-030-85318-1_13MaRDI QIDQ5054245zbMATH OpenOpenAlexFDO

Authors Vassilios A. Tsachouridis, Georgios Giantamidis, Stylianos Basagiannis, Konstantinos I. Kouramas

Publication date 29 November 2022

Published in Lecture Notes in Control and Information Sciences - Proceedings (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-85318-1_13

zbMATH Keywords

affine arithmeticcomputer-aided verificationmatrix iterative solversSchulz matrix inversion algorithm

Mathematics Subject Classification ID

Theory of matrix inversion and generalized inverses (15A09) Direct numerical methods for linear systems and matrix inversion (65F05) Computational methods for problems pertaining to systems and control theory (93-08) Algebraic methods (93B25)

Recommendations

• Computer algebra tailored to matrix inequalities in control
• scientific article; zbMATH DE number 4037027
• Robust inversion algorithms for vector linear systems
• Stability of Methods for Matrix Inversion
• scientific article; zbMATH DE number 4066721
• scientific article; zbMATH DE number 1267035
• scientific article; zbMATH DE number 1740438
• scientific article; zbMATH DE number 1376387
• Algorithms for inversion of controllable systems with structured nonlinearity

Cites work

• Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
• Generalized matrix inversion is not harder than matrix multiplication
• scientific article; zbMATH DE number 50653 (Why is no real title available?)
• scientific article; zbMATH DE number 1999210 (Why is no real title available?)
• Iterative method for computing the Moore-Penrose inverse based on Penrose equations
• On Iterative Computation of Generalized Inverses and Associated Projections
• Theorem Proving in Higher Order Logics
• Verified Real Number Calculations: A Library for Interval Arithmetic

Cited in

(1)

• Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers

Describes a project that uses

Uses Software

• ACL2

This page was built for publication: Computer-Aided Verification for Iterative Matrix Inversion Problems in Systems and Control

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