An excellent self-driving car is expected to take its passengers safely and efficiently from one place to another. However, different ways of defining safety and efficiency may significantly affect the conclusion we make. In this paper, we give formal definitions to the safe state of a road and safe state of a vehicle using the syntax of linear temporal logic (LTL). We then propose the concept of safe driving throughput (SDT) and safe driving capacity (SDC) which measure the amount of vehicles in the safe state on a road. We analyze how SDT is affected by different factors. We show the analytic difference of SDC between the road with perception-based vehicles (PBV) and the road with cooperative-based vehicles (CBV). We claim that through proper design, the SDC of the road filled with PBVs will be upper-bounded by the SDC of the road filled with CBVs.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Safe Driving Capacity of Autonomous Vehicles


    Contributors:


    Publication date :

    2018-08-01


    Size :

    2889598 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Safe driving operations of autonomous vehicles

    BROWN ROBERT P / SKINNER TODD B | European Patent Office | 2022

    Free access

    SAFE DRIVING OPERATIONS OF AUTONOMOUS VEHICLES

    BROWN ROBERT PATRICK / SKINNER TODD B | European Patent Office | 2024

    Free access

    Safe driving operations of autonomous vehicles

    BROWN ROBERT PATRICK / SKINNER TODD B | European Patent Office | 2024

    Free access

    SAFE DRIVING OPERATIONS OF AUTONOMOUS VEHICLES

    BROWN ROBERT P / SKINNER TODD B | European Patent Office | 2022

    Free access

    Safe driving operations for autonomous vehicles

    BROWN ROBERT PAUL / SKINNER TODD B | European Patent Office | 2022

    Free access