Please use this identifier to cite or link to this item:
https://doi.org/10.1109/AIM.2009.5229834
DC Field | Value | |
---|---|---|
dc.title | Decentralized supervisory control: Nondeterministic transitions versus deterministic moves | |
dc.contributor.author | Karimadini, M. | |
dc.contributor.author | Hai, L. | |
dc.contributor.author | Lee, T.H. | |
dc.date.accessioned | 2014-06-19T03:04:40Z | |
dc.date.available | 2014-06-19T03:04:40Z | |
dc.date.issued | 2009 | |
dc.identifier.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. <a href="https://doi.org/10.1109/AIM.2009.5229834" target="_blank">https://doi.org/10.1109/AIM.2009.5229834</a> | |
dc.identifier.isbn | 9781424428533 | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/69789 | |
dc.description.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. | |
dc.description.uri | http://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1109/AIM.2009.5229834 | |
dc.source | Scopus | |
dc.type | Conference Paper | |
dc.contributor.department | ELECTRICAL & COMPUTER ENGINEERING | |
dc.description.doi | 10.1109/AIM.2009.5229834 | |
dc.description.sourcetitle | IEEE/ASME International Conference on Advanced Intelligent Mechatronics, AIM | |
dc.description.page | 1288-1293 | |
dc.identifier.isiut | NOT_IN_WOS | |
Appears in Collections: | Staff Publications |
Show simple item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.