Interaction Models and Automated Control under Partial Observable Environments
- Autores
- Ciolek, Daniel; Braberman, Victor Adrian; D'Ippolito, Nicolás; Piterman, Nir; Uchitel, Sebastián
- Año de publicación
- 2016
- Idioma
- inglés
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- The problem of automatically constructing a software component such that when executed in a given environment satisfies a goal, is recurrent in software engineering. Controller synthesis is a field which fits into this vision. In this paper we study controller synthesis for partially observable LTS models. We exploit the link between partially observable control and non-determinism and show that, unlike fully observable LTS or Kripke structure control problems, in this setting the existence of a solution depends on the interaction model between the controller-to-be and its environment. We identify two interaction models, namely Interface Automata and Weak Interface Automata, define appropriate control problems and describe synthesis algorithms for each of them.
Sociedad Argentina de Informática e Investigación Operativa (SADIO) - Materia
-
Ciencias Informáticas
LTS
controller synthesis
imperfect-information games - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-sa/3.0/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/57258
Ver los metadatos del registro completo
id |
SEDICI_fbdc7db51b0927545beea142c24a7e57 |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/57258 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Interaction Models and Automated Control under Partial Observable EnvironmentsCiolek, DanielBraberman, Victor AdrianD'Ippolito, NicolásPiterman, NirUchitel, SebastiánCiencias InformáticasLTScontroller synthesisimperfect-information gamesThe problem of automatically constructing a software component such that when executed in a given environment satisfies a goal, is recurrent in software engineering. Controller synthesis is a field which fits into this vision. In this paper we study controller synthesis for partially observable LTS models. We exploit the link between partially observable control and non-determinism and show that, unlike fully observable LTS or Kripke structure control problems, in this setting the existence of a solution depends on the interaction model between the controller-to-be and its environment. We identify two interaction models, namely Interface Automata and Weak Interface Automata, define appropriate control problems and describe synthesis algorithms for each of them.Sociedad Argentina de Informática e Investigación Operativa (SADIO)2016-09info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf7-21http://sedici.unlp.edu.ar/handle/10915/57258enginfo:eu-repo/semantics/altIdentifier/url/http://45jaiio.sadio.org.ar/sites/default/files/asse-19.pdfinfo:eu-repo/semantics/altIdentifier/issn/2451-7593info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-sa/3.0/Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T11:06:17Zoai:sedici.unlp.edu.ar:10915/57258Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 11:06:18.161SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Interaction Models and Automated Control under Partial Observable Environments |
title |
Interaction Models and Automated Control under Partial Observable Environments |
spellingShingle |
Interaction Models and Automated Control under Partial Observable Environments Ciolek, Daniel Ciencias Informáticas LTS controller synthesis imperfect-information games |
title_short |
Interaction Models and Automated Control under Partial Observable Environments |
title_full |
Interaction Models and Automated Control under Partial Observable Environments |
title_fullStr |
Interaction Models and Automated Control under Partial Observable Environments |
title_full_unstemmed |
Interaction Models and Automated Control under Partial Observable Environments |
title_sort |
Interaction Models and Automated Control under Partial Observable Environments |
dc.creator.none.fl_str_mv |
Ciolek, Daniel Braberman, Victor Adrian D'Ippolito, Nicolás Piterman, Nir Uchitel, Sebastián |
author |
Ciolek, Daniel |
author_facet |
Ciolek, Daniel Braberman, Victor Adrian D'Ippolito, Nicolás Piterman, Nir Uchitel, Sebastián |
author_role |
author |
author2 |
Braberman, Victor Adrian D'Ippolito, Nicolás Piterman, Nir Uchitel, Sebastián |
author2_role |
author author author author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas LTS controller synthesis imperfect-information games |
topic |
Ciencias Informáticas LTS controller synthesis imperfect-information games |
dc.description.none.fl_txt_mv |
The problem of automatically constructing a software component such that when executed in a given environment satisfies a goal, is recurrent in software engineering. Controller synthesis is a field which fits into this vision. In this paper we study controller synthesis for partially observable LTS models. We exploit the link between partially observable control and non-determinism and show that, unlike fully observable LTS or Kripke structure control problems, in this setting the existence of a solution depends on the interaction model between the controller-to-be and its environment. We identify two interaction models, namely Interface Automata and Weak Interface Automata, define appropriate control problems and describe synthesis algorithms for each of them. Sociedad Argentina de Informática e Investigación Operativa (SADIO) |
description |
The problem of automatically constructing a software component such that when executed in a given environment satisfies a goal, is recurrent in software engineering. Controller synthesis is a field which fits into this vision. In this paper we study controller synthesis for partially observable LTS models. We exploit the link between partially observable control and non-determinism and show that, unlike fully observable LTS or Kripke structure control problems, in this setting the existence of a solution depends on the interaction model between the controller-to-be and its environment. We identify two interaction models, namely Interface Automata and Weak Interface Automata, define appropriate control problems and describe synthesis algorithms for each of them. |
publishDate |
2016 |
dc.date.none.fl_str_mv |
2016-09 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/57258 |
url |
http://sedici.unlp.edu.ar/handle/10915/57258 |
dc.language.none.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/url/http://45jaiio.sadio.org.ar/sites/default/files/asse-19.pdf info:eu-repo/semantics/altIdentifier/issn/2451-7593 |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-sa/3.0/ Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-sa/3.0/ Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) |
dc.format.none.fl_str_mv |
application/pdf 7-21 |
dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
reponame_str |
SEDICI (UNLP) |
collection |
SEDICI (UNLP) |
instname_str |
Universidad Nacional de La Plata |
instacron_str |
UNLP |
institution |
UNLP |
repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
_version_ |
1844615933923950592 |
score |
13.070432 |