Please use this identifier to cite or link to this item:
|Title:||Decentralized supervisory control: Nondeterministic transitions versus deterministic moves|
|Source:||Karimadini, M.,Hai, L.,Lee, T.H. (2009). Decentralized supervisory control: Nondeterministic transitions versus deterministic moves. IEEE/ASME International Conference on Advanced Intelligent Mechatronics, AIM : 1288-1293. ScholarBank@NUS Repository. https://doi.org/10.1109/AIM.2009.5229834|
|Abstract:||This paper addresses the existence problem of the global supervisor for a distributed plant so that the closed loop system satisfies a global linear temporal logic specification given in a decomposable automaton. The paper shows that if there exist local supervisors for individual sub-plants of a distributed plant, then a global controller exists for decentralized supervisory control of the plant. This existence result is shown for two types of distributed plants: loosely cooperating (with deterministic events and disjoint synchronization on the common events) and synchronously communicating (with joint synchronization on the non-deterministic common events) distributed discrete event systems. For supervisory control of nondeterministic transition systems, a new notion of synchronized simulation relation is introduced to design the decentralized supervisor using synchronous product composition. An example is given to illustrate the concept of synchronized supervisory control of nondeterministic plants. This work is a new contribution in synchronization of nondeterministic events and actions in supervisory control. ©2009 IEEE.|
|Source Title:||IEEE/ASME International Conference on Advanced Intelligent Mechatronics, AIM|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Dec 13, 2017
checked on Dec 16, 2017
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.