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
id paper:paper_1049331X_v22_n1_p_DIppolito
record_format dspace
spelling paper:paper_1049331X_v22_n1_p_DIppolito2023-06-08T16:01:21Z Synthesizing nonanomalous event-based controllers for liveness goals Braberman, Víctor Adrián Algorithms Design Anomalous behavior Behavior model Event-based Liveness Liveness properties Methodological guidelines Sufficient conditions Synthesis techniques Algorithms Computer software Design Software engineering 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 environment assumptions. We show that assumptions must be modeled carefully in order to avoid synthesizing anomalous behavior models. We characterize nonanomalous models and propose assumption compatibility, a sufficient condition, as a methodological guideline. © 2013 ACM. Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2013 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
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Algorithms
Design
Anomalous behavior
Behavior model
Event-based
Liveness
Liveness properties
Methodological guidelines
Sufficient conditions
Synthesis techniques
Algorithms
Computer software
Design
Software engineering
spellingShingle Algorithms
Design
Anomalous behavior
Behavior model
Event-based
Liveness
Liveness properties
Methodological guidelines
Sufficient conditions
Synthesis techniques
Algorithms
Computer software
Design
Software engineering
Braberman, Víctor Adrián
Synthesizing nonanomalous event-based controllers for liveness goals
topic_facet Algorithms
Design
Anomalous behavior
Behavior model
Event-based
Liveness
Liveness properties
Methodological guidelines
Sufficient conditions
Synthesis techniques
Algorithms
Computer software
Design
Software engineering
description 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 environment assumptions. We show that assumptions must be modeled carefully in order to avoid synthesizing anomalous behavior models. We characterize nonanomalous models and propose assumption compatibility, a sufficient condition, as a methodological guideline. © 2013 ACM.
author Braberman, Víctor Adrián
author_facet Braberman, Víctor Adrián
author_sort Braberman, Víctor Adrián
title Synthesizing nonanomalous event-based controllers for liveness goals
title_short Synthesizing nonanomalous event-based controllers for liveness goals
title_full Synthesizing nonanomalous event-based controllers for liveness goals
title_fullStr Synthesizing nonanomalous event-based controllers for liveness goals
title_full_unstemmed Synthesizing nonanomalous event-based controllers for liveness goals
title_sort synthesizing nonanomalous event-based controllers for liveness goals
publishDate 2013
url 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
work_keys_str_mv AT brabermanvictoradrian synthesizingnonanomalouseventbasedcontrollersforlivenessgoals
_version_ 1768542998861185024

Ejemplares similares