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.

SCOPUSTM   
Citations

2
checked on Jul 17, 2018

WEB OF SCIENCETM
Citations

2
checked on Jun 27, 2018

Page view(s)

28
checked on Jun 1, 2018

Google ScholarTM

Check

Altmetric


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