Search for dissertations about: "Model order reduction"
Showing result 1 - 5 of 530 swedish dissertations containing the words Model order reduction.
-
1. Model Order Reduction Based on Semidefinite Programming
Abstract : The main topic of this PhD thesis is complexity reduction of linear time-invariant models. The complexity in such systems is measured by the number of differential equations forming the dynamical system. This number is called the order of the system. READ MORE
-
2. Model Order Reduction with Rational Krylov Methods
Abstract : Rational Krylov methods for model order reduction are studied. A dual rational Arnoldi method for model order reduction and a rational Krylov method for model order reduction and eigenvalue computation have been implemented. It is shown how to deflate redundant or unwanted vectors and how to obtain moment matching. READ MORE
-
3. Krylov Subspace Methods for Linear Systems, Eigenvalues and Model Order Reduction
Abstract : New variants of Krylov subspace methods for numerical solution of linear systems, eigenvalue, and model order reduction problems are described. A new method to solve linear systems of equations with several right-hand sides is described. READ MORE
-
4. Model Reduction Using Semidefinite Programming
Abstract : In this thesis model reduction methods for linear time invariant systems are investigated. The reduced models are computed using semidefinite programming. Two ways of imposing the stability constraint are considered. However, both approaches add a positivity constraint to the program. READ MORE
-
5. Effective Techniques for Stateless Model Checking
Abstract : Stateless model checking is a technique for testing and verifying concurrent programs, based on exploring the different ways in which operations executed by the processes of a concurrent program can be scheduled. The goal of the technique is to expose all behaviours that can be a result of scheduling non-determinism. READ MORE