Please use this identifier to cite or link to this item:
|Title:||Bisimilarity control of nondeterministic discrete event systems|
Discrete Event Systems
|Source:||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.|
|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.|
|Source Title:||Proceedings of the 30th Chinese Control Conference, CCC 2011|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Feb 23, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.