Efficient Sum of Squares-Based Verification and Construction of Control Barrier Functions by Sampling on Algebraic Varieties
Hongchao Zhang(Tongji University), Andrew Clark(Washington University in St. Louis), Zhouchi Li(Worcester Polytechnic Institute), Hongkai Dai(Tongji Hospital)
Cited by 4
Related Papers
Optimization-based locomotion planning, estimation, and control design for the atlas humanoid robot
|Autonomous Robots|2015|830
An Architecture for Online Affordance‐based Perception and Whole‐body Planning
|Journal of Field Robotics|2014|140
Lyapunov-stable neural-network control
|Unknown|2021|98