Control Barrier Functions with Actuation Constraints under Signal Temporal Logic Specifications

Ali Tevfik Buyukkocak, Derya Aksaray, Yasin Yazıcıoğlu

We propose control barrier functions (CBFs) for a family of dynamical systems to satisfy a broad fragment of Signal Temporal Logic (STL) specifications, which may include subtasks…