ICC   25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
artículos
Título:
Compositional Supervisory Control via Reactive Synthesis and Automated Planning
Autor/es:
CIOLEK, DANIEL; UCHITEL SEBASTIAN; DIPPOLITO R. NICOLAS; BRABERMAN VICTOR; SARDI√ĎA SEBASTIAN
Revista:
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
Editorial:
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
Referencias:
Lugar: New York; Año: 2020 vol. 65 p. 3502 - 3516
ISSN:
0018-9286
Resumen:
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.