Sökning: "State space model"

Visar resultat 16 - 20 av 388 avhandlingar innehållade orden State space model.

  1. 16. Model-Based Test Case Generation for Real-Time Systems

    Författare :Anders Hessel; Paul Pettersson; Bengt Jonsson; Bernhard K. Aichernig; Uppsala universitet; []
    Nyckelord :Model-Based Testing; Model Checking; Coverage Criteria; Real-Time Systems; Black-Box Testing; Timed Automata; Test Case Generation; Conformance Testing;

    Sammanfattning : Testing is the dominant verification technique used in the software industry today. The use of automatic test case execution increases, but the creation of test cases remains manual and thus error prone and expensive. To automate generation and selection of test cases, model-based testing techniques have been suggested. LÄS MER

  3. 17. Model Based Optimization of a Complete Diesel Engine/SCR System

    Författare :Claes Ericson; Förbränningsmotorer; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; MPC; model based optimization; real time models; model based control; SCR; optimization; EGR;

    Sammanfattning : Achieving upcoming emissions legislation (Euro VI) for heavy trucks is a serious challenge for the manufacturers. Apart from the increasingly strict limits on nitrogen oxides (NOx) and particulate emissions (PM), the limited amount of fossil fuels as well as alarming climate changes simultaneously drives the demand for low CO2 emissions. LÄS MER

  4. 18. Data driven modeling in the presence of time series structure: : Improved bounds and effective algorithms

    Författare :Othmane Mazhar; Boualem Djehiche; Munther Dahleh; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Time series; Non-asymptotic estimation; Minimax; Change point detection; Hidden Markov model; State space model; Least square; Penalized Regression; Random covariance matrix; Concentration inequality; Chaining integral; Self-normalized martingale inequality; Cramér-Rao inequality; van Trees inequality; Matematisk statistik; Mathematical Statistics;

    Sammanfattning : This thesis consists of five appended papers devoted to modeling tasks where the desired models are learned from data sets with an underlying time series structure. We develop a statistical methodology for providing efficient estimators and analyzing their non-asymptotic behavior. LÄS MER

  5. 19. State space representation for verification of open systems

    Författare :Irem Aktug; Mads Dam; Parosh Abdulla; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datalogi;

    Sammanfattning : When designing an open system, there might be no implementation available for cer- tain components at verification time. For such systems, verification has to be based on assumptions on the underspecified components. In this thesis, we present a framework for the verification of open systems through explicit state space representation. LÄS MER

  7. 20. Model based aircraft design : high angle of attack aerodynamics and weight estimation methods

    Författare :Christopher Jouannet; John Fielding; Linköpings universitet; []
    Nyckelord :TECHNOLOGY; TEKNIKVETENSKAP;

    Sammanfattning : This thesis addresses modelling of high angle of attack aerodynamic characteristics and weight estimation for highly maneuverable aircraft during conceptual design. In order to allow configuration selection with sufficient confidence, especially with unconventional configurations, high angle of attack aerodynamic prediction and weight estimations methods need to be improved. LÄS MER