Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications

Wei Ren, Raphael M. Jungers, Dimos V. Dimarogonas

This paper studies the controller synthesis problem for nonlinear control systems under linear temporal logic (LTL) specifications using zonotope techniques. A local-to-global cont…