3 citations · 7 across the 4 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.RO2022★ 1 cited
Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints
Hongkai Dai, Frank Permenter
Control Lyapunov functions (CLFs) and control barrier functions (CBFs) are widely used tools for synthesizing controllers subject to stability and safety constraints. Paired with o…
cs.RO2022★ 3 cited
Finding and Optimizing Certified, Collision-Free Regions in Configuration Space for Robot Manipulators
Alexandre Amice, Hongkai Dai, Peter Werner +2
Configuration space (C-space) has played a central role in collision-free motion planning, particularly for robot manipulators. While it is possible to check for collisions at a po…