Simulation-Equivalent Reachability of Large Linear Systems with Inputs

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-63387-9_20 ◽

2017 ◽

pp. 401-420 ◽

Cited By ~ 14

Author(s):

Stanley Bak ◽

Parasara Sridhar Duggirala

Keyword(s):

Linear Systems ◽

Large Linear Systems

Download Full-text

Cluster Analysis and Lumpability of Large Linear Systems

10.23919/acc.1986.4789114 ◽

1986 ◽

Author(s):

Pamela G. Coxson ◽

Kenneth B. Bischoff

Keyword(s):

Cluster Analysis ◽

Linear Systems ◽

Large Linear Systems

Download Full-text

Chebyshev solution of large linear systems

Journal of Computer and System Sciences ◽

10.1016/s0022-0000(67)80005-9 ◽

1967 ◽

Vol 1 (1) ◽

pp. 29-43 ◽

Cited By ~ 6

Author(s):

J.B. Rosen

Keyword(s):

Linear Systems ◽

Large Linear Systems

Download Full-text

A Wavelet Approach for the Construction of Multi-Grid Solvers for Large Linear Systems

International Association of Geodesy Symposia - Vistas for Geodesy in the New Millennium ◽

10.1007/978-3-662-04709-5_44 ◽

2002 ◽

pp. 265-270 ◽

Cited By ~ 4

Author(s):

W. Keller

Keyword(s):

Linear Systems ◽

Large Linear Systems

Download Full-text

NUMERICAL STABILITY OF ITERATIONS FOR SOLUTION OF NONLINEAR EQUATIONS AND LARGE LINEAR SYSTEMS

Analytic Computational Complexity ◽

10.1016/b978-0-12-697560-4.50015-0 ◽

1976 ◽

pp. 177-190 ◽

Cited By ~ 2

Author(s):

H. Woźniakowski

Keyword(s):

Linear Systems ◽

Nonlinear Equations ◽

Numerical Stability ◽

Large Linear Systems

Download Full-text

Iterative methods for large linear systems

Mathematics and Computers in Simulation ◽

10.1016/0378-4754(90)90175-i ◽

1990 ◽

Vol 32 (4) ◽

pp. 428

Keyword(s):

Linear Systems ◽

Iterative Methods ◽

Large Linear Systems

Download Full-text

Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace

IEEE Transactions on Automatic Control ◽

10.1109/tac.2019.2906432 ◽

2020 ◽

Vol 65 (2) ◽

pp. 477-492 ◽

Cited By ~ 2

Author(s):

Matthias Althoff

Keyword(s):

Linear Systems ◽

Krylov Subspace ◽

Reachability Analysis ◽

Large Linear Systems

Download Full-text

Iterative solution of large linear systems with non-smooth submatrices using partial wavelet transforms and split-matrix matrix–vector multiplication

International Journal for Numerical Methods in Engineering ◽

10.1002/nme.881 ◽

2003 ◽

Vol 59 (4) ◽

pp. 457-473 ◽

Cited By ~ 2

Author(s):

Patricia González ◽

José C. Cabaleiro ◽

Tomás F. Pena

Keyword(s):

Linear Systems ◽

Wavelet Transforms ◽

Iterative Solution ◽

Matrix Vector Multiplication ◽

Matrix Vector ◽

Large Linear Systems

Download Full-text

An Improved TFQMR Algorithm for Large Linear Systems Suited to Parallel Computing

Journal of Computer Research and Development ◽

10.1360/crad20050722 ◽

2005 ◽

Vol 42 (7) ◽

pp. 1235 ◽

Cited By ~ 1

Author(s):

Jie Liu

Keyword(s):

Parallel Computing ◽

Linear Systems ◽

Large Linear Systems

Download Full-text

Numerical stability of the Chebyshev method for the solution of large linear systems

Numerische Mathematik ◽

10.1007/bf01394452 ◽

1977 ◽

Vol 28 (2) ◽

pp. 191-209 ◽

Cited By ~ 22

Author(s):

H. Woźniakowski

Keyword(s):

Linear Systems ◽

Numerical Stability ◽

Chebyshev Method ◽

Large Linear Systems

Download Full-text

Multi-GPU Parallelization of Nested Factorization for Solving Large Linear Systems

10.2118/163588-ms ◽

2013 ◽

Cited By ~ 4

Author(s):

Hamdi Tchelepi ◽

Yifan Zhou

Keyword(s):

Linear Systems ◽

Large Linear Systems

Download Full-text