We introduce a goal-aware extension of responsibility-sensitive safety (RSS), a recent methodology for rule-based safety guarantee for automated driving systems (ADS). Making RSS rules guarantee goal achievement—in addition to collision avoidance as in the original RSS—requires complex planning over long sequences of manoeuvres. To deal with the complexity, we introduce a compositional reasoning framework based on program logic, in which one can systematically develop RSS rules for smaller subscenarios and combine them to obtain RSS rules for bigger scenarios. As the basis of the framework, we introduce a program logic $\text{dFHL}$ that accommodates continuous dynamics and safety conditions. Our framework presents a $\text{dFHL}$-based workflow for deriving goal-aware RSS rules; we discuss its software support, too. We conducted experimental evaluation using RSS rules in a safety architecture. Its results show that goal-aware RSS is indeed effective in realising both collision avoidance and goal achievement.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Goal-Aware RSS for Complex Scenarios via Program Logic



    Published in:

    Publication date :

    2023-04-01


    Size :

    5743699 byte




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    Logic-Based Modelling of Goal-Directed Behavior

    Sandewall, Erik | BASE | 1997

    Free access

    Goal-aware Navigation of Quadrotor UAV for Infrastructure Inspection

    Biswas, Srijanee / Sharma, Rajnikant | TIBKAT | 2019


    Goal-aware Navigation of Quadrotor UAV for Infrastructure Inspection

    Biswas, Srijanee / Sharma, Rajnikant | AIAA | 2019


    Interpretable Goal-Based model for Vehicle Trajectory Prediction in Interactive Scenarios

    Ghoul, Amina / Yahiaoui, Itheri / Verroust-Blondet, Anne et al. | IEEE | 2023


    On power-aware greedy forwarding in highway scenarios

    Festag, Andreas / Baldessari, Roberto / Wang, Hao | Tema Archive | 2001