Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/69511
DC Field | Value | |
---|---|---|
dc.title | Bisimilarity control of nondeterministic discrete event systems | |
dc.contributor.author | Liu, F. | |
dc.contributor.author | Qiu, D. | |
dc.contributor.author | Lin, H. | |
dc.date.accessioned | 2014-06-19T03:01:32Z | |
dc.date.available | 2014-06-19T03:01:32Z | |
dc.date.issued | 2011 | |
dc.identifier.citation | Liu, F.,Qiu, D.,Lin, H. (2011). Bisimilarity control of nondeterministic discrete event systems. Proceedings of the 30th Chinese Control Conference, CCC 2011 : 87-92. ScholarBank@NUS Repository. | |
dc.identifier.isbn | 9789881725592 | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/69511 | |
dc.description.abstract | This paper addresses the bisimilarity control problem of discrete event systems (DESs) under full observations and partial observations, in which both the plant and the specification are allowed to be nondeterministic. The main contribution is the derivation of necessary and sufficient conditions for the existence of a supervisor that achieves a given specification in terms of bisimulation equivalence. The notions of simulation-based controllability and simulation-based observability are proposed respectively, which are generalizations of the counterparts in the classical supervisory control in the sense of language equivalence. With these new notations, the main results here can be presented as the controllability and observability theorems for bisimulation. © 2011 Chinese Assoc of Automati. | |
dc.source | Scopus | |
dc.subject | Bisimulation Equivalence | |
dc.subject | Discrete Event Systems | |
dc.subject | Nondeterministic Systems | |
dc.subject | Supervisory Control | |
dc.type | Conference Paper | |
dc.contributor.department | ELECTRICAL & COMPUTER ENGINEERING | |
dc.description.sourcetitle | Proceedings of the 30th Chinese Control Conference, CCC 2011 | |
dc.description.page | 87-92 | |
dc.identifier.isiut | NOT_IN_WOS | |
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.