Cargando…

Shield synthesis

Shield synthesis is an approach to enforce safety properties at runtime. A shield monitors the system and corrects any erroneous output values instantaneously. The shield deviates from the given outputs as little as it can and recovers to hand back control to the system as soon as possible. In the f...

Descripción completa

Detalles Bibliográficos
Autores principales: Könighofer, Bettina, Alshiekh, Mohammed, Bloem, Roderick, Humphrey, Laura, Könighofer, Robert, Topcu, Ufuk, Wang, Chao
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer US 2017
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6959420/
https://www.ncbi.nlm.nih.gov/pubmed/32009740
http://dx.doi.org/10.1007/s10703-017-0276-9

Ejemplares similares