Interaction Models and Automated Control under Partial Observable Environments
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...
| Publicado: |
2017
|
|---|---|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00985589_v43_n1_p19_Ciolek http://hdl.handle.net/20.500.12110/paper_00985589_v43_n1_p19_Ciolek |
| Aporte de: |
| id |
paper:paper_00985589_v43_n1_p19_Ciolek |
|---|---|
| record_format |
dspace |
| spelling |
paper:paper_00985589_v43_n1_p19_Ciolek2023-06-08T15:09:58Z Interaction Models and Automated Control under Partial Observable Environments controller synthesis imperfect-information games LTS Automata theory Software engineering Automated control Controller synthesis Existence of a solutions Imperfect information games Interaction model Interface automata Software component Synthesis algorithms Controllers 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. © 1976-2012 IEEE. 2017 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00985589_v43_n1_p19_Ciolek http://hdl.handle.net/20.500.12110/paper_00985589_v43_n1_p19_Ciolek |
| institution |
Universidad de Buenos Aires |
| institution_str |
I-28 |
| repository_str |
R-134 |
| collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
| topic |
controller synthesis imperfect-information games LTS Automata theory Software engineering Automated control Controller synthesis Existence of a solutions Imperfect information games Interaction model Interface automata Software component Synthesis algorithms Controllers |
| spellingShingle |
controller synthesis imperfect-information games LTS Automata theory Software engineering Automated control Controller synthesis Existence of a solutions Imperfect information games Interaction model Interface automata Software component Synthesis algorithms Controllers Interaction Models and Automated Control under Partial Observable Environments |
| topic_facet |
controller synthesis imperfect-information games LTS Automata theory Software engineering Automated control Controller synthesis Existence of a solutions Imperfect information games Interaction model Interface automata Software component Synthesis algorithms Controllers |
| 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. © 1976-2012 IEEE. |
| title |
Interaction Models and Automated Control under Partial Observable Environments |
| 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 |
| publishDate |
2017 |
| url |
https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00985589_v43_n1_p19_Ciolek http://hdl.handle.net/20.500.12110/paper_00985589_v43_n1_p19_Ciolek |
| _version_ |
1768546013822320640 |