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.
checked on Oct 24, 2020
WEB OF SCIENCETM
checked on Oct 16, 2020
checked on Oct 23, 2020
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.