Please use this identifier to cite or link to this item:
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.
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
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.

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.