Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/37602
Title: Interaction Models and Automated Control under Partial Observable Environments
Authors: Braberman, Victor
D'Ippolito, Nicolas
Piterman, Nir
Uchitel, Sebastian
Ciolek, Daniel
First Published: 6-May-2016
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
Citation: IEEE Transactions on Software Engineering, 2016, DOI: 10.1109/TSE.2016.2564959, in press
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.
DOI Link: 10.1109/TSE.2016.2564959
ISSN: 0098-5589
Links: http://ieeexplore.ieee.org/document/7466810/
http://hdl.handle.net/2381/37602
Version: Post-print
Status: Peer-reviewed
Type: Journal Article
Rights: Copyright © IEEE 2016. This version is an open-access article distributed under the terms of the Creative Commons Attribution-Non Commercial-No Derivatives License (http://creativecommons.org/licenses/by-nc-nd/4.0/ ), which permits use and distribution in any medium, provided the original work is properly cited, the use is non-commercial and no modifications or adaptations are made.
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
Interaction Models and Automated Control under Partial Observable Environments.pdfPost-review (final submitted)1.69 MBAdobe PDFView/Open


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.