Please use this identifier to cite or link to this item: https://doi.org/10.1016/j.automatica.2013.09.025
DC FieldValue
dc.titleBisimilarity enforcing supervisory control for deterministic specifications
dc.contributor.authorSun, Y.
dc.contributor.authorLin, H.
dc.contributor.authorChen, B.M.
dc.date.accessioned2014-10-07T04:24:20Z
dc.date.available2014-10-07T04:24:20Z
dc.date.issued2014-01
dc.identifier.citationSun, 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
dc.identifier.issn00051098
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/82011
dc.description.abstractThis 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.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1016/j.automatica.2013.09.025
dc.sourceScopus
dc.subjectBisimulation
dc.subjectDiscrete event systems
dc.subjectSupervisory control
dc.typeArticle
dc.contributor.departmentELECTRICAL & COMPUTER ENGINEERING
dc.description.doi10.1016/j.automatica.2013.09.025
dc.description.sourcetitleAutomatica
dc.description.volume50
dc.description.issue1
dc.description.page287-290
dc.description.codenATCAA
dc.identifier.isiut000331422000033
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

4
checked on Jul 11, 2019

WEB OF SCIENCETM
Citations

4
checked on Jul 11, 2019

Page view(s)

37
checked on Jun 21, 2019

Google ScholarTM

Check

Altmetric


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