Search for dissertations about: "Fighter aircraft"

Showing result 21 - 25 of 28 swedish dissertations containing the words Fighter aircraft.

  1. 21. Algebraic Methods for Verification and Control of Discrete Event Dynamic Systems

    Author : Jonas Plantin; Linköpings universitet; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : Discrete event dynamic systems (DEDS) have become increasingly important in industry and there is a need for structured methods applicable to the design process of DEDS. In this thesis we consider algebraic methods for verification and control of DEDS.To model DEDS we use polynomials in a quotient ring. READ MORE

  2. 22. On Modeling of Discrete Event Dynamic Systems : Using Symbolic Algebraic Methods

    Author : Johan Gunnarsson; Lennart Ljung; Linköpings universitet; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : The interest in discrete event systems (DEDS) has increased during the last years, due to the lack of methods and tools that are capable to handle the complexity of problems and tasks present in industry to day. In this thesis we will consider a symbolic and algebraic framework which will be used for modeling, analysis, and synthesis of DEDS. READ MORE

  3. 23. On Verification of Switched Systems using Abstractions

    Author : Valur Einarsson; Linköpings universitet; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : This thesis deals with modeling and analysis of a special class of hybrid systems, i.e., systems displaying behavior of both continuous and discrete nature. READ MORE

  4. 24. Model Checking Methods for Mode Switching Systems

    Author : Valur Einarsson; Linköpings universitet; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : This thesis deals with modeling and analysis of a special class of hybrid systems, i.e., systems displaying behavior of both continuous and discrete nature. READ MORE

  5. 25. Symbolic Methods and Tools for Discrete Event Dynamic Systems

    Author : Johan Gunnarsson; Lennart Ljung; Linköpings universitet; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Decision diagrams; Polynomial relational representation; Landing gear controller;

    Abstract : The interest in Discrete Event Dynamic Systems (DEDS) has increased during the last years, due to the lack of methods and tools that are capable of handling the complexity of problems and tasks present in industry today. In this thesis we will consider a framework based on relations over finite domains. READ MORE