Assured and Correct Dynamic Update of Controllers

dc.creatorNahabedian, L.
dc.creatorBraberman, Victor Adrian
dc.creatorD'Ippolitto, N.
dc.creatorHoniden, Shinichi
dc.creatorKramer, J.
dc.creatorTei, K.
dc.creatorUchitel, Sebastián
dc.date2016-09
dc.date2016-12-02
dc.date2016-12-02T16:44:40Z
dc.identifierhttp://sedici.unlp.edu.ar/handle/10915/57252
dc.identifierhttp://45jaiio.sadio.org.ar/sites/default/files/asse-15.pdf
dc.identifierissn:2451-7593
dc.descriptionWe 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.
dc.descriptionSociedad Argentina de Informática e Investigación Operativa (SADIO)
dc.formatapplication/pdf
dc.format1-2
dc.languageen
dc.rightshttp://creativecommons.org/licenses/by-sa/3.0/
dc.rightsCreative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)
dc.subjectCiencias Informáticas
dc.subjectcontroller synthesis
dc.subjectdynamic update
dc.subjectadaptive systems
dc.titleAssured and Correct Dynamic Update of Controllers
dc.typeObjeto de conferencia
dc.typeResumen


Este ítem pertenece a la siguiente institución