Sökning: "jonas nilsson chalmers"

Hittade 2 avhandlingar innehållade orden jonas nilsson chalmers.

  1. 1. Computational Verification Methods for Automotive Safety Systems

    Författare :Jonas Nilsson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Active Safety; Automotive; Verification; Augmented Reality; Performance Evaluation; Decision Making; Semi-Autonomous Vehicles;

    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

  3. 2. On Performance Evaluation of Automotive Active Safety Systems

    Författare :Jonas Nilsson; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; Semi-Autonomous Vehicles; Active Safety; Automotive; Augmented Reality.; Verification; Performance Evaluation; Decision Making;

    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