| dc.creator | Ciolek, Daniel | |
| dc.creator | Braberman, Victor Adrian | |
| dc.creator | D'Ippolito, Nicolás | |
| dc.creator | Piterman, Nir | |
| dc.creator | Uchitel, Sebastián | |
| dc.date | 2016-09 | |
| dc.date | 2016-12-02 | |
| dc.date | 2016-12-02T17:06:30Z | |
| dc.identifier | http://sedici.unlp.edu.ar/handle/10915/57258 | |
| dc.identifier | http://45jaiio.sadio.org.ar/sites/default/files/asse-19.pdf | |
| dc.identifier | issn:2451-7593 | |
| dc.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. | |
| dc.description | Sociedad Argentina de Informática e Investigación Operativa (SADIO) | |
| dc.format | application/pdf | |
| dc.format | 7-21 | |
| dc.language | en | |
| dc.rights | http://creativecommons.org/licenses/by-sa/3.0/ | |
| dc.rights | Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) | |
| dc.subject | Ciencias Informáticas | |
| dc.subject | LTS | |
| dc.subject | controller synthesis | |
| dc.subject | imperfect-information games | |
| dc.title | Interaction Models and Automated Control under Partial Observable Environments | |
| dc.type | Objeto de conferencia | |
| dc.type | Objeto de conferencia | |
