Please use this identifier to cite or link to this item: https://doi.org/10.1109/AIM.2009.5229834
Title: Decentralized supervisory control: Nondeterministic transitions versus deterministic moves
Authors: Karimadini, M.
Hai, L. 
Lee, T.H. 
Issue Date: 2009
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
URI: http://scholarbank.nus.edu.sg/handle/10635/69789
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.

SCOPUSTM   
Citations

1
checked on Dec 13, 2017

Page view(s)

17
checked on Dec 16, 2017

Google ScholarTM

Check

Altmetric


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