Interaction Models and Automated Control under Partial Observable Environments
File(s)Automated Control under Partial Observability.pdf (421.31 KB)
Accepted version
Author(s)
Ciolek, D
Braberman, V
D'Ippolito, N
Piterman, N
Uchitel, S
Type
Journal Article
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.
Date Issued
2016-05-09
Date Acceptance
2016-05-01
Citation
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 43 (1), pp.19-33
ISSN
0098-5589
Publisher
IEEE
Start Page
19
End Page
33
Journal / Book Title
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Volume
43
Issue
1
Copyright Statement
© 2016 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Identifier
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000393780300002&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202
Subjects
Science & Technology
Technology
Computer Science, Software Engineering
Engineering, Electrical & Electronic
Computer Science
Engineering
LTS
controller synthesis
imperfect-information games
DISCRETE-EVENT SYSTEMS
Software Engineering
0803 Computer Software
0806 Information Systems
Publication Status
Published