Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1109/TSE.2016.2564959 | IEEE Trans. Software Eng. |
Keywords | Field | DocType |
Servers,Maintenance engineering,Automata,Context,Observability,Uncertainty | Kripke structure,Observability,Control theory,Observable,Computer science,Automaton,Theoretical computer science,Exploit,Component-based software engineering,Maintenance engineering | Journal |
Volume | Issue | ISSN |
43 | 1 | 0098-5589 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniel Ciolek | 1 | 12 | 1.54 |
Víctor A. Braberman | 2 | 252 | 21.59 |
Nicolás D'Ippolito | 3 | 176 | 10.05 |
Nir Piterman | 4 | 21 | 2.15 |
Sebastian Uchitel | 5 | 1662 | 103.25 |