Compositional Supervisory Control via Reactive Synthesis and Automated Planning

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

Acceso abierto al texto completo

Lectura rápida. Revisá los datos básicos del recurso y luego accedé al contenido desde el botón principal. En esta ficha solo se muestra la información necesaria para identificar la obra, citarla y abrirla.

Autor / responsable

Ciolek, Daniel Alfredo et al

Editorial

Institute of Electrical and Electronics Engineers

Año

2020

ISSN

3502-3516

ISSN

3502-3516

Idioma

Inglés

Acceso al recurso

Entrá al contenido desde la opción principal o elegí otra fuente disponible.

CONICET Digital CONICET Digital OAI-PMH

Entrar por CONICET Digital

Acceso principal

Acceso abierto al texto completo

Texto completo identificado como acceso abierto.

Abrir texto

Resumen

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

Cómo citar

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].

Compartir e imprimir

Guardá la ficha, copiá su enlace permanente o imprimila como PDF.

Exportar referencia

Si usás un gestor bibliográfico, podés exportar el registro en los formatos más comunes.

RIS BibTeX

Detalles del recurso

Información bibliográfica útil para confirmar que se trata del material correcto.

Título: Compositional Supervisory Control via Reactive Synthesis and Automated Planning

Autor / colaboradores: Ciolek, Daniel Alfredo et al

Editorial: Institute of Electrical and Electronics Engineers

Año de publicación: 2020

ISSN: 3502-3516

ISSN: 3502-3516

Idioma: Inglés

Materias

Explorá otros recursos relacionados a partir de estas materias.

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