Disturbance Rejection Control under Nested Signal Temporal Logic Specifications: A Recursive Design Approach

Yuzhang Peng, Jiaqi Yan, Kurui Ze +2

For the control synthesis problem under signal temporal logic (STL) specifications, control barrier functions (CBFs) serve as an effective method. However, traditional CBF approach…