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
243 * 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
177 2021 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
93 2023 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
60 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
34 2019 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
31 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
15 2020 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
14 * 2023 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
13 2024 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
13 2022 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
11 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
9 2023 Certifiable Robot Design Optimization using Differentiable Programming C Dawson, C Fan
Robotics: Science and Systems 2022, 2022
9 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 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
4 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
3 2022 Fast Certification of Collision Probability Bounds with Uncertain Convex Obstacles C Dawson, A Hofmann, B Williams
arXiv preprint arXiv:2003.07792, 2020
3 2020 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
2 2024 Learning-based Bayesian Inference for Testing of Autonomous Systems A Parashar, J Yin, C Dawson, P Tsiotras, C Fan
IEEE Robotics and Automation Letters, 2024
1 2024 Adversarial optimization leads to over-optimistic security-constrained dispatch, but sampling can help C Dawson, C Fan
2023 North American Power Symposium (NAPS), 1-6, 2023
1 2023