INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
Compositional Supervisory Control via Reactive Synthesis and Automated Planning
CIOLEK, DANIEL; UCHITEL SEBASTIAN; DIPPOLITO R. NICOLAS; BRABERMAN VICTOR; SARDIÑA SEBASTIAN
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
Lugar: New York; Año: 2020 vol. 65 p. 3502 - 3516
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.