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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Goal-Aware RSS for Complex Scenarios via Program Logic


    Beteiligte:
    Hasuo, Ichiro (Autor:in) / Eberhart, Clovis (Autor:in) / Haydon, James (Autor:in) / Dubut, Jeremy (Autor:in) / Bohrer, Rose (Autor:in) / Kobayashi, Tsutomu (Autor:in) / Pruekprasert, Sasinee (Autor:in) / Zhang, Xiao-Yi (Autor:in) / Pallas, Erik Andre (Autor:in) / Yamada, Akihisa (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2023-04-01


    Format / Umfang :

    5743699 byte




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Logic-Based Modelling of Goal-Directed Behavior

    Sandewall, Erik | BASE | 1997

    Freier Zugriff

    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 Archiv | 2001