Please use this identifier to cite or link to this item: https://doi.org/10.1016/j.automatica.2011.01.066
DC FieldValue
dc.titleBisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
dc.contributor.authorLiu, F.
dc.contributor.authorLin, H.
dc.contributor.authorDziong, Z.
dc.date.accessioned2014-06-17T02:40:26Z
dc.date.available2014-06-17T02:40:26Z
dc.date.issued2011-04
dc.identifier.citationLiu, F., Lin, H., Dziong, Z. (2011-04). Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm. Automatica 47 (4) : 782-788. ScholarBank@NUS Repository. https://doi.org/10.1016/j.automatica.2011.01.066
dc.identifier.issn00051098
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/55208
dc.description.abstractIn this paper, the bisimilarity control of discrete event systems (DESs) under partial observations is investigated, where the plant and the specification are allowed to be nondeterministic. A notation of simulation-based controllability and a synchronization scheme for the supervised system are formalized based on the simulation relation between the specification and the plant. It is shown that the existence of bisimilarity supervisors is characterized by the notions of the simulation-based controllability and the language observability, which extends the traditional results of supervisory control from language equivalence to bisimulation equivalence. In addition, a polynomial algorithm to test the simulation-based controllability is developed by constructing a computing tree. This algorithm together with the test of language observability can be used to check the existence of bisimilarity supervisors. © 2011 Elsevier Ltd. All rights reserved.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1016/j.automatica.2011.01.066
dc.sourceScopus
dc.subjectBisimulation equivalence
dc.subjectDiscrete event systems
dc.subjectNondeterministic systems
dc.subjectPartial observations
dc.subjectSupervisory control
dc.typeArticle
dc.contributor.departmentELECTRICAL & COMPUTER ENGINEERING
dc.description.doi10.1016/j.automatica.2011.01.066
dc.description.sourcetitleAutomatica
dc.description.volume47
dc.description.issue4
dc.description.page782-788
dc.description.codenATCAA
dc.identifier.isiut000289968500017
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

13
checked on May 3, 2021

WEB OF SCIENCETM
Citations

11
checked on May 3, 2021

Page view(s)

109
checked on May 5, 2021

Google ScholarTM

Check

Altmetric


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