dc.creator | Nahabedian, L. | |
dc.creator | Braberman, Victor Adrian | |
dc.creator | D'Ippolitto, N. | |
dc.creator | Honiden, Shinichi | |
dc.creator | Kramer, J. | |
dc.creator | Tei, K. | |
dc.creator | Uchitel, Sebastián | |
dc.date | 2016-09 | |
dc.date | 2016-12-02 | |
dc.date | 2016-12-02T16:44:40Z | |
dc.identifier | http://sedici.unlp.edu.ar/handle/10915/57252 | |
dc.identifier | http://45jaiio.sadio.org.ar/sites/default/files/asse-15.pdf | |
dc.identifier | issn:2451-7593 | |
dc.description | 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. | |
dc.description | Sociedad Argentina de Informática e Investigación Operativa (SADIO) | |
dc.format | application/pdf | |
dc.format | 1-2 | |
dc.language | en | |
dc.rights | http://creativecommons.org/licenses/by-sa/3.0/ | |
dc.rights | Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) | |
dc.subject | Ciencias Informáticas | |
dc.subject | controller synthesis | |
dc.subject | dynamic update | |
dc.subject | adaptive systems | |
dc.title | Assured and Correct Dynamic Update of Controllers | |
dc.type | Objeto de conferencia | |
dc.type | Resumen | |