Computer-Aided Verification for Iterative Matrix Inversion Problems in Systems and Control-Reference-Cited by-同舟云学术

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

Published:2022 Issue: Volume: Page:203-211
ISSN:2522-5383
Container-title:Lecture Notes in Control and Information Sciences - Proceedings
language:
Short-container-title:

Author:

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

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-85318-1_13

Reference13 articles.

1. Datta, B.: Numerical Methods for Linear Control Systems. Elsevier Academic Press (2004). ISBN-10:9780122035906

2. Petkov, P., Christov, N., Konstantinov, M.: Computational Methods for Linear Control Systems. Prentice-Hall, Hemel Hempstead (1991). ISBN:0-13-161803-2

3. Petkovic, M.D., et al.: Generalized matrix inversion is not harder than matrix multiplication. J. Comput. Appl. Math. 230(1), 270–282 (2009)

4. Kumar, G.A., et al.: An approach to design a matrix inversion hardware module using FPGA. In: International Conference on Control, Instrumentation, Communication and Computational Technologies, pp. 87–90 (2014)

5. Schupp S., et al.: Current challenges in the verification of hybrid systems. In: Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, pp. 8–24 (2015)

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Verification of Executable Matrix Inversion via Adjoint Matrix and Gaussian Elimination;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09