ICC   25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
artículos
Título:
Interaction Models and Automated Control under Partial Observable Environments
Autor/es:
DIPPOLITO, NICOLAS; UCHITEL, SEBASTIAN; BRABERMAN, VICTOR; UCHITEL, SEBASTIAN; PITERMAN, NIR; BRABERMAN, VICTOR; CIOLEK, DANIEL; PITERMAN, NIR; CIOLEK, DANIEL; DIPPOLITO, NICOLAS
Revista:
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Editorial:
IEEE COMPUTER SOC
Referencias:
Año: 2017 vol. 43 p. 19 - 33
ISSN:
0098-5589
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.