Papers
14
Total Citations
467
H-Index
8
About
Charles Dawson is a robotics and control systems researcher whose work sits at the intersection of machine learning, formal verification, and autonomous systems. He is best known for advancing the theory and practice of **safe, learning-enabled control**, with a particular focus on neural Lyapunov, barrier, and contraction methods that provide mathematical guarantees on the stability and safety of learned controllers. His highly influential 2023 survey on this topic has already amassed over 200 citations, establishing it as a definitive reference in the field. Dawson has made significant contributions to certifiably safe control under realistic conditions, including high-dimensional perception inputs such as cameras and LiDAR, multi-robot systems, and uncertain nonlinear dynamics. His work on integrating Control Barrier Functions with Neural Radiance Fields and vision-based controllers reflects a commitment to bridging theoretical guarantees with practical robotics challenges. More recently, he has explored the use of large language models for task and motion planning, demonstrating broad intellectual range. With over 450 total citations across his published works, Dawson's research is shaping how the robotics community thinks about deploying powerful but provably trustworthy autonomous systems in complex, real-world environments.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3
- 4
- 5Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions27 citations · 2021
- 6
- 7
- 8
- 9
- 10Certifiable Robot Design Optimization using Differentiable Programming4 citations · 2022