Search for dissertations about: "Johan Bengtsson"
Showing result 1 - 5 of 14 swedish dissertations containing the words Johan Bengtsson.
-
1. Adaptive Cruise Control and Driver Modeling
Abstract : Many vehicle manufacturers have lately introduced advance driver support in some of their automobiles. One of those new features is Adaptive Cruise Control DACCE, which extends the conventional cruise control system to control of relative speed and distance to other vehicles. READ MORE
-
2. Closed-Loop Control of HCCI Engine Dynamics
Abstract : The topic of the thesis is control of Homogeneous Charge Compression Ignition (HCCI) engine dynamics. HCCI offers a potential to combine high efficiency with very low emissions. In order to fulfill the potential benefits, closed-loop control is needed. READ MORE
-
3. Efficient symbolic state exploration of timed systems : Theory and implementation
Abstract : Timing aspects are important for the correctness of safety-critical systems. It is crucial that these aspects are carefully analysed in designing such systems. UPPAAL is a tool designed to automate the analysis process. READ MORE
-
4. Negative symptoms, repetitive transcranial magnetic stimulation and heart rate variability in schizophrenia and depression
Abstract : Negative symptoms comprise anhedonia, avolition, and blunted affect. Although first described in schizophrenia, these symptoms share phenomenology with the depressive state. Pharmacological treatment has not been successful in reducing negative symptoms. READ MORE
-
5. Clocks, DBMs and States in Timed Systems
Abstract : Today, computers are used to control various technical systems in our society. In many cases, time plays a crucial role in the operation of computers embedded in such systems. This thesis is about techniques and tools for the analysis of timing behaviours of computer systems. READ MORE