Skip to content

Commit 33d5fa6

Browse files
authored
Merge pull request #54 from dasc-lab/add_2025_info
Equal contribution highlight feature & add new students
2 parents 35b8a2d + fc70a70 commit 33d5fa6

27 files changed

Lines changed: 171 additions & 23 deletions
Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
---
2+
layout: news
3+
title: Our paper won IEEE TC on Robot Control <span style="color:red"><strong>Best Paper Award Finalist</strong>!</span>
4+
date: 2025-08-04
5+
---
6+
7+
Our paper ["Gatekeeper: Online Safety Verification and Control for Nonlinear Systems in Dynamic Environments"](/papers/2024-gatekeeper-tro.md) was selected as one of the finalists for the 2024 Best Paper Award of the IEEE RAS Technical Committee on Robot Control (TC-RC). [link](https://ieee-ras-robot-control.github.io/awards/)

content/papers/2022/2022-differentially-flat.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ image: /images/2021-differentially-flat.png
66
venue: "IEEE L-CSS and ACC 2022"
77
authors:
88
- devanshagrawal
9-
- Hardik Parwana
9+
- hardikparwana
1010
- Ryan K Cosner
1111
- Ugo Rosolia
1212
- Aaron D Ames

content/papers/2022/2022-parwana-recursive_feasibility_guided_optimal_parameter_adaptation_of_differential_convex_optimization_policies_for_safety_critical_systems.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ abstract: Quadratic Program(QP) based state-feedback controllers, whose inequali
1717
sensitivity analysis, and (2) backpropagating these as well as system dynamics gradients
1818
to update parameters while maintaining feasibility of QPs.
1919
authors:
20-
- Hardik Parwana
20+
- hardikparwana
2121
- dimitrapanagou
2222
bib: "@inproceedings{DBLP:conf/icra/ParwanaP22,\n author = {Hardik Parwana\
2323
\ and\n Dimitra Panagou},\n title = {Recursive Feasibility\

content/papers/2022/2022-parwana-trust_based_rate_tunable_control_barrier_functions_for_non_cooperative_multi_agent_systems.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ abstract: For efficient and robust task accomplishment in multi-agent systems, a
1212
and control method is evaluated via simulations on heterogeneous multi-agent systems
1313
including non-cooperative agents.
1414
authors:
15-
- Hardik Parwana
15+
- hardikparwana
1616
- Aquib Mustafa
1717
- dimitrapanagou
1818
bib: "@inproceedings{DBLP:conf/cdc/ParwanaMP22,\n author = {Hardik Parwana\

content/papers/2024/2024-advances-in-cbfs.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ authors:
1010
- Joseph Breeden
1111
- Mitchell Black
1212
- devanshagrawal
13-
- Hardik Parwana
13+
- hardikparwana
1414
- dimitrapanagou
1515
link: https://doi.org/10.1016/j.arcontrol.2024.100945
1616
arxiv:
Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,26 @@
1+
---
2+
layout: papers
3+
title: "gatekeeper: Online Safety Verification and Control for Nonlinear Systems in Dynamic Environments"
4+
date: 2024-09-04
5+
image: /images/2023-gatekeeper-iros.png
6+
venue: "IEEE T-RO 2024"
7+
authors:
8+
- devanshagrawal
9+
- Ruichang Chen
10+
- dimitrapanagou
11+
link: https://ieeexplore.ieee.org/document/10665919
12+
arxiv: https://arxiv.org/abs/2211.14361
13+
code: https://github.com/dev10110/gatekeeper
14+
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."
15+
bib: |-
16+
@inproceedings{agrawal2024gatekeeper,
17+
title={gatekeeper: Online safety verification and control for nonlinear systems in dynamic environments},
18+
author={Agrawal, Devansh and Chen, Ruichang and Panagou, Dimitra},
19+
booktitle={{IEEE Transactions on Robotics},
20+
year={2024},
21+
volume={40},
22+
number={},
23+
pages={4358-4375},
24+
organization={IEEE}
25+
}
26+
---

content/papers/2024/2024-parwana-algorithms_for_finding_compatible_constraints_in_receding_horizon_control_of_dynamical_systems.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ abstract: This paper addresses synthesizing receding-horizon controllers for non
2222
multiple time and state constraints, and compared to a greedy method based on the
2323
Lagrange multiplier.
2424
authors:
25-
- Hardik Parwana
25+
- hardikparwana
2626
- Ruiyang Wang
2727
- dimitrapanagou
2828
bib: "@inproceedings{DBLP:conf/amcc/ParwanaWP24,\n author = {Hardik Parwana\

content/papers/2026/2026-dpcbf.md

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
---
2+
layout: papers
3+
title: "Beyond Collision Cones: Dynamic Obstacle Avoidance for Nonholonomic Robots via Dynamic Parabolic Control Barrier Functions"
4+
date: 2026-01-01
5+
image: /images/2026-dpcbf.gif
6+
venue: "under review"
7+
authors:
8+
- hunkukpark*
9+
- taekyungkim*
10+
- dimitrapanagou
11+
projectpage: https://www.taekyung.me/dpcbf
12+
arxiv: https://arxiv.org/abs/2510.01402
13+
code: https://github.com/tkkim-robot/safe_control/tree/main/dynamic_env
14+
video: https://youtu.be/57qgoe7YJao
15+
abstract: "Control Barrier Functions (CBFs) are a powerful tool for ensuring the safety of autonomous systems, yet applying them to nonholonomic robots in cluttered, dynamic environments remains an open challenge. State-of-the-art methods often rely on collision-cone or velocity-obstacle constraints which, by only considering the angle of the relative velocity, are inherently conservative and can render the CBF-based quadratic program infeasible, particularly in dense scenarios. To address this issue, we propose a Dynamic Parabolic Control Barrier Function (DPCBF) that defines the safe set using a parabolic boundary. The parabola's vertex and curvature dynamically adapt based on both the distance to an obstacle and the magnitude of the relative velocity, creating a less restrictive safety constraint. We prove that the proposed DPCBF is valid for a kinematic bicycle model subject to input constraints. Extensive comparative simulations demonstrate that our DPCBF-based controller significantly enhances navigation success rates and QP feasibility compared to baseline methods. Our approach successfully navigates through dense environments with up to 100 dynamic obstacles, scenarios where collision cone-based methods fail due to infeasibility."
16+
---
Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
---
2+
layout: papers
3+
title: "Safe Model Predictive Diffusion with Shielding"
4+
date: 2026-01-02
5+
image: /images/2026-safe_mpd.gif
6+
venue: "under review"
7+
authors:
8+
- taekyungkim
9+
- Keyvan Majd
10+
- Hideki Okamoto
11+
- Bardh Hoxha
12+
- dimitrapanagou
13+
- Georgios Fainekos
14+
projectpage: https://www.taekyung.me/safe-mpd
15+
arxiv:
16+
code:
17+
video: https://youtu.be/DQBeybU7EYI
18+
abstract: "Generating safe, kinodynamically feasible, and optimal trajectories for complex robotic systems is a central challenge in robotics. This paper presents Safe Model Predictive Diffusion (Safe MPD), a training-free diffusion planner that unifies a model-based diffusion framework with a safety shield to generate trajectories that are both kinodynamically feasible and safe by construction. By enforcing feasibility and safety on all samples during the denoising process, our method avoids the common pitfalls of post-processing corrections, such as computational intractability and loss of feasibility. We validate our approach on challenging non-convex planning problems, including kinematic and acceleration-controlled tractor-trailer systems. The results show that it substantially outperforms existing safety strategies in success rate and safety, while achieving sub-second computation times. "
19+
---

content/people/akshunntrivedi.md

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
---
2+
title: 'Akshunn Trivedi'
3+
# choose a category from [Faculty, PostDoc, PhD, Masters, Visiting, Alumni]. Be careful about the capitalization.
4+
category: Masters
5+
# give the path relative to static/
6+
image: "/images/akshunntrivedi.jpg"
7+
# start year, used for sorting
8+
year: 2025
9+
# link to personal website (optional)
10+
link: "https://www.akshunntrivedi.com/"
11+
# email id (optional)
12+
# put mailto: before your email
13+
# Example:
14+
mail: mailto:akshunn@umich.edu
15+
---

0 commit comments

Comments
 (0)