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
Autores principales: D'Ippolito, N., Braberman, V., Piterman, N., Uchitel, S.
Formato: JOUR
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: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