Imitation learning provides a way to automatically construct a controller by mimicking human behavior from data. For safety-critical systems such as autonomous vehicles, it can be problematic to use controllers learned from data because they cannot be guaranteed to be collision-free. Recently, a method has been proposed for learning a multi-mode hybrid automaton cruise controller (MOHA). Besides being accurate, the logical nature of this model makes it suitable for formal verification. In this paper, we demonstrate this capability using the SpaceEx hybrid model checker as follows. We develop an automated tool to translate the automaton model into constraints and equations required by SpaceEx. We then verify that a pure MOHA controller is not collision-free. By adding a safety state based on headway in time, a rule that human drivers should follow anyway, we do obtain a provably safe cruise control. Moreover, the safe controller remains more humanlike than existing cruise controllers.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Safety Verification of a Data-driven Adaptive Cruise Controller


    Beteiligte:
    Lin, Qin (Autor:in) / Verwer, Sicco (Autor:in) / Dolan, John (Autor:in)


    Erscheinungsdatum :

    2020-10-19


    Format / Umfang :

    1503309 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Energy-optimal adaptive cruise controller

    BAUER PETER H / MELLO EDUARDO F / BAUER STEPHEN F | Europäisches Patentamt | 2021

    Freier Zugriff

    ENERGY-OPTIMAL ADAPTIVE CRUISE CONTROLLER

    BAUER PETER H / MELLO EDUARDO F / BAUER STEFFEN F | Europäisches Patentamt | 2020

    Freier Zugriff

    Self-adaptive cruise controller mounting structure

    CAO YANG | Europäisches Patentamt | 2022

    Freier Zugriff

    Reachability analysis of cooperative adaptive cruise controller

    Kianfar, Roozbeh / Falcone, Paolo / Fredriksson, Jonas | IEEE | 2012


    Self-adaptive cruise controller support assembly structure

    JIAO ZHE / ZHOU BUJUN / GUO ZHIYUAN et al. | Europäisches Patentamt | 2015

    Freier Zugriff