Please use this identifier to cite or link to this item:
|Title:||Bisimilarity enforcing supervisory control for deterministic specifications|
Discrete event systems
|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.|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Sep 19, 2018
WEB OF SCIENCETM
checked on Sep 10, 2018
checked on Jun 1, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.