CSSP 13:733-758, 1994 Krylov Space Methods on State-Space Control Models
نویسنده
چکیده
We give an overview of various Lanczos/Krylov space methods and how they are being used for solving certain problems in Control Systems Theory based on state-space models. The matrix methods used are based on Krylov sequences and are closely related to modern iterative methods for standard matrix problems such as sets of linear equations and eigenvalue calculations. We show how these methods can be applied to problems in Control Theory such as controllability, observability and model reduction. All the methods are based on the use of state-space models, which may be very sparse and of high dimensionality. For example, we show how one may compute an approximate solution to a Lyapunov equation arising from discrete-time linear dynamic system with a large sparse system matrix by the use of the Arnoldi Algorithm, and so obtain an approximate Grammian matrix. This has applications in model reduction. The close relation between the matrix Lanczos algorithm and the algebraic structure of linear control systems is also explored.
منابع مشابه
Krylov Space Methods on State - Space Control
We give an overview of various Lanczos/Krylov space methods and how they are being used for solving certain problems in Control Systems Theory based on state-space models. The matrix methods used are based on Krylov sequences and are closely related to modern iterative methods for standard matrix problems such as sets of linear equations and eigenvalue calculations. We show how these methods ca...
متن کاملSolving large systems arising from fractional models by preconditioned methods
This study develops and analyzes preconditioned Krylov subspace methods to solve linear systems arising from discretization of the time-independent space-fractional models. First, we apply shifted Grunwald formulas to obtain a stable finite difference approximation to fractional advection-diffusion equations. Then, we employee two preconditioned iterative methods, namely, the preconditioned gen...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملKrylov Subspace Methods in Linear Model Order Reduction: Introduction and Invariance Properties
In recent years, Krylov subspace methods have become popular tools for computing reduced order models of high order linear time invariant systems. The reduction can be done by applying a projection from high order to lower order space using bases of some subspaces called input and output Krylov subspaces. One aim of this paper is describing the invariancies of reduced order models using these m...
متن کاملModel reduction for dynamical systems with quadratic output
Finite element models for structures and vibrations often lead to second order dynamical systems with large sparse matrices. For large-scale finite element models, the computation of the frequency response function and the structural response to dynamic loads may present a considerable computational cost. Padé via Krylov methods are widely used and appreciated projection-based model reduction t...
متن کامل