Runtime assurance

An architecture that monitors an advanced controller and transfers authority to a verified safe controller when necessary.