Essays about: "worst-case robustness"

Showing result 1 - 5 of 7 essays containing the words worst-case robustness.

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

   University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Author : Mark Håkansson; [2022]
   Keywords : RTIC; symbolic execution; embedded systems; software verification; software analysis; schedulability;

   Abstract : 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. READ MORE

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

   University essay from Lunds universitet/Institutionen för reglerteknik

   Author : Daniel Mårtensson; [2022]
   Keywords : Technology and Engineering;

   Abstract : 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. READ MORE

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

   University essay from Linköpings universitet/Maskinkonstruktion

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

   Abstract : 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. READ MORE

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

   University essay from KTH/Rymdteknik

   Author : Benjamin Charbaut; [2018]
   Keywords : ;

   Abstract : 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. READ MORE

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

   University essay from Linköpings universitet/Reglerteknik

   Author : Johan Svensson; [2018]
   Keywords : FMCW;

   Abstract : 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. READ MORE