Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control C Dawson, S Gao, C Fan
IEEE Transactions on Robotics, 2023
143 * 2023 Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions C Dawson, Z Qin, S Gao, C Fan
5th Annual Conference on Robot Learning, 2021
115 2021 Learning safe, generalizable perception-based hybrid control with certificates C Dawson, B Lowenkamp, D Goff, C Fan
IEEE Robotics and Automation Letters 7 (2), 1904-1911, 2022
39 2022 Magnetic properties of double perovskite : Hetero-tri-spin systems X Ding, B Gao, E Krenkel, C Dawson, JC Eckert, SW Cheong, V Zapf
Physical Review B 99 (1), 014438, 2019
30 2019 AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers Y Chen, J Arkin, C Dawson, Y Zhang, N Roy, C Fan
arXiv preprint arXiv:2306.06531, 2023
28 2023 Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields M Tong, C Dawson, C Fan
2023 IEEE International Conference on Robotics and Automation (ICRA), 10511 …, 2023
14 2023 Provably Safe Trajectory Optimization in the Presence of Uncertain Convex Obstacles C Dawson, A Jasour, A Hofmann, B Williams
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2020
12 2020 Autonomously Deployable Tower Infrastructure for Exploration and Communication in Lunar Permanently Shadowed Regions GC Lordos, C Amy, B Browder, M Chan, C Dawson, P do Vale Pereira, ...
ASCEND 2020, 4109, 2020
9 2020 Robust Counterexample-guided Optimization for Planning from Differentiable Temporal Logic C Dawson, C Fan
2022 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2022
8 2022 Shield Model Predictive Path Integral: A Computationally Efficient Robust MPC Method Using Control Barrier Functions J Yin, C Dawson, C Fan, P Tsiotras
IEEE Robotics and Automation Letters, 2023
6 * 2023 Certifiable Robot Design Optimization using Differentiable Programming C Dawson, C Fan
Robotics: Science and Systems 2022, 2022
6 2022 A sensitivity‐based approach to solving the inverse eigenvalue problem for linear structures carrying lumped attachments CB Dawson, PD Cha
International Journal for Numerical Methods in Engineering 120 (5), 537– 566, 2019
6 2019 Learning safe control for multi-robot systems: Methods, verification, and open challenges K Garg, S Zhang, O So, C Dawson, C Fan
Annual Reviews in Control 57, 100948, 2024
3 2024 Model-free Neural Fault Detection and Isolation for Safe Control K Garg, C Dawson, K Xu, M Ornik, C Fan
IEEE Control Systems Letters, 2023
3 2023 Fast Certification of Collision Probability Bounds with Uncertain Convex Obstacles C Dawson, A Hofmann, B Williams
arXiv preprint arXiv:2003.07792, 2020
3 2020 A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via sampling C Dawson, C Fan
7th Annual Conference on Robot Learning, 2023
2 2023 Barrier functions enable safety-conscious force-feedback control C Dawson, A Garrett, F Pollok, Y Zhang, C Fan
arXiv preprint arXiv:2209.12270, 2022
2 2022 Chance-Constrained Trajectory Optimization for High-DOF Robots in Uncertain Environments C Dawson, A Jasour, A Hofmann, B Williams
arXiv preprint arXiv:2302.00122, 2023
1 2023 RADIUM: Predicting and Repairing End-to-End Robot Failures using Gradient-Accelerated Sampling C Dawson, A Parashar, C Fan
arXiv preprint arXiv:2404.03412, 2024
2024 Active Disruption Avoidance and Trajectory Design for Tokamak Ramp-downs with Neural Differential Equations and Reinforcement Learning AM Wang, O So, C Dawson, DT Garnier, C Rea, C Fan
arXiv preprint arXiv:2402.09387, 2024
2024