67 citations · 135 across the 21 of their papers we have counts for
11 papers · 1 filter
Multi-Agent gatekeeper: Safe Flight Planning and Formation Control for Urban Air Mobility
Thomas Marshall Vielmetti, Devansh R Agrawal, Dimitra Panagou
We present Multi-Agent gatekeeper, a framework that provides provable safety guarantees for leader-follower formation control in cluttered 3D environments. Existing methods face a…
Kalman-Bucy Filtering with Randomized Sensing: Fundamental Limits and Sensor Network Design for Field Estimation
Xinyi Wang, Devansh R. Agrawal, Dimitra Panagou
Stability analysis of the Kalman filter under randomly lost measurements has been widely studied. We revisit this problem in a general continuous-time framework, where both the mea…
R3R: Decentralized Multi-Agent Collision Avoidance with Infinite-Horizon Safety
Thomas Marshall Vielmetti, Devansh R. Agrawal, Dimitra Panagou
Existing decentralized methods for multi-agent motion planning lack formal, infinite-horizon safety guarantees, especially for communication-constrained systems. We present R3R whi…
A Formal gatekeeper Framework for Safe Dual Control with Active Exploration
Kaleb Ben Naveed, Devansh R. Agrawal, Dimitra Panagou
Planning safe trajectories under model uncertainty is a fundamental challenge. Robust planning ensures safety by considering worst-case realizations, yet ignores uncertainty reduct…
Reformulations of Quadratic Programs for Lipschitz Continuity
Devansh R. Agrawal, Haejoon Lee, Dimitra Panagou
Optimization-based controllers often lack regularity guarantees, such as Lipschitz continuity, when multiple constraints are present. When used to control a dynamical system, these…
Online Safety under Multiple Constraints and Input Bounds using gatekeeper: Theory and Applications
Devansh R. Agrawal, Dimitra Panagou
This letter presents an approach to guarantee online safety of a cyber-physical system under multiple state and input constraints. Our proposed framework, called gatekeeper, recurs…
Adaptive Ergodic Search with Energy-Aware Scheduling for Persistent Multi-Robot Missions
Kaleb Ben Naveed, Devansh R. Agrawal, Rahul Kumar +1
Autonomous robots are increasingly deployed for long-term information-gathering tasks, which pose two key challenges: planning informative trajectories in environments that evolve…
Certifiably-Correct Mapping for Safe Navigation Despite Odometry Drift
Devansh R. Agrawal, Taekyung Kim, Rajiv Govindjee +4
Accurate perception, state estimation and mapping are essential for safe robotic navigation as planners and controllers rely on these components for safety-critical decisions. Howe…
Enabling Safety for Aerial Robots: Planning and Control Architectures
Kaleb Ben Naveed, Devansh R. Agrawal, Daniel M. Cherenson +6
Ensuring safe autonomy is crucial for deploying aerial robots in real-world applications. However, safety is a multifaceted challenge that must be addressed from multiple perspecti…
Autonomy Architectures for Safe Planning in Unknown Environments Under Budget Constraints
Daniel M. Cherenson, Devansh R. Agrawal, Dimitra Panagou
Mission planning can often be formulated as a constrained control problem under multiple path constraints (i.e., safety constraints) and budget constraints (i.e., resource expendit…
Fusion of Indirect Methods and Iterative Learning for Persistent Velocity Trajectory Optimization of a Sustainably Powered Autonomous Surface Vessel
Kavin M. Govindarajan, Devansh R Agrawal, Dimitra Panagou +1
In this paper, we present the methodology and results for a real-time velocity trajectory optimization for a solar-powered autonomous surface vessel (ASV), where we combine indirec…