Please use this identifier to cite or link to this item:
|Title:||Bisimilarity enforcing supervisory control for deterministic specifications||Authors:||Sun, Y.
Discrete event systems
|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.