Adaptive control, reachability, and stability under uncertainty.
Lyapunov-stable adaptive control with control-barrier-function safety filters for a 6-DOF non-linear quadrotor under parametric uncertainty, input saturation, and obstacle constraints. Hamilton-Jacobi reachability for safe-set computation on Dubins vehicles, vertical takeoff and landing systems, and ten nuclear-facility wireless networks at Idaho National Laboratory. LQR-PI control of NASA Langley's Magnetic Suspension and Balance System, expanding the dynamic-pressure testing envelope by 100% via a robust MRAC architecture.