Sökning: "johan bengtsson"
Visar resultat 1 - 5 av 16 avhandlingar innehållade orden johan bengtsson.
1. Adaptive Cruise Control and Driver Modeling
Sammanfattning : 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. LÄS MER
2. Closed-Loop Control of HCCI Engine Dynamics
Sammanfattning : 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. LÄS MER
3. Efficient symbolic state exploration of timed systems : Theory and implementation
Sammanfattning : 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. LÄS MER
4. Negative symptoms, repetitive transcranial magnetic stimulation and heart rate variability in schizophrenia and depression
Sammanfattning : 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. LÄS MER
5. Clocks, DBMs and States in Timed Systems
Sammanfattning : 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. LÄS MER