v1v2 (latest)

Robust Guarantees for Perception-Based Control

8 July 2019

Benjamin Recht

Papers citing "Robust Guarantees for Perception-Based Control"

22 / 22 papers shown

Title
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy Deshmukh 729 17 0 31 Aug 2024
Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller Mingxin Yu Chenning Yu M.-Mahdi Naddaf-Sh Devesh Upadhyay Sicun Gao Chuchu Fan 79 4 0 01 Apr 2024
CLOSURE: Fast Quantification of Pose Uncertainty Sets Yihuai Gao Yukai Tang Han Qi Heng Yang 90 6 0 15 Mar 2024
Perceive With Confidence: Statistical Safety Assurances for Navigation with Learning-Based Perception Anushri Dixit Zhiting Mei Meghan Booker Mariko Storey-Matsutani Mariko Storey-Matsutani Allen Z. Ren Ola Shorinwa Anirudha Majumdar 225 7 0 13 Mar 2024
Data-Assisted Vision-Based Hybrid Control for Robust Stabilization with Obstacle Avoidance via Learning of Perception Maps Alejandro Murillo-González J. Poveda 30 1 0 04 Sep 2022
Safe Output Feedback Motion Planning from Images via Learned Perception Modules and Contraction Theory Glen Chou N. Ozay Dmitry Berenson 90 22 0 14 Jun 2022
Learning Safe, Generalizable Perception-based Hybrid Control with Certificates Charles Dawson Bethany Lowenkamp D. Goff Chuchu Fan 99 54 0 04 Jan 2022
Learning Robust Output Control Barrier Functions from Safe Expert Demonstrations Lars Lindemann Alexander Robey Lejun Jiang Satyajeet Das Stephen Tu Nikolai Matni 129 43 0 18 Nov 2021
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions Chiao Hsieh Keyur Joshi Sasa Misailovic Sayan Mitra 89 35 0 10 Nov 2021
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review Florian Tambon Gabriel Laberge Le An Amin Nikanjam Paulina Stevia Nouwou Mindom Y. Pequignot Foutse Khomh G. Antoniol E. Merlo François Laviolette 113 70 0 26 Jul 2021
Recurrent Equilibrium Networks: Flexible Dynamic Models with Guaranteed Stability and Robustness Max Revay Ruigang Wang I. Manchester 77 61 0 13 Apr 2021
Certifying Incremental Quadratic Constraints for Neural Networks via Convex Optimization Navid Hashemi Justin Ruths Mahyar Fazlyab 95 22 0 10 Dec 2020
PAC Confidence Predictions for Deep Neural Network Classifiers Sangdon Park Shuo Li Insup Lee Osbert Bastani UQCV 115 27 0 02 Nov 2020
Guaranteeing Safety of Learned Perception Modules via Measurement-Robust Control Barrier Functions Sarah Dean Andrew J. Taylor Ryan K. Cosner Benjamin Recht Aaron D. Ames 83 86 0 30 Oct 2020
Planning with Learned Dynamics: Probabilistic Guarantees on Safety and Reachability via Lipschitz Constants Craig Knuth Glen Chou N. Ozay Dmitry Berenson 95 34 0 18 Oct 2020
Learning the Linear Quadratic Regulator from Nonlinear Observations Zakaria Mhammedi Dylan J. Foster Max Simchowitz Dipendra Kumar Misra Wen Sun A. Krishnamurthy Alexander Rakhlin John Langford 101 30 0 08 Oct 2020
Certainty Equivalent Perception-Based Control Sarah Dean Benjamin Recht 86 28 0 27 Aug 2020
Sampling-based Reachability Analysis: A Random Set Theory Approach with Adversarial Sampling T. Lew Marco Pavone AAML 106 53 0 24 Aug 2020
Extracting Latent State Representations with Linear Dynamics from Rich Observations Abraham Frandsen Rong Ge 28 2 0 29 Jun 2020
When is Particle Filtering Efficient for Planning in Partially Observed Linear Dynamical Systems? S. Du Wei Hu Zhiyuan Li Ruoqi Shen Zhao Song Jiajun Wu 58 1 0 10 Jun 2020
On the Robustness of Data-Driven Controllers for Linear Systems A. Rajasekhar Abed AlRahman Al Makdah Vaibhav Katewa Fabio Pasqualetti 42 6 0 21 Dec 2019
$Policy Optimization for $\mathcal{H}_2$ Linear Control with $\mathcal{H}_\infty$ Robustness Guarantee: Implicit Regularization and Global Convergence$ Policy Optimization for $\mathcal{H}_2$ Linear Control with $\mathcal{H}_\infty$ Robustness Guarantee: Implicit Regularization and Global Convergence Kai Zhang Bin Hu Tamer Basar 95 121 0 21 Oct 2019