Sökning: "jonas nilsson chalmers"
Hittade 2 avhandlingar innehållade orden jonas nilsson chalmers.
1. Computational Verification Methods for Automotive Safety Systems
Sammanfattning : This thesis considers computational methods for analysis and verification of the class of automotive safety systems which support the driver by monitoring the vehicle and its surroundings, identifying hazardous situations and actively intervening to prevent or mitigate consequences of accidents. Verification of these systems poses a major challenge, since system decisions are based on remote sensing of the surrounding environment and incorrect decisions are only rarely accepted by the driver. LÄS MER
2. On Performance Evaluation of Automotive Active Safety Systems
Sammanfattning : Road traffic accidents are a major global problem, annually causing over 1.2 million fatalities. To improve road safety, active safety systems support the driver by monitoring the vehicle and its surroundings, identifying hazardous situations and actively intervening to prevent or mitigate consequences of accidents. LÄS MER