Please use this identifier to cite or link to this item:
Title: Bisimilarity control of nondeterministic discrete event systems
Authors: Liu, F.
Qiu, D.
Lin, H. 
Keywords: Bisimulation Equivalence
Discrete Event Systems
Nondeterministic Systems
Supervisory Control
Issue Date: 2011
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.
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
ISBN: 9789881725592
Appears in Collections:Staff Publications

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

Page view(s)

checked on Apr 7, 2019

Google ScholarTM



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