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
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/16048
Ver los metadatos del registro completo
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 |