Patching Control Lyapunov Barrier Functions for Temporal Logic Specifications with Bounded Controls

Ruikun Zhou, Yating Yuan, Haocheng Chang +2

We propose an abstraction-free framework for controller synthesis for continuous-time dynamical systems subject to Linear Temporal Logic (LTL) specifications and bounded control in…