Sökning: "State space model"

Visar resultat 21 - 25 av 388 avhandlingar innehållade orden State space model.

1. 21. SAT Based Model Checking

   Författare :Niklas Een; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : This Thesis is a study of automatic reasoning about finite state machines (FSMs). Two techniques used in hardware verification are presented. In both, the verification is carried out by a translation of the problem into propositional logic. Satisfiability and validity of propositional formulas are decided by the use of a SAT solver. LÄS MER

3. 22. Model Reduction for Linear Time-Varying Systems

   Författare :Henrik Sandberg; Anders Rantzer; Sanjay Lall; Institutionen för reglerteknik; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Automation; robotics; control engineering; Performance limitations; Convergence analysis; Frequency-domain analysis; Error bounds; Time-varying systems; Model reduction; Linear systems; Automatiska system; robotteknik; reglerteknik; Model reduction;

   Sammanfattning : The thesis treats model reduction for linear time-varying systems. Time-varying models appear in many fields, including power systems, chemical engineering, aeronautics, and computational science. They can also be used for approximation of time-invariant nonlinear models. Model reduction is a topic that deals with simplification of complex models. LÄS MER

4. 23. Statistical Fault Detection with Applications to IMU Disturbances

   Författare :David Törnqvist; Fredrik Gustafsson; Alexander Medvedev; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Fault detection; Linear systems; State-space models; Signal processing; State estimation; Fault observability; Inertial Measurement Unit; Automatic control; Reglerteknik;

   Sammanfattning : This thesis deals with the problem of detecting faults in an environment where the measurements are affected by additive noise. To do this, a residual sensitive to faults is derived and statistical methods are used to distinguish faults from noise. LÄS MER

5. 24. An Approach to Diagnosability Analysis for Interacting Finite State Systems

   Författare :Dan Lawesson; Ulf Nilsson; Inger Klein; Albert Benveniste; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Model-based diagnosis; abstraction; finite state systems; discrete event systems; Computer science; Datalogi;

   Sammanfattning : Fault isolation is the process of reasoning required to find the cause of a system failure. In a model-based approach, the available information is a model of the system and some observations. LÄS MER

7. 25. On Bounds and Asymptotics of Sequential Monte Carlo Methods for Filtering, Smoothing, and Maximum Likelihood Estimation in State Space Models

   Författare :Jimmy Olsson; Matematisk statistik; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; actuarial mathematics; programming; operations research; Statistics; Matematik; Mathematics; state space models; smoothing; sequential Monte Carlo; particle filter; EM algorithm; maximum likelihood; consistency; Asymptotic normality; Statistik; operationsanalys; programmering; aktuariematematik;

   Sammanfattning : This thesis is based on four papers (A-D) treating filtering, smoothing, and maximum likelihood (ML) estimation in general state space models using stochastic particle filters (also referred to as sequential Monte Carlo (SMC) methods). The aim of Paper A is to study the bias of Monte Carlo integration estimates produced by the so-called bootstrap particle filter. LÄS MER