Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control

Hernan Gagliardi, Victor Braberman, Sebastian Uchitel

We present a compositional approach to controller synthesis of discrete event system controllers with linear temporal logic (LTL) goals. We exploit the modular structure of the pla…