Synthesizing nonanomalous event-based controllers for liveness goals

We present SGR(1), a novel synthesis technique and methodological guidelines for automatically constructing event-based behavior models. Our approach works for an expressive subset of liveness properties, distinguishes between controlled and monitored actions, and differentiates system goals from en...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Braberman, Víctor Adrián
Publicado: 2013
Materias:
Algorithms
Design
Anomalous behavior
Behavior model
Event-based
Liveness
Liveness properties
Methodological guidelines
Sufficient conditions
Synthesis techniques
Computer software
Software engineering
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_1049331X_v22_n1_p_DIppolito
http://hdl.handle.net/20.500.12110/paper_1049331X_v22_n1_p_DIppolito
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares