Mostrar el registro sencillo del ítem
dc.contributor.author
Nahabedian, Leandro Ezequiel
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.contributor.author
Braberman, Victor Adrian
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.contributor.author
D'ippolito, Nicolás Roque
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.contributor.author
Honiden, Shinichi
dc.contributor.author
Kramer, Jeff
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.contributor.author
Tei, Kenji
dc.contributor.author
Uchitel, Sebastian
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.date.available
2020-03-05T19:50:18Z
dc.date.issued
2018-10
dc.identifier.citation
Nahabedian, Leandro Ezequiel; Braberman, Victor Adrian; D'ippolito, Nicolás Roque; Honiden, Shinichi; Kramer, Jeff; et al.; Dynamic Update of Discrete Event Controllers; IEEE Computer Society; IEEE Transactions On Software Engineering; 10-2018; 1-21
dc.identifier.issn
0098-5589
dc.identifier.uri
http://hdl.handle.net/11336/98861
dc.description.abstract
Discrete event controllers are at the heart of many software systems that require continuous operation. Changing these controllers at runtime to cope with changes in its execution environment or system requirements change is a challenging open problem. In this paper we address the problem of dynamic update of controllers in reactive systems. We present a general approach to specifying correctness criteria for dynamic update and a technique for automatically computing a controller that handles the transition from the old to the new specification, assuring that the system will reach a state in which such a transition can correctly occur and in which the underlying system architecture can reconfigure. Our solution uses discrete event controller synthesis to automatically build a controller that guarantees both progress towards update and safe update.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
IEEE Computer Society
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
ADAPTIVE SYSTEMS
dc.subject
BUSINESS
dc.subject
CONTROL SYSTEMS
dc.subject
CONTROLLER SYNTHESIS
dc.subject
DYNAMIC UPDATE
dc.subject
PAINTS
dc.subject
RUNTIME
dc.subject
SAFETY
dc.subject
TOOLS
dc.subject.classification
Ciencias de la Computación
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
Ciencias de la Computación e Información
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.title
Dynamic Update of Discrete Event Controllers
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2019-12-16T19:11:39Z
dc.journal.pagination
1-21
dc.journal.pais
Estados Unidos
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.journal.ciudad
Los Alamitos
dc.description.fil
Fil: Nahabedian, Leandro Ezequiel. 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; Argentina. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina
dc.description.fil
Fil: Braberman, Victor Adrian. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. 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; Argentina
dc.description.fil
Fil: D'ippolito, Nicolás Roque. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. 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; Argentina
dc.description.fil
Fil: Honiden, Shinichi. National Institute of Informatics; Japón
dc.description.fil
Fil: Kramer, Jeff. Imperial College Of Science And Technology; Reino Unido
dc.description.fil
Fil: Tei, Kenji. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina
dc.description.fil
Fil: Uchitel, Sebastian. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Imperial College Of Science And Technology; Reino Unido. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
dc.journal.title
IEEE Transactions On Software Engineering
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://ieeexplore.ieee.org/document/8500345/keywords#keywords
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1109/TSE.2018.2876843
Archivos asociados