Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
From MaRDI portal
Publication:779625
DOI10.3934/naco.2019047zbMath1458.65035OpenAlexW2979344982WikidataQ127123744 ScholiaQ127123744MaRDI QIDQ779625
Georgios Giantamidis, Vassilios A. Tsachouridis, Stylianos Basagiannis, Kostas Kouramas
Publication date: 13 July 2020
Published in: Numerical Algebra, Control and Optimization (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3934/naco.2019047
Theory of matrix inversion and generalized inverses (15A09) Iterative numerical methods for linear systems (65F10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Exploiting higher computational efficiency index for computing outer generalized inverses, Computer-Aided Verification for Iterative Matrix Inversion Problems in Systems and Control
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Iterative method for computing the Moore-Penrose inverse based on Penrose equations
- The algorithmic analysis of hybrid systems
- Generalized matrix inversion is not harder than matrix multiplication
- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- Bounds for eigenvalues using traces
- Perturbation theory for matrix equations
- Generalized inverses: theory and computations
- Generalized inverses. Theory and applications.
- Two finite-time convergent Zhang neural network models for time-varying complex matrix Drazin inverse
- Efficient dynamic error reduction for hybrid systems reachability analysis
- Counterexample-guided predicate abstraction of hybrid systems
- Affine arithmetic: concepts and applications
- The inverse, rank and product of tensors
- A general reliable quadratic form: An extension of affine arithmetic
- Flowpipe approximation and clustering in space-time
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
- Randomized algorithms for total least squares problems
- Introduction to Interval Analysis
- Robust Test Generation and Coverage for Hybrid Systems
- Reachability Analysis of Hybrid Systems Using Support Functions
- Handbook of Model Checking
- Numerical and Symbolic Computations of Generalized Inverses
- Verified Real Number Calculations: A Library for Interval Arithmetic
- Computational techniques for hybrid system verification
- Hybrid Systems: Computation and Control
- Test Coverage for Continuous and Hybrid Systems
- On Iterative Computation of Generalized Inverses and Associated Projections
- Hybrid Systems: Computation and Control
- A geometrical approach on generalized inverses by Neumann-type series
