Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2016-12-02T16:44:40Z
dc.date.available 2016-12-02T16:44:40Z
dc.date.issued 2016-12-02
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/57252
dc.description.abstract 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. Indeed, using controller synthesis we show how to automatically build a controller that guarantees both progress towards update and safe update. en
dc.format.extent 1-2 es
dc.language en es
dc.subject controller synthesis en
dc.subject dynamic update en
dc.subject adaptive systems en
dc.title Assured and Correct Dynamic Update of Controllers en
dc.type Objeto de conferencia es
sedici.identifier.uri http://45jaiio.sadio.org.ar/sites/default/files/asse-15.pdf es
sedici.identifier.issn 2451-7593 es
sedici.creator.person Nahabedian, L. es
sedici.creator.person Braberman, Victor Adrian es
sedici.creator.person D'Ippolitto, N. es
sedici.creator.person Honiden, Shinichi es
sedici.creator.person Kramer, J. es
sedici.creator.person Tei, K. es
sedici.creator.person Uchitel, Sebastián es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext false es
mods.originInfo.place Sociedad Argentina de Informática e Investigación Operativa (SADIO) es
sedici.subtype Resumen es
sedici.rights.license Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)
sedici.rights.uri http://creativecommons.org/licenses/by-sa/3.0/
sedici.date.exposure 2016-09
sedici.relation.event Simposio Argentino de Ingeniería de Software (ASSE 2016) - JAIIO 45 (Tres de Febrero, 2016). es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Resumen
Descargar archivo (204.8Kb) - PDF
Icon
Enlace externo

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)