From 540206ae05e52787985c050d9fc9fa202ddb1b01 Mon Sep 17 00:00:00 2001 From: Patrick Musau Date: Wed, 13 Oct 2021 10:52:55 -0500 Subject: [PATCH] Update README.md --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 06fba81..f68ab1d 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,5 @@ # F1Tenth Rtreach - # Table of Contents 1. [Introduction](#introduction) @@ -10,6 +9,8 @@ ### Real Time Reachability for the F1Tenth Platform +**Note:** A working port of this repo to ROS-noetic exists on the branch (noetic-port). I'm working on refactoring it so that it leverages built in cmake concepts but it works as is for now. + This repo is an implementation of a runtime assurance approach by [Stanley Bak et al.](https://ieeexplore.ieee.org/document/7010482) for the F1Tenth platform. The motivation for runtime assurance stems from the ever-increasing complexity of software needed to control autonomous systems, and the need for these systems to be certified for safety and correctness. Thus the methods contained herein are used to build monitors for the system that can be used to ensure that the system remains within a safe operating mode. As an example, in the following animations we display a system with an unsafe neural network inspired controller that occasionally causes the f1tenth model to crash into walls. In the second animation, we add a real time safety monitor that switches to a safe controller when it detects a potential collision. Though the safety controller sacrifices performance it ensures that we do not collide with obstacles. The safety monitor was designed using the algorithms described by Bak et al.