added accepted gatekeeper paper

.github/workflows/links.yml

@@ -0,0 +1,25 @@
+name: Links
+
+on:
+  repository_dispatch:
+  workflow_dispatch:
+  schedule:
+    - cron: "00 18 * * *"
+
+jobs:
+  linkChecker:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Link Checker
+        id: lychee
+        uses: lycheeverse/lychee-action@v1
+
+      - name: Create Issue From File
+        if: env.lychee_exit_code != 0
+        uses: peter-evans/create-issue-from-file@v4
+        with:
+          title: Link Checker Report
+          content-filepath: ./lychee/out.md
+          labels: report, automated issue

README.md

@@ -19,7 +19,13 @@ docker run -p 4000:4000 -v $(pwd):/site bretfisher/jekyll-serve
 ```
 from https://github.com/BretFisher/jekyll-serve
 
-<!-- 
-## Thumbnails
-* I use thumbnails, so I can upload arbitrary sized images but then only display small ones. The `_make_thumbnails.sh` script generates them and the html template looks in `tn/` for all images.  -->
 
+## Link Checking
+
+Use `lychee`: https://lychee.cli.rs/introduction/
+
+Simply run 
+```
+lychee http://127.0.0.1:4000
+```
+to run through the website and see if there are any broken links. 

_layouts/home.html

@@ -20,7 +20,7 @@ <h2 id="{{category}}">{{category | capitalize }}</h2>
         <div class="row mt-3 mb-5">
           <div class="col-md-3">
             <a href="{{ post.url }}">
-              {% if {{post.image}} %}
+              {% if post.image %}
               <img
                 src="{{ post.image }}"
                 alt="project image"

_papers/2024-09-04-gatekeeper-tro.md

@@ -0,0 +1,25 @@
+---
+layout: papers
+title:  "gatekeeper: Online Safety Verification and Control for Nonlinear Systems in Dynamic Environments"
+date: 2024-09-04
+image: /images/2024-gatekeeper-tro.png
+venue: "IEEE T-RO 2024"
+authors: "<strong>Devansh Agrawal</strong>, Ruichang Chen, and Dimitra Panagou"
+code: https://github.com/dev10110/multiagent-clarity-based-dynamic-coverage/ 
+abstract: "This paper presents the gatekeeper algorithm, a real-time and computationally-lightweight method that ensures that trajectories of a nonlinear system satisfy safety constraints despite sensing limitations. gatekeeper integrates with existing path planners and feedback controllers by introducing an additional verification step to ensure that proposed trajectories can be executed safely, despite nonlinear dynamics subject to bounded disturbances, input constraints and partial knowledge of the environment. Our key contribution is that (A) we propose an algorithm to recursively construct safe trajectories by numerically forward propagating the system over a (short) finite horizon, and (B) we prove that tracking such a trajectory ensures the system remains safe for all future time, i.e., beyond the finite horizon. We demonstrate the method in a simulation of a dynamic firefighting mission, and in physical experiments of a quadrotor navigating in an obstacle environment that is sensed online. We also provide comparisons against the state-of-the-art techniques for similar problems."
+link: https://ieeexplore.ieee.org/document/10665919
+pdf: pdfs/2024-gatekeeper-tro.pdf
+bib: |-
+    @ARTICLE{10665919,
+      author={Agrawal, Devansh Ramgopal and Chen, Ruichang and Panagou, Dimitra},
+      journal={IEEE Transactions on Robotics},
+      title={gatekeeper: Online Safety Verification and Control for Nonlinear Systems in Dynamic Environments},
+      year={2024},
+      volume={},
+      number={},
+      pages={1-17},
+      keywords={Trajectory;Safety;Robots;Logic gates;Robot sensing systems;Nonlinear dynamical systems;Quadrotors;Collision Avoidance;Motion and Path Planning;Aerial Systems: Applications;Safety-Critical Control},
+      doi={10.1109/TRO.2024.3454415}
+    }
+
+---