Advanced search
Showing result 21 - 25 of 43 swedish dissertations matching the above criteria.
-
21. Algebraic Methods for Verification and Control of Discrete Event Dynamic Systems
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
-
22. Variability and Customization of Simulator Products : A Product Line Approach in Model Based Systems Engineering
Abstract : AIRCRAFT DEVELOPERS, like other organizations within development and manufacturing, are experiencing increasing complexity in their products and growing competition in the global market. Products are built from increasingly advanced technologies and their mechanical, electronic, and software parts grow in number and become more interconnected. READ MORE
-
23. Flight Control Design Using Backstepping
Abstract : Aircraft flight control design is traditionally based on linear control theory, due to the existing wealth of tools for linear design and analysis. However, in order to achieve tactical advantages, modern fighter aircraft strive towards performing maneuvers outside the region where the dynamics of flight are linear, and the need for nonlinear tools arises. READ MORE
-
24. Neck pain in air force pilots : on risk factors, neck motor function and an exercise intervention
Abstract : Neck pain is a medical problem in modern military aviation. While neck exercises are recommended, clinical trials of neck motor function have been less investigated. READ MORE
-
25. On Verification of Switched Systems using Abstractions
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