Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
pmusau17 authored Oct 13, 2021
1 parent c61bf3c commit 540206a
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,5 @@
# F1Tenth Rtreach


# Table of Contents

1. [Introduction](#introduction)
Expand All @@ -10,6 +9,8 @@

### Real Time Reachability for the F1Tenth Platform <a name="introduction"></a>

**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.


Expand Down

0 comments on commit 540206a

Please sign in to comment.