Skip to content

Commit ef4548a

Browse files
committed
added precommit
1 parent eeda108 commit ef4548a

30 files changed

+82
-80
lines changed

.github/workflows/hugo.yaml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -37,7 +37,7 @@ jobs:
3737
- name: Install Hugo CLI
3838
run: |
3939
wget -O ${{ runner.temp }}/hugo.deb https://github.com/gohugoio/hugo/releases/download/v${HUGO_VERSION}/hugo_extended_${HUGO_VERSION}_linux-amd64.deb \
40-
&& sudo dpkg -i ${{ runner.temp }}/hugo.deb
40+
&& sudo dpkg -i ${{ runner.temp }}/hugo.deb
4141
# dont install dart sass, we arent using it
4242
# - name: Install Dart Sass
4343
# run: sudo snap install dart-sass
@@ -60,7 +60,7 @@ jobs:
6060
hugo \
6161
--gc \
6262
--minify \
63-
--baseURL "${{ steps.pages.outputs.base_url }}/"
63+
--baseURL "${{ steps.pages.outputs.base_url }}/"
6464
- name: Upload artifact
6565
uses: actions/upload-pages-artifact@v3
6666
with:

.gitignore

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,4 +13,4 @@ hugo.linux
1313
/.hugo_build.lock
1414

1515
# Misc. files to ignore
16-
*.DS_Store
16+
*.DS_Store

.pre-commit-config.yaml

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
# See https://pre-commit.com for more information
2+
# See https://pre-commit.com/hooks.html for more hooks
3+
repos:
4+
- repo: https://github.com/pre-commit/pre-commit-hooks
5+
rev: v3.2.0
6+
hooks:
7+
- id: trailing-whitespace
8+
- id: end-of-file-fixer
9+
- id: check-yaml
10+
- id: check-added-large-files

archetypes/default.md

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,4 +3,3 @@ title = '{{ replace .File.ContentBaseName "-" " " | title }}'
33
date = {{ .Date }}
44
draft = false
55
+++
6-

archetypes/papers.md

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -4,23 +4,23 @@ layout: papers
44
title: "Paper Title"
55
# specify the date it was published
66
date: 1900-01-01
7-
# list the authors. if a "/people/id" page exists for the person, it will be linked. If not, the author's name is printed exactly as you typed it.
7+
# list the authors. if a "/people/id" page exists for the person, it will be linked. If not, the author's name is printed exactly as you typed it.
88
authors:
9-
- dimitrapanagou
9+
- dimitrapanagou
1010
# give the main figure location, relative to /static/
1111
image: /images/default_paper.png
1212
# specify the conference or journal that it was published in
13-
venue:
13+
venue:
1414
# link to publisher site (optional)
15-
link:
15+
link:
1616
# link to arxiv (optional)
17-
arxiv:
17+
arxiv:
1818
# link to github (optional)
19-
code:
19+
code:
2020
# link to video (optional)
21-
video:
21+
video:
2222
# link to pdf (optional)
23-
pdf:
23+
pdf:
2424
# abstract
2525
abstract:
2626
# bib entry (optional). the |- is used to allow for multiline entry.

archetypes/people.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -5,11 +5,11 @@ category: PhD
55
# give the path relative to static/
66
image: "/images/default_profile.webp"
77
# start year, used for sorting
8-
year:
8+
year:
99
# link to personal website (optional)
10-
link:
11-
# email id (optional)
10+
link:
11+
# email id (optional)
1212
# put mailto: before your email
1313
# Example: mailto:[email protected]
14-
mail:
14+
mail:
1515
---

content/news/2024-gatekeeper-tro-accepted.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,4 +4,4 @@ title: "IEEE TCAC Best Student Paper Award"
44
date: 2024-07-14
55
---
66

7-
Our paper ["Sensor-based Planning and Control for Robotic Systems: Introducing Clarity and Perceivability"](/papers/2023-perceivability) has won the IEEE Technical Committee on Aerospace Controls (TCAC) best paper award.
7+
Our paper ["Sensor-based Planning and Control for Robotic Systems: Introducing Clarity and Perceivability"](/papers/2023-perceivability) has won the IEEE Technical Committee on Aerospace Controls (TCAC) best paper award.

content/papers/2022-differentially-flat.md

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -10,16 +10,16 @@ authors:
1010
- Ryan K Cosner
1111
- Ugo Rosolia
1212
- Aaron D Ames
13-
- dimitrapanagou
13+
- dimitrapanagou
1414
# give the main figure location, relative to /static/
1515
# link to publisher site (optional)
1616
link: https://doi.org/10.1109/LCSYS.2021.3136465
1717
# link to arxiv (optional)
18-
arxiv:
18+
arxiv:
1919
# link to github (optional)
20-
code:
20+
code:
2121
# link to video (optional)
22-
video:
22+
video:
2323
# link to pdf (optional)
2424
pdf: /pdfs/2021-differentially-flat.pdf
2525
# abstract
@@ -39,8 +39,8 @@ problem."
3939
bib: |-
4040
@ARTICLE{9655322,
4141
author={Agrawal, Devansh R. and Parwana, Hardik and Cosner, Ryan K. and Rosolia, Ugo and Ames, Aaron D. and Panagou, Dimitra},
42-
journal={IEEE Control Systems Letters},
43-
title={A Constructive Method for Designing Safe Multirate Controllers for Differentially-Flat Systems},
42+
journal={IEEE Control Systems Letters},
43+
title={A Constructive Method for Designing Safe Multirate Controllers for Differentially-Flat Systems},
4444
year={2022},
4545
volume={6},
4646
number={},

content/papers/2022-observer-controller.md

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4,14 +4,14 @@ title: "Safe and robust observer-controller synthesis using control barrier fun
44
date: 2022-06-22
55
image: /images/2022-observer-controller.png
66
venue: "IEEE L-CSS and CDC 2022"
7-
authors:
7+
authors:
88
- devanshagrawal
99
- dimitrapanagou
1010
link: https://doi.org/10.1109/LCSYS.2022.3185142
11-
arxiv:
12-
code:
11+
arxiv:
12+
code:
1313
abstract: "This letter addresses the synthesis of safety-critical controllers using estimate feedback. We propose an observer-controller interconnection to ensure that the nonlinear system remains safe despite bounded disturbances on the system dynamics and measurements that correspond to partial state information. The co-design of observers and controllers is critical, since even in undisturbed cases, observers and controllers designed independently may not render the system safe. We propose two approaches to synthesize observer-controller interconnections. The first approach utilizes Input-to-State Stable observers, and the second uses Bounded Error observers. Using these stability and boundedness properties of the observation error, we construct novel Control Barrier Functions that impose inequality constraints on the control inputs which, when satisfied, certifies safety. We propose quadratic program-based controllers to satisfy these constraints, and prove Lipschitz continuity of the derived controllers. Simulations and experiments on a quadrotor demonstrate the efficacy of the proposed methods."
14-
excerpt:
14+
excerpt:
1515
pdf: /pdfs/2022-observer-controller.pdf
1616
bib: |-
1717
@article{agrawal2022safe,

content/papers/2023-gatekeeper-iros.md

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -4,13 +4,13 @@ title: "gatekeeper: Online safety verification and control for nonlinear system
44
date: 2023-10-01
55
image: /images/2023-gatekeeper-iros.png
66
venue: "IEEE IROS 2023"
7-
authors:
7+
authors:
88
- devanshagrawal
99
- Ruichang Chen
1010
- dimitrapanagou
11-
link: https://doi.org/10.1109/IROS55552.2023.10341790
11+
link: https://doi.org/10.1109/IROS55552.2023.10341790
1212
arxiv: https://arxiv.org/abs/2211.14361
13-
code: https://github.com/dev10110/gatekeeper
13+
code: https://github.com/dev10110/gatekeeper
1414
abstract: "This paper presents the gatekeeper algorithm, a real-time and computationally-lightweight method to ensure that nonlinear systems can operate safely in dynamic environments despite limited perception. gatekeeper integrates with existing path planners and feedback controllers by introducing an additional verification step that ensures 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 committed trajectories, and (B) we prove that tracking the committed trajectory ensures the system is safe for all time into the future. The method is demonstrated on a complicated firefighting mission in a dynamic environment, and compares against the state-of-the-art techniques for similar problems."
1515
pdf: /pdfs/2023-gatekeeper-iros.pdf
1616
bib: |-
@@ -21,5 +21,5 @@ bib: |-
2121
pages={259--266},
2222
year={2023},
2323
organization={IEEE}
24-
}
25-
---
24+
}
25+
---

0 commit comments

Comments
 (0)