Compositional Supervisory Control via Reactive Synthesis and Automated Planning

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

Testo completo ad accesso aperto

Lettura rapida. Controlla i dati essenziali della risorsa e accedi al contenuto con il pulsante principale. La scheda mostra solo le informazioni necessarie per identificare, citare e aprire l’opera.

Autore / responsabile

Ciolek, Daniel Alfredo et al

Editore

Institute of Electrical and Electronics Engineers

Anno

2020

ISSN

3502-3516

ISSN

3502-3516

Lingua

Inglés

Accesso alla risorsa

Apri il contenuto dall’opzione principale o scegli un’altra fonte disponibile.

CONICET Digital CONICET Digital OAI-PMH

Entrar por CONICET Digital

Accesso principale

Testo completo ad accesso aperto

Texto completo identificado como acceso abierto.

Apri testo

Riepilogo

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

Come citare

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

Condividi e stampa

Salva la scheda, copia il link permanente o stampala in PDF.

Esporta riferimento

Esporta il record nei formati più comuni per usarlo con un gestore bibliografico.

RIS BibTeX

Dettagli della risorsa

Informazioni bibliografiche utili per verificare che sia il materiale corretto.

Titolo: Compositional Supervisory Control via Reactive Synthesis and Automated Planning

Autore / collaboratori: Ciolek, Daniel Alfredo et al

Editore: Institute of Electrical and Electronics Engineers

Anno di pubblicazione: 2020

ISSN: 3502-3516

ISSN: 3502-3516

Lingua: Inglés

Soggetti

Esplora risorse correlate a partire da questi soggetti.

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