Search for dissertations about: "Partial Order Reduction"
Showing result 1 - 5 of 79 swedish dissertations containing the words Partial Order Reduction.
-
1. 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
-
2. 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
-
3. Model Reduction and Parameter Estimation for Diffusion Systems
Abstract : Diffusion is a phenomenon in which particles move from regions of higher density to regions of lower density. Many physical systems, in fields as diverse as plant biology and finance, are known to involve diffusion phenomena. Typically, diffusion systems are modeled by partial differential equations (PDEs), which include certain parameters. READ MORE
-
4. Optimal Control and Model Reduction of Nonlinear DAE Models
Abstract : In this thesis, different topics for models that consist of both differential and algebraic equations are studied. The interest in such models, denoted DAE models, have increased substantially during the last years. READ MORE
-
5. Model reduction for diffusion systems
Abstract : Diffusion phenomena has been studied with a lot of interest, for a long time, due to its historical and practical significance. In the recent days it has thrown a lot of interest among control engineers, as more and more practical systems, varying from stock markets to environmental pollution, have been observed to involve diffusion. READ MORE