Controllability in partial and uncertain environments
File(s)
Author(s)
D'Ippolito, N
Braberman, V
Piterman, N
Uchitel, S
Type
Conference Paper
Abstract
Controller synthesis is a well studied problem that attempts to automatically generate an operational behaviour model of the system-to-be that satisfies a given goal when deployed in a given domain model that behaves according to specified assumptions. A limitation of many controller synthesis techniques is that they require complete descriptions of the problem domain. This is limiting in the context of modern incremental development processes when a fully described problem domain is unavailable, undesirable or uneconomical. Previous work on Modal Transition Systems (MTS) control problems exists, however it is restricted to deterministic MTSs and deterministic Labelled Transition Systems (LTS) implementations. In this paper we study the Modal Transition System Control Problem in its full generality, allowing for nondeterministic MTSs modelling the environment's behaviour and nondeterministic LTS implementations. Given an nondeterministic MTS we ask if all, none or some of the nondeterministic LTSs it describes admit an LTS controller that guarantees a given property. We show a technique that solves effectively the MTS realisability problem and it can be, in some cases, reduced to deterministic control problems. In all cases the MTS realisability problem is in same complexity class as the corresponding LTS problem.
Date Issued
2014-06-23
Date Acceptance
2014-06-23
Citation
Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014, pp.52-61
ISSN
1550-4808
Publisher
IEEE
Start Page
52
End Page
61
Journal / Book Title
Proceedings of the 14th International Conference on Application of Concurrency to System Design
Copyright Statement
© 2014 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.
Source
14th International Conference on Application of Concurrency to System Design
Publication Status
Published
Start Date
2014-06-23
Finish Date
2014-06-27
Coverage Spatial
Tunis, Tunisia