Devansh R. Agrawal

University of Michigan — United States

Engineering · Physical Sciences

8h-index452citations37works2.22yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Advanced Control Systems Optimization(9), Robotic Path Planning Algorithms(7), Formal Methods in Verification(5), Fault Detection and Control Systems(5), Reinforcement Learning in Robotics(3)

Publications37 total

Multi-Agent Gatekeeper: Safe Flight Planning and Formation Control for Urban Air Mobility
2026
Multi-Agent gatekeeper: Safe Flight Planning and Formation Control for Urban Air Mobility
ArXiv.org·2025Open Access
Kalman-Bucy Filtering with Randomized Sensing: Fundamental Limits and Sensor Network Design for Field Estimation
arXiv (Cornell University)·2025Open Access
A Formal gatekeeper Framework for Safe Dual Control with Active Exploration
arXiv (Cornell University)·2025Open Access
R3R: Decentralized Multi-Agent Collision Avoidance with Infinite-Horizon Safety
arXiv (Cornell University)·2025Open Access
Adaptive ergodic search with energy-aware scheduling for persistent multi-robot missions
Autonomous Robots·2025· 1 citedOpen Access
Fusion of Indirect Methods and Iterative Learning for Persistent Velocity Trajectory Optimization of a Sustainably Powered Autonomous Surface Vessel
2025
Certifiably-Correct Mapping for Safe Navigation Despite Odometry Drift
2025· 1 citedOpen Access
Adaptive Ergodic Search with Energy-Aware Scheduling for Persistent Multi-Robot Missions
arXiv (Cornell University)·2025Open Access
Certifiably-Correct Mapping for Safe Navigation Despite Odometry Drift
arXiv (Cornell University)·2025Open Access
Enabling Safety for Aerial Robots: Planning and Control Architectures
arXiv (Cornell University)·2025Open Access
Autonomy Architectures for Safe Planning in Unknown Environments Under Budget Constraints
arXiv (Cornell University)·2025Open Access
Fusion of Indirect Methods and Iterative Learning for Persistent Velocity Trajectory Optimization of a Sustainably Powered Autonomous Surface Vessel
arXiv (Cornell University)·2025Open Access
Online Safety Under Multiple Constraints and Input Bounds Using gatekeeper: Theory and Applications
IEEE Control Systems Letters·2025· 1 cited
Architectures for Safe Autonomy: Provable Guarantees Across Control, Planning, and Perception
Deep Blue (University of Michigan)·2025Open Access
Reformulations of Quadratic Programs for Lipschitz Continuity
IEEE Control Systems Letters·2025
Multi-Agent Clarity-Aware Dynamic Coverage with Gaussian Processes
2024
Eclares: Energy-Aware Clarity-Driven Ergodic Search
2024· 5 cited
Multi-Agent Clarity-Aware Dynamic Coverage with Gaussian Processes
arXiv (Cornell University)·2024· 1 citedOpen Access
Online and Certifiably Correct Visual Odometry and Mapping
arXiv (Cornell University)·2024· 1 citedOpen Access
page 1 of 2Next →

Frequent Co-authors

Dimitra Panagou(31), Kaleb Ben Naveed(6), Hardik Parwana(4), Ruichang Chen(3), Rajiv Govindjee(3), Jiangbo Yu(3), Anurekha Ravikumar(3), Yuji Tanabe(2), Desen Weng(2), Andrew Ma(2), Stephanie Hsu(2), Song-Yan Liao(2), Zhe Zhen(2), Ziyi Zhu(2), Chuanbowen Sun(2), Zhenya Dong(2), Ada S. Y. Poon(2), John S. Ho(2), Kunal Garg(2), James Usevitch(2)