On-the-fly informed search of non-blocking directed controllers

Volver a la Vista simple
dc.conicet.fuenteElsevier
dc.conicet.organizacionConsejo Nacional de Investigaciones Científicas y Técnicas
dc.conicet.organizacionUniversidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
dc.conicet.organizacionAsapp Inc.
dc.conicet.organizacionUniversidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
dc.conicet.organizacionUniversidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
dc.conicet.organizacionUniversidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
dc.conicet.organizacionUniversidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
dc.conicet.organizacionConsejo 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
dc.conicet.organizacionConsejo 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
dc.conicet.organizacionAsapp Inc.
dc.conicet.organizacionConsejo Nacional de Investigaciones Científicas y Técnicas
dc.conicet.organizacionUniversidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
dc.conicet.organizacionImperial College London
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionEstados Unidos
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionReino Unido
dc.conicet.produccionid11297385
dc.contributor.authorCiolek, Daniel Alfredo
dc.contributor.authorDuran, Matias
dc.contributor.authorZanollo, Florencia
dc.contributor.authorPazos, Nicolas
dc.contributor.authorBraier, Julián
dc.contributor.authorBraberman, Victor Adrian
dc.contributor.authorD'ippolito, Nicolás Roque
dc.contributor.authorUchitel, Sebastian
dc.date.accessioned2023-11-28T19:25:21Z
dc.date.available2023-11-28T19:25:21Z
dc.date.issued2023-01
dc.date.updated2023-11-16T13:35:09Z
dc.description.abstractWe study directed control of discrete event system expressed as the parallel composition of interacting automata. Solutions that first compose the automata and then compute a controller may result in an exponential blow up. We present a technique that builds the composition on-the-fly guided by a novel domain-independent heuristic, which attempts to discover relevant dependencies between the intervening components. We obtain safe and non-blocking directed controllers, or directors, exploring a reduced portion of the state space. We present the first experimental results on directed control comparing on-the-fly composition with informed search against the original monolithic approach to directed control.es
dc.description.filFil: Ciolek, Daniel Alfredo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Asapp Inc.; Estados Unidos
dc.description.filFil: Duran, Matias. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina
dc.description.filFil: Zanollo, Florencia. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina
dc.description.filFil: Pazos, Nicolas. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina
dc.description.filFil: Braier, Julián. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina
dc.description.filFil: 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
dc.description.filFil: D'ippolito, Nicolás Roque. 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. Asapp Inc.; Argentina
dc.description.filFil: Uchitel, Sebastian. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Imperial College London; Reino Unido
dc.formatapplication/pdfes
dc.identifier.citationCiolek, Daniel Alfredo; Duran, Matias; Zanollo, Florencia; Pazos, Nicolas; Braier, Julián; et al.; On-the-fly informed search of non-blocking directed controllers; Pergamon-Elsevier Science Ltd; Automatica; 147; 1-2023; 1-10es
dc.identifier.institucionalCONICET
dc.identifier.issn0005-1098es
dc.identifier.repoCONICET Digital
dc.identifier.urihttp://hdl.handle.net/11336/218754
dc.journal.pagination1-10es
dc.journal.paisEstados Unidoses
dc.journal.titleAutomaticaes
dc.journal.volume147es
dc.language.isoenges
dc.publisherPergamon-Elsevier Science Ltdes
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/url/https://www.sciencedirect.com/science/article/pii/S0005109822005970
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1016/j.automatica.2022.110731
dc.rightsinfo:eu-repo/semantics/restrictedAccess*
dc.rights.urihttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/*
dc.subjectDIRECTED CONTROLes
dc.subjectDISCRETE EVENT SYSTEMSes
dc.subjectHEURISTIC SEARCHes
dc.subjectON-THE-FLYes
dc.subject.classificationCiencias de la Computaciónes
dc.subject.classificationCiencias de la Computación e Informaciónes
dc.subject.classificationCIENCIAS NATURALES Y EXACTASes
dc.titleOn-the-fly informed search of non-blocking directed controllerses
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:ar-repo/semantics/artículo
dc.typeinfo:eu-repo/semantics/publishedVersion

Archivos

Bloque original

Miniatura
Nombre:
CONICET_Digital_Nro.bd71e736-7487-4686-ae7d-76b6333e3faa_B.pdf
Tamaño:
985.04 KB
Formato:
Adobe Portable Document Format
Solicitar

Colecciones

Articulos(ICC)
Volver a la Vista simple