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
id todo:paper_1049331X_v22_n1_p_DIppolito
record_format dspace
spelling todo:paper_1049331X_v22_n1_p_DIppolito2023-10-03T15:58:37Z Synthesizing nonanomalous event-based controllers for liveness goals D'Ippolito, N. Braberman, V. Piterman, N. Uchitel, S. 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. JOUR info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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
D'Ippolito, N.
Braberman, V.
Piterman, N.
Uchitel, S.
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.
format JOUR
author D'Ippolito, N.
Braberman, V.
Piterman, N.
Uchitel, S.
author_facet D'Ippolito, N.
Braberman, V.
Piterman, N.
Uchitel, S.
author_sort D'Ippolito, 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
url http://hdl.handle.net/20.500.12110/paper_1049331X_v22_n1_p_DIppolito
work_keys_str_mv AT dippoliton synthesizingnonanomalouseventbasedcontrollersforlivenessgoals
AT brabermanv synthesizingnonanomalouseventbasedcontrollersforlivenessgoals
AT pitermann synthesizingnonanomalouseventbasedcontrollersforlivenessgoals
AT uchitels synthesizingnonanomalouseventbasedcontrollersforlivenessgoals
_version_ 1807314671384920064

Ejemplares similares