The airworthiness and safety of a non-pedigreed autopilot must be verified, but the cost to formally do so can be prohibitive. We can bypass formal verification of non-pedigreed components by incorporating Runtime Safety Assurance (RTSA) as mechanism to ensure safety. RTSA consists of a meta-controller that observes the inputs and outputs of a non-pedigreed component and verifies formally specified behavior as the system operates. When the system is triggered, a verified recovery controller is deployed. Recovery controllers are designed to be safe but very likely disruptive to the operational objective of the system, and thus RTSA systems must balance safety and efficiency. The objective of this paper is to design a meta-controller capable of identifying unsafe situations with high accuracy. High dimensional and non-linear dynamics in which modern controllers are deployed along with the black-box nature of the nominal controllers make this a difficult problem. Current approaches rely heavily on domain expertise and human engineering. We frame the design of RTSA with the Markov decision process (MDP) framework and use reinforcement learning (RL) to solve it. Our learned meta-controller consistently exhibits superior performance in our experiments compared to our baseline, human engineered approach.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Runtime Safety Assurance Using Reinforcement Learning


    Contributors:


    Publication date :

    2020-10-11


    Size :

    1013169 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Runtime Assurance for Distributed Avionics Architecture

    Ghori, Salman / Khamvilai, Thanakorn / Feron, Eric et al. | IEEE | 2022


    Runtime Assurance for Autonomous Aerospace Systems

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



    Certifiable Runtime Assurance of Distributed Real-Time Systems

    Chaki, Sagar / de Niz, Dionisio | AIAA | 2017


    Runtime Assurance for Autonomous Driving with Neural Reachability

    Bogomolov, Sergiy / Hekal, Abdelrahman / Hoxha, Bardh et al. | IEEE | 2022