research
∙
02/04/2023
Certified Robust Control under Adversarial Perturbations
Autonomous systems increasingly rely on machine learning techniques to t...
share
research
∙
01/30/2023
RRT Guided Model Predictive Path Integral Method
This work presents an optimal sampling-based method to solve the real-ti...
research
∙
09/04/2022
Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles
As Autonomous Vehicle (AV) development has progressed, concerns regardin...
research
∙
08/30/2022
Verifiable Obstacle Detection
Perception of obstacles remains a critical safety concern for autonomous...
research
∙
03/18/2022
Sampling Complexity of Path Integral Methods for Trajectory Optimization
The use of random sampling in decision-making and control has become pop...
research
∙
03/04/2021
Estimation and Planning of Exploration Over Grid Map Using A Spatiotemporal Model with Incomplete State Observations
Path planning over spatiotemporal models can be applied to a variety of ...
research
∙
05/15/2020
Safety Constrained Multi-UAV Time Coordination: A Bi-level Control Framework in GPS Denied Environment
Unmanned aerial vehicles (UAVs) suffer from sensor drifts in GPS denied ...
research
∙
07/18/2019
Optimal Bi-level Lottery Design for Multi-agent Systems
We consider a bi-level lottery where a social planner at the high level ...
research
∙
06/11/2019
Towards Resilient UAV: Escape Time in GPS Denied Environment with Sensor Drift
This paper considers a resilient state estimation framework for unmanned...
research
∙
04/09/2018