12 papers
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…
Trajectory Planning for Safe Dual Control with Active Exploration
Kaleb Ben Naveed, Manveer Singh, Devansh R. Agrawal +1
Planning safe trajectories under model uncertainty is a fundamental challenge. Robust planning ensures safety by considering worst-case realizations, yet ignores uncertainty reduct…
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…
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…
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…