Assured and Correct Dynamic Update of Controllers

Mostrar todas las versiones(4)

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....

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Nahabedian, L., Braberman, Victor Adrian, D'Ippolitto, N., Honiden, Shinichi, Kramer, J., Tei, K., Uchitel, Sebastián
Formato:	Objeto de conferencia Resumen
Lenguaje:	Inglés
Publicado:	2016
Materias:	Ciencias Informáticas controller synthesis dynamic update adaptive systems
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/57252 http://45jaiio.sadio.org.ar/sites/default/files/asse-15.pdf
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-57252
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Inglés
topic	Ciencias Informáticas controller synthesis dynamic update adaptive systems
spellingShingle	Ciencias Informáticas controller synthesis dynamic update adaptive systems Nahabedian, L. Braberman, Victor Adrian D'Ippolitto, N. Honiden, Shinichi Kramer, J. Tei, K. Uchitel, Sebastián Assured and Correct Dynamic Update of Controllers
topic_facet	Ciencias Informáticas controller synthesis dynamic update adaptive systems
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.
format	Objeto de conferencia Resumen
author	Nahabedian, L. Braberman, Victor Adrian D'Ippolitto, N. Honiden, Shinichi Kramer, J. Tei, K. Uchitel, Sebastián
author_facet	Nahabedian, L. Braberman, Victor Adrian D'Ippolitto, N. Honiden, Shinichi Kramer, J. Tei, K. Uchitel, Sebastián
author_sort	Nahabedian, L.
title	Assured and Correct Dynamic Update of Controllers
title_short	Assured and Correct Dynamic Update of Controllers
title_full	Assured and Correct Dynamic Update of Controllers
title_fullStr	Assured and Correct Dynamic Update of Controllers
title_full_unstemmed	Assured and Correct Dynamic Update of Controllers
title_sort	assured and correct dynamic update of controllers
publishDate	2016
url	http://sedici.unlp.edu.ar/handle/10915/57252 http://45jaiio.sadio.org.ar/sites/default/files/asse-15.pdf
work_keys_str_mv	AT nahabedianl assuredandcorrectdynamicupdateofcontrollers AT brabermanvictoradrian assuredandcorrectdynamicupdateofcontrollers AT dippolitton assuredandcorrectdynamicupdateofcontrollers AT honidenshinichi assuredandcorrectdynamicupdateofcontrollers AT kramerj assuredandcorrectdynamicupdateofcontrollers AT teik assuredandcorrectdynamicupdateofcontrollers AT uchitelsebastian assuredandcorrectdynamicupdateofcontrollers
bdutipo_str	Repositorios
_version_	1764820478058299392

Assured and Correct Dynamic Update of Controllers

Ejemplares similares