Please use this identifier to cite or link to this item:
Title: Decentralized supervisory control: Nondeterministic transitions versus deterministic moves
Authors: Karimadini, M.
Hai, L. 
Lee, T.H. 
Issue Date: 2009
Citation: 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.
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
ISBN: 9781424428533
DOI: 10.1109/AIM.2009.5229834
Appears in Collections:Staff Publications

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


checked on Apr 14, 2019

Page view(s)

checked on Apr 20, 2019

Google ScholarTM



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