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 | Citation: | 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.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.