Control of nondeterministic systems for bisimulation equivalence under partial information
Control of nondeterministic systems for bisimulation equivalence under partial information
In this article, we investigate the synthesis of a (possibly nondeterministic) supervisor, with partial information, such that the controlled nondeterministic plant is bisimulation equivalent to a nondeterministic specification. We derive a new necessary and sufficient condition for the existence of a supervisor and provide an algorithm for the supervisor construction when one exists. The algorithm is exponential in the size of the plant and specification, a substantial improvement over the double exponential cost from exhaustive search. We show that the cases of complete information and deterministic control are special cases of the presented theory.
Bisimulation, nondeterminism, partial observation, supervisory control theory
5437-5443
Farhat, Hikmat
4b7583f4-d03c-425e-a65a-82c0e157e7e6
28 January 2020
Farhat, Hikmat
4b7583f4-d03c-425e-a65a-82c0e157e7e6
Farhat, Hikmat
(2020)
Control of nondeterministic systems for bisimulation equivalence under partial information.
IEEE Transactions on Automatic Control, 65 (12), , [8972367].
(doi:10.1109/TAC.2020.2970148).
Abstract
In this article, we investigate the synthesis of a (possibly nondeterministic) supervisor, with partial information, such that the controlled nondeterministic plant is bisimulation equivalent to a nondeterministic specification. We derive a new necessary and sufficient condition for the existence of a supervisor and provide an algorithm for the supervisor construction when one exists. The algorithm is exponential in the size of the plant and specification, a substantial improvement over the double exponential cost from exhaustive search. We show that the cases of complete information and deterministic control are special cases of the presented theory.
This record has no associated files available for download.
More information
Published date: 28 January 2020
Additional Information:
Publisher Copyright:
© 1963-2012 IEEE.
Keywords:
Bisimulation, nondeterminism, partial observation, supervisory control theory
Identifiers
Local EPrints ID: 492311
URI: http://eprints.soton.ac.uk/id/eprint/492311
ISSN: 0018-9286
PURE UUID: 7bc94a81-4e6c-4c57-9f1e-b758040e1f4b
Catalogue record
Date deposited: 23 Jul 2024 17:13
Last modified: 24 Jul 2024 02:06
Export record
Altmetrics
Contributors
Author:
Hikmat Farhat
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics