Compositional Supervisory Control via Reactive Synthesis and Automated Planning

Ciolek, Daniel Alfredo et al · Institute of Electrical and Electronics Engineers · 2020

Open-access full text

Quick overview. Review the resource’s basic details, then access the content using the main button. This page shows only the information needed to identify, cite, and open the work.

Author / responsible party

Ciolek, Daniel Alfredo et al

Publisher

Institute of Electrical and Electronics Engineers

Year

2020

ISSN

3502-3516

ISSN

3502-3516

Language

English

Resource access

Open the content from the main option or choose another available source.

CONICET Digital CONICET Digital OAI-PMH

Entrar por CONICET Digital

Main access

Open-access full text

Texto completo identificado como acceso abierto.

Open text

Summary

Descripción general del contenido del recurso.

We show how reactive synthesis and automated planning can be leveraged effectively to find nonmaximal 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 translation methods capture the compositional and reactive nature of control specifications, avoiding a potential exponential explosion found in alternative translation approaches. Additionally, we report on experimental results comparing the efficacy of different tools from the three disciplines, for a particular supervisory control benchmark. Fil: Ciolek, Daniel Alfredo. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; Argentina Fil: Braberman, Victor Adrian. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; Argentina

How to cite

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Ciolek, D. A. E. A. (2020). Compositional Supervisory Control via Reactive Synthesis and Automated Planning. http://hdl.handle.net/11336/141590

MLA

Ciolek, Daniel Alfredo et al. "Compositional Supervisory Control via Reactive Synthesis and Automated Planning." 2020. http://hdl.handle.net/11336/141590.

Chicago

Ciolek, Daniel Alfredo et al. 2020. "Compositional Supervisory Control via Reactive Synthesis and Automated Planning.". http://hdl.handle.net/11336/141590.

Harvard

Ciolek, D. A. E. A. 2020, Compositional Supervisory Control via Reactive Synthesis and Automated Planning, Institute of Electrical and Electronics Engineers, available at: http://hdl.handle.net/11336/141590 [Accessed 5 Aug. 2026].

Share and print

Save the record, copy its permanent link, or print it as a PDF.

Export reference

You can export the record in common formats for use in a reference manager.

RIS BibTeX

Resource details

Bibliographic information to help confirm that this is the correct material.

Title: Compositional Supervisory Control via Reactive Synthesis and Automated Planning

Author / contributors: Ciolek, Daniel Alfredo et al

Publisher: Institute of Electrical and Electronics Engineers

Publication year: 2020

ISSN: 3502-3516

ISSN: 3502-3516

Language: English

Subjects

Explore related resources through these subjects.

AUTOMATED PLANNING; REACTIVE SYNTHESIS; SUPERVISORY CONTROL; https://purl.org/becyt/ford/1.2; https://purl.org/becyt/ford/1