Title :
A framework for modeling communication among decentralized supervisors for discrete-event systems
Author :
Mannani, A. ; Gohari, P.
Author_Institution :
Concordia Univ., Montreal
Abstract :
Following the author´s work on extended finite-state machines (EFSMs), we propose a framework to study communication among decentralized supervisors for a (distributed) discrete-event system (DES). Equipped with agent-wise labeling maps (ALMs), this framework serves to explore the information structure of the system naturally while enjoying an abstract viewpoint to rigorously express the desired properties. After its development in the centralized case, we extend the framework to the case of decentralized supervisors and prove the existence and efficient computation of ALMs. Examples illustrate the applicability of the approach.
Keywords :
discrete event systems; finite state machines; agent-wise labeling maps; communication modeling; decentralized supervisors; distributed discrete-event system; extended finite-state machine; Centralized control; Communication networks; Communication system control; Communication system traffic control; Concrete; Context; Discrete event systems; Labeling; State estimation; Supervisory control;
Conference_Titel :
Systems, Man and Cybernetics, 2007. ISIC. IEEE International Conference on
Conference_Location :
Montreal, Que.
Print_ISBN :
978-1-4244-0990-7
Electronic_ISBN :
978-1-4244-0991-4
DOI :
10.1109/ICSMC.2007.4414058
