Sökning: "worst-case robustness"

Visar resultat 1 - 5 av 7 uppsatser innehållade orden worst-case robustness.

  1. 1. RAUK: Automatic Schedulability Analysis of RTIC Applications Using Symbolic Execution

    Uppsats för yrkesexamina på avancerad nivå, Luleå tekniska universitet/Institutionen för system- och rymdteknik

    Författare :Mark Håkansson; [2022]
    Nyckelord :RTIC; symbolic execution; embedded systems; software verification; software analysis; schedulability;

    Sammanfattning : In this thesis, the proof-of-concept tool RAUK for automatically analyzing RTIC applications for schedulability using symbolic execution is presented. The RTIC framework provides a declarative executable model for building embedded applications, which behavior is based on established formal methods and policies. LÄS MER

  3. 2. Kalman-Filter Design and Evaluation for PMSM Rotor-Temperature Estimation

    Uppsats för yrkesexamina på avancerad nivå, Lunds universitet/Institutionen för reglerteknik

    Författare :Daniel Mårtensson; [2022]
    Nyckelord :Technology and Engineering;

    Sammanfattning : The permanent magnet synchronous motor, PMSM, is an efficient electrical motor that has seen a greater prevalence in the automotive industry from the increasing demand for electrical vehicles. Managing the temperature of the permanent magnet rotor is important to optimize motor utilization and avoid hardware failures. LÄS MER

  4. 3. Development of a Methodology for Efficient FEM Pre-processes to Aid Simulation-driven Design

    Master-uppsats, Linköpings universitet/Maskinkonstruktion

    Författare :Mattias Bäckman; Josef Kling; [2018]
    Nyckelord :FEM; Welds; Automation; MDO; HyperMesh; Simulation-driven design; Design Automation; Pre-processes; Mesh;

    Sammanfattning : With both tougher competition and legislations, companies always strive to improve their products while cutting unnecessary costs. This master’s thesis investigates if the after-treatment systems department at the heavy-duty vehicle company Scania CV AB in Södertälje, Sweden can improve their development process by implementing automated FEM pre-processes for welded sheet metal components. LÄS MER

  5. 4. Robust and Agile Attitude Control for Triple CubeSat Eye-Sat

    Master-uppsats, KTH/Rymdteknik

    Författare :Benjamin Charbaut; [2018]
    Nyckelord :;

    Sammanfattning : Eye-Sat is a student-designed 3U-CubeSat, to be launched to a sun-synchronous orbit from where it will map the zodiacal light, a faint glare caused by the reflection of Sun on interplanetary dust. Such mission requires an accurate 3-axis attitude control, for which Eye-Sat is equipped with reactions wheels, magnetorquers, magnetometers and a star tracker. LÄS MER

  7. 5. High Resolution Frequency Estimation in an FMCW Radar Application

    Master-uppsats, Linköpings universitet/Reglerteknik

    Författare :Johan Svensson; [2018]
    Nyckelord :FMCW;

    Sammanfattning : FMCW radars are widely used in the process industry for range estimation, usu- ally for estimating the liquid level in a tank. Since the tank system, often is an automatically controlled system, reliable estimates of the surface level are re- quired, e.g. to avoid the tank from pouring over or become empty. LÄS MER