To realize a market entry of autonomous vehicles in the foreseeable future, the behavior planning system will need to abide by the same rules that humans follow. Product liability cannot be enforced without a proper solution to the approval trap. In this paper, we define a semantic abstraction of the continuous space and formalize traffic rules in linear temporal logic (LTL). Sequences in the semantic state space represent maneuvers a high-level planner could choose to execute. We check these maneuvers against the formalized traffic rules using runtime verification. By using the standard model checker NuSMV, we demonstrate the effectiveness of our approach and provide runtime properties for the maneuver verification. We show that high-level behavior can be verified in a semantic state space to fulfill a set of formalized rules, which could serve as a step towards safety of the intended functionality.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    From Specifications to Behavior: Maneuver Verification in a Semantic State Space


    Beteiligte:


    Erscheinungsdatum :

    2019-06-01


    Format / Umfang :

    473511 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Semantic state space for high-level maneuver planning in structured traffic scenes

    Kohlhaas, Ralf / Bittner, Thomas / Schamm, Thomas et al. | IEEE | 2014


    Planning of High-Level Maneuver Sequences on Semantic State Spaces

    Kohlhaas, Ralf / Hammann, Daniel / Schamm, Thomas et al. | IEEE | 2015


    Space object maneuver detection

    TACK JONSIMON / NEZDA CHRISTINE | Europäisches Patentamt | 2023

    Freier Zugriff

    SPACE OBJECT MANEUVER DETECTION

    TACK JONSIMON / NEZDA CHRISTINE | Europäisches Patentamt | 2021

    Freier Zugriff

    Space Shuttle Orbital Maneuver Subsystem

    REGNIER, W. / SCHWEICKERT, T. | AIAA | 1975