Artículos de revistas
Interaction Models and Automated Control under Partial Observable Environments
Fecha
2017-01Registro en:
Ciolek, Daniel Alfredo; Braberman, Victor Adrian; D'ippolito, Nicolás Roque; Piterman, Nir; Uchitel, Sebastian; Interaction Models and Automated Control under Partial Observable Environments; IEEE Computer Society; IEEE Transactions On Software Engineering; 43; 1; 1-2017; 19-33
0098-5589
1939-3520
CONICET Digital
CONICET
Autor
Ciolek, Daniel Alfredo
Braberman, Victor Adrian
D'ippolito, Nicolás Roque
Piterman, Nir
Uchitel, Sebastian
Resumen
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.