Synthesizing nonanomalous event-based controllers for liveness goals

Autores
D'ippolito, Nicolás Roque; Braberman, Victor Adrian; Piterman, Nir; Uchitel, Sebastian
Año de publicación
2013
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
We present SGR(1), a novel synthesis technique and methodological guidelines for automatically constructing event-based behaviour 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 modelled carefully in order to avoid synthesising anomalous behaviour models. We characterise non-anomalous models and propose assumption compatibility, a sufficient condition, as a methodological guideline.
Fil: D'ippolito, Nicolás Roque. Imperial College London; Reino Unido. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Braberman, Victor Adrian. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Piterman, Nir. University of Leicester; Reino Unido
Fil: Uchitel, Sebastian. Imperial College London; Reino Unido. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Materia
Design
Algorithms
Controller Synthesis
Behavioural Modelling
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/16048

id CONICETDig_e7f89ac4c4a9d391796ead6b55a0bf95
oai_identifier_str oai:ri.conicet.gov.ar:11336/16048
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Synthesizing nonanomalous event-based controllers for liveness goalsD'ippolito, Nicolás RoqueBraberman, Victor AdrianPiterman, NirUchitel, SebastianDesignAlgorithmsController SynthesisBehavioural Modellinghttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1We present SGR(1), a novel synthesis technique and methodological guidelines for automatically constructing event-based behaviour 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 modelled carefully in order to avoid synthesising anomalous behaviour models. We characterise non-anomalous models and propose assumption compatibility, a sufficient condition, as a methodological guideline.Fil: D'ippolito, Nicolás Roque. Imperial College London; Reino Unido. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Braberman, Victor Adrian. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Piterman, Nir. University of Leicester; Reino UnidoFil: Uchitel, Sebastian. Imperial College London; Reino Unido. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaAssoc Computing Machinery2013-02info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/16048D'ippolito, Nicolás Roque; Braberman, Victor Adrian; Piterman, Nir; Uchitel, Sebastian; Synthesizing nonanomalous event-based controllers for liveness goals; Assoc Computing Machinery; Acm Transactions On Software Engineering And Methodology; 22; 1; 2-2013; 1-36; 91049-331Xenginfo:eu-repo/semantics/altIdentifier/doi/10.1145/2430536.2430543info:eu-repo/semantics/altIdentifier/url/http://dl.acm.org/citation.cfm?id=2430543info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-29T10:32:33Zoai:ri.conicet.gov.ar:11336/16048instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-29 10:32:33.434CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Synthesizing nonanomalous event-based controllers for liveness goals
title Synthesizing nonanomalous event-based controllers for liveness goals
spellingShingle Synthesizing nonanomalous event-based controllers for liveness goals
D'ippolito, Nicolás Roque
Design
Algorithms
Controller Synthesis
Behavioural Modelling
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
dc.creator.none.fl_str_mv D'ippolito, Nicolás Roque
Braberman, Victor Adrian
Piterman, Nir
Uchitel, Sebastian
author D'ippolito, Nicolás Roque
author_facet D'ippolito, Nicolás Roque
Braberman, Victor Adrian
Piterman, Nir
Uchitel, Sebastian
author_role author
author2 Braberman, Victor Adrian
Piterman, Nir
Uchitel, Sebastian
author2_role author
author
author
dc.subject.none.fl_str_mv Design
Algorithms
Controller Synthesis
Behavioural Modelling
topic Design
Algorithms
Controller Synthesis
Behavioural Modelling
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv We present SGR(1), a novel synthesis technique and methodological guidelines for automatically constructing event-based behaviour 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 modelled carefully in order to avoid synthesising anomalous behaviour models. We characterise non-anomalous models and propose assumption compatibility, a sufficient condition, as a methodological guideline.
Fil: D'ippolito, Nicolás Roque. Imperial College London; Reino Unido. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Braberman, Victor Adrian. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
Fil: Piterman, Nir. University of Leicester; Reino Unido
Fil: Uchitel, Sebastian. Imperial College London; Reino Unido. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
description We present SGR(1), a novel synthesis technique and methodological guidelines for automatically constructing event-based behaviour 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 modelled carefully in order to avoid synthesising anomalous behaviour models. We characterise non-anomalous models and propose assumption compatibility, a sufficient condition, as a methodological guideline.
publishDate 2013
dc.date.none.fl_str_mv 2013-02
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/16048
D'ippolito, Nicolás Roque; Braberman, Victor Adrian; Piterman, Nir; Uchitel, Sebastian; Synthesizing nonanomalous event-based controllers for liveness goals; Assoc Computing Machinery; Acm Transactions On Software Engineering And Methodology; 22; 1; 2-2013; 1-36; 9
1049-331X
url http://hdl.handle.net/11336/16048
identifier_str_mv D'ippolito, Nicolás Roque; Braberman, Victor Adrian; Piterman, Nir; Uchitel, Sebastian; Synthesizing nonanomalous event-based controllers for liveness goals; Assoc Computing Machinery; Acm Transactions On Software Engineering And Methodology; 22; 1; 2-2013; 1-36; 9
1049-331X
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/doi/10.1145/2430536.2430543
info:eu-repo/semantics/altIdentifier/url/http://dl.acm.org/citation.cfm?id=2430543
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Assoc Computing Machinery
publisher.none.fl_str_mv Assoc Computing Machinery
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1844614339519053824
score 13.070432