Verification and Synthesis of Compatible Control Lyapunov and Multiple High-Order Control Barrier Functions

Chuanrui Jiang(Washington University in St. Louis), Andrew Clark(Washington University in St. Louis), Hongkai Dai(Tongji Hospital)
IEEE Transactions on Automatic Control
January 1, 2026
10.1109/tac.2026.3692000
Cited by 0

Related Papers

Optimization-based locomotion planning, estimation, and control design for the atlas humanoid robot
|Autonomous Robots|2015|830
Whole-body motion planning with centroidal dynamics and full kinematics
|Unknown|2014|423
An Architecture for Online Affordance‐based Perception and Whole‐body Planning
|Journal of Field Robotics|2014|140
Planning robust walking motion on uneven terrain via convex optimization
|Unknown|2016|124
Lyapunov-stable neural-network control
|Unknown|2021|98