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

Yuzhang Peng, Jiaqi Yan, Wei Wang

This paper investigates the control synthesis for continuous-time uncertain systems under nested Signal Temporal Logic (STL) specifications containing nested temporal operators. Co…