80 citations · 103 across the 3 of their papers we have counts for
4 papers
FaSTrack: a Modular Framework for Real-Time Motion Planning and Guaranteed Safe Tracking
Mo Chen, Sylvia L. Herbert, Haimin Hu +5
Real-time, guaranteed safe trajectory planning is vital for navigation in unknown environments. However, real-time navigation algorithms typically sacrifice robustness for computat…
Learning Hybrid Control Barrier Functions from Data
Lars Lindemann, Haimin Hu, Alexander Robey +4
Motivated by the lack of systematic tools to obtain safe control laws for hybrid systems, we propose an optimization-based framework for learning certifiably safe control laws from…
Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming
Haimin Hu, Mahyar Fazlyab, Manfred Morari +1
There has been an increasing interest in using neural networks in closed-loop control systems to improve performance and reduce computational costs for on-line implementation. Howe…
Learning Control Barrier Functions from Expert Demonstrations
Alexander Robey, Haimin Hu, Lars Lindemann +4
Inspired by the success of imitation and inverse reinforcement learning in replicating expert behavior through optimal control, we propose a learning based approach to safe control…