Please use this identifier to cite or link to this item:
https://doi.org/10.1016/j.automatica.2013.09.025
DC Field | Value | |
---|---|---|
dc.title | Bisimilarity enforcing supervisory control for deterministic specifications | |
dc.contributor.author | Sun, Y. | |
dc.contributor.author | Lin, H. | |
dc.contributor.author | Chen, B.M. | |
dc.date.accessioned | 2014-10-07T04:24:20Z | |
dc.date.available | 2014-10-07T04:24:20Z | |
dc.date.issued | 2014-01 | |
dc.identifier.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 | |
dc.identifier.issn | 00051098 | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/82011 | |
dc.description.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. | |
dc.description.uri | http://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1016/j.automatica.2013.09.025 | |
dc.source | Scopus | |
dc.subject | Bisimulation | |
dc.subject | Discrete event systems | |
dc.subject | Supervisory control | |
dc.type | Article | |
dc.contributor.department | ELECTRICAL & COMPUTER ENGINEERING | |
dc.description.doi | 10.1016/j.automatica.2013.09.025 | |
dc.description.sourcetitle | Automatica | |
dc.description.volume | 50 | |
dc.description.issue | 1 | |
dc.description.page | 287-290 | |
dc.description.coden | ATCAA | |
dc.identifier.isiut | 000331422000033 | |
Appears in Collections: | Staff Publications |
Show simple item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.