Please use this identifier to cite or link to this item:
https://doi.org/10.1016/j.automatica.2013.09.025
Title: | Bisimilarity enforcing supervisory control for deterministic specifications |
Authors: | Sun, Y. Lin, H. Chen, B.M. |
Keywords: | Bisimulation Discrete event systems Supervisory control |
Issue Date: | Jan-2014 |
Source: | Sun, Y., Lin, H., Chen, B.M. (2014-01). Bisimilarity enforcing supervisory control for deterministic specifications. Automatica 50 (1) : 287-290. ScholarBank@NUS Repository. https://doi.org/10.1016/j.automatica.2013.09.025 |
Abstract: | This paper studies the supervisory control of nondeterministic discrete event systems to achieve a bisimulation equivalence between the controlled system and the deterministic specification. In particular, a necessary and sufficient condition is given for the existence of a bisimilarity enforcing supervisor, and a polynomial algorithm is developed to verify such a condition. When the existence condition holds, a bisimilarity enforcing supervisor is constructed. Otherwise, two methods are provided for synthesizing supremal feasible sub-specifications. © 2013 The Authors. Published by Elsevier Ltd. All rights reserved. |
Source Title: | Automatica |
URI: | http://scholarbank.nus.edu.sg/handle/10635/82011 |
ISSN: | 00051098 |
DOI: | 10.1016/j.automatica.2013.09.025 |
Appears in Collections: | Staff Publications |
Show full item record
Files in This Item:
There are no files associated with this item.
SCOPUSTM
Citations
2
checked on Mar 26, 2018
WEB OF SCIENCETM
Citations
1
checked on Mar 26, 2018
Page view(s)
26
checked on Mar 11, 2018
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.