CONICET | Buscador de Institutos y Recursos Humanos

We show how reactive synthesis and automated planning can be leveraged effectively to find non-maximal solutions to deterministic supervisory control problems of discrete event systems. To do so, we propose efficient translations of the supervisory control problem into the reactive synthesis and planning frameworks. Notably, our translations capture the com- positional and reactive nature of control specifications, avoiding a potential exponential explosion found in alternative approaches. We report on experimental results comparing the efficacy of different tools from the three disciplines. The results show that our translations allow to transparently apply techniques from reactive synthesis and automated planning with an efficiency that rivals that of native supervisory control tools.