Sökning: "automated cars"

Visar resultat 1 - 5 av 25 avhandlingar innehållade orden automated cars.

  1. 1. Correct-by-Construction Tactical Planners for Automated Cars

    Författare :Jonas Krook; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Reactive Synthesis; tactical planning; formal verification; formal synthesis; Formal methods; Model Checking; Supervisory Control Theory.; automated cars;

    Sammanfattning : One goal of developing automated cars is to completely free people from driving tasks. Automated cars that require no human driver need to handle all traffic situations that a human driver is expected to handle, and possibly more. LÄS MER

  3. 2. Towards Automated Software Testing : Techniques, Classifications and Frameworks

    Författare :Richard Torkar; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; automated software testing; black box; white box; comparisons; classifications;

    Sammanfattning : Software is today used in more and different ways than ever before. From refrigerators and cars to space shuttles and smart cards. As such, most software, usually need to adhere to a specification, i.e. LÄS MER

  4. 3. Shifting Gears : Automated Driving on the Eve of Autonomous Drive

    Författare :Christopher Martin; Avdelningen för etnologi; []
    Nyckelord :HUMANIORA; HUMANITIES; automation; driving; cars; practice; perception; embodiment; flow; space; skill; orientation; routine; technology;

    Sammanfattning : The compelling images and promises attached to autonomous drive vehicles can easily create an impression that one can speak of a radical distinction between a self-driving future and a manual-driving present. Yet today’s drivers can already refer to their everyday driving as being experienced as though on ‘auto-pilot’, in which they are able to drive their cars while lost in things such as daydreams, conversations, or plans for their day ahead. LÄS MER

  5. 4. Lifelong Visual Localization for Automated Vehicles

    Författare :Peter Mühlfellner; Thorsteinn Rögnvaldsson; Roland Philippsen; Tom Duckett; Högskolan i Halmstad; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; vision-based localization; automated vehicles;

    Sammanfattning : Automated driving can help solve the current and future problems of individualtransportation. Automated valet parking is a possible approach to help with overcrowded parking areas in cities and make electric vehicles more appealing. In an automated valet system, drivers are able to drop off their vehicle close to a parking area. LÄS MER

  7. 5. Computational interaction models for automated vehicles and cyclists

    Författare :Ali Mohammadi; Chalmers tekniska högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automated vehicles; vulnerable road users; computational models; driver models; active safety systems; cyclists’ interaction;

    Sammanfattning : Cyclists’ safety is crucial for a sustainable transport system. Cyclists are considered vulnerable road users because they are not protected by a physical compartment around them. In recent years, passenger car occupants’ share of fatalities has been decreasing, but that of cyclists has actually increased. LÄS MER