Sökning: "Partial Order Reduction"

Visar resultat 1 - 5 av 80 avhandlingar innehållade orden Partial Order Reduction.

1. 1. Model Order Reduction with Rational Krylov Methods

   Författare :K. Henrik A. Olsson; Axel Ruhe; Volker Mehrmann; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Model order reduction; dual rational Arnoldi; rational Krylov; moment matching; eigenvalue computation; stability analysis; heat exchanger model; Numerical analysis; Numerisk analys;

   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

3. 2. Effective Techniques for Stateless Model Checking

   Författare :Stavros Aronis; Konstantinos Sagonas; Bengt Jonsson; Patrice Godefroid; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Concurrent; Parallel; Model Checking; Partial Order Reduction; Dynamic Partial Order Reduction; DPOR; Sleep Set Blocking; Source Sets; Source DPOR; Wakeup Trees; Optimal DPOR; Observers; Verification; Bounding; Exploration Tree Bounding; Testing; Erlang; Concuerror; Protocol; Chain Replication; CORFU; Computer Science; Datavetenskap;

   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

4. 3. Model Reduction and Parameter Estimation for Diffusion Systems

   Författare :Bharath Bhikkaji; Torsten Söderström; Claes Breitholtz; Uppsala universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Diffusion system; Partial differential equations PDEs ; Model reduction; PDE solvers; Finite difference approximation; Chebyshev polynomials; System identification; Parameter estimation; Recursive estimation; Frequency domain estimation; Signal processing; Signalbehandling;

   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

5. 4. Optimal Control and Model Reduction of Nonlinear DAE Models

   Författare :Johan Sjöberg; Torkel Glad; Xiaoming Hu; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; DAE Models; Optimal Control; Model Reduction; Automatic control; Reglerteknik;

   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

7. 5. Model reduction for diffusion systems

   Författare :Bharath Bhikkaji; Torsten Söderström; Uppsala universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Signal Processing; Signalbehandling;

   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