The development of safe autonomous vehicles remains a challenge. Modern autonomous driving controllers are able to operate safely in most operating conditions, however, rare conditions may cause undesired behaviors. To alleviate this issue, a complex controller may be paired with a simpler, yet verified, controller in a simplex architecture. To switch between the two, we take inspiration from formal methods, namely reachability analysis, to develop an online method called neural reachability that estimates the reachable sets of the system. The method predicts the possible states of the system under uncertain initial states and disturbances in control. The approach utilizes deep neural networks for conservative approximation of reachable sets in bounded time. If an intersection of the reachable set with an unsafe set is detected, a simple verified controller is utilized. We show how a deep neural network is trained using existing reachability analysis algorithms and demonstrate how neural reachability may be utilized in a simplex architecture. Also, we provide probabilistic guarantees based on statistical model checking approaches. Finally, the approach is evaluated as part of a resilient safety architecture for autonomous vehicles in a simulated environment with several maneuvers. Our evaluation demonstrates that reachability analysis can be done within a fraction of a second and outperforms traditional nonlinear reachability tools by two orders of magnitude.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Runtime Assurance for Autonomous Driving with Neural Reachability


    Beteiligte:


    Erscheinungsdatum :

    2022-10-08


    Format / Umfang :

    1092690 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Runtime Assurance for Autonomous Aerospace Systems

    Schierman, John D. / DeVore, Michael D. / Richards, Nathan D. et al. | AIAA | 2020


    REACHABILITY ESTIMATION IN DYNAMIC DRIVING SCENES FOR AUTONOMOUS VEHICLES

    Medina-Lee, Juan Felipe / Artuñedo, Antonio / Godoy, Jorge et al. | British Library Conference Proceedings | 2020


    Reachability Estimation in Dynamic Driving Scenes for Autonomous Vehicles

    Medina-Lee, Juan Felipe / Artunedo, Antonio / Godoy, Jorge et al. | IEEE | 2020


    Reachability Estimation in Dynamic Driving Scenes for Autonomous Vehicles

    Medina-Lee, Juan Felipe / Artuñedo, Antonio / Godoy, Jorge et al. | BASE | 2020

    Freier Zugriff

    Runtime Safety Assurance Using Reinforcement Learning

    Lazarus, Christopher / Lopez, James G. / Kochenderfer, Mykel J. | IEEE | 2020