Sökning: "Partial Order Reduction"
Visar resultat 1 - 5 av 80 avhandlingar innehållade orden Partial Order Reduction.
1. Model Order Reduction with Rational Krylov Methods
Sammanfattning : 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. LÄS MER
2. Effective Techniques for Stateless Model Checking
Sammanfattning : 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. LÄS MER
3. Model Reduction and Parameter Estimation for Diffusion Systems
Sammanfattning : 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. LÄS MER
4. Optimal Control and Model Reduction of Nonlinear DAE Models
Sammanfattning : 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. LÄS MER
5. Model reduction for diffusion systems
Sammanfattning : 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. LÄS MER