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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Safety Verification of a Data-driven Adaptive Cruise Controller


    Contributors:
    Lin, Qin (author) / Verwer, Sicco (author) / Dolan, John (author)


    Publication date :

    2020-10-19


    Size :

    1503309 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    SAFETY VERIFICATION OF A DATA-DRIVEN ADAPTIVE CRUISE CONTROLLER

    Lin, Qin / Verwer, Sicco / Dolan, John | British Library Conference Proceedings | 2020


    Energy-optimal adaptive cruise controller

    BAUER PETER H / MELLO EDUARDO F / BAUER STEPHEN F | European Patent Office | 2021

    Free access

    ENERGY-OPTIMAL ADAPTIVE CRUISE CONTROLLER

    BAUER PETER H / MELLO EDUARDO F / BAUER STEFFEN F | European Patent Office | 2020

    Free access

    Adaptive cruise control method, adaptive cruise controller, storage medium and vehicle

    LI BINGYAN / YANG YOUTIAN / WANG XIAOYING et al. | European Patent Office | 2024

    Free access

    Self-adaptive cruise controller mounting structure

    CAO YANG | European Patent Office | 2022

    Free access