A framework for modeling communication among decentralized supervisors for discrete-event systems

Author

Mannani, A. ; Gohari, P.

Author_Institution

Concordia Univ., Montreal

fYear

2007

fDate

7-10 Oct. 2007

Firstpage

1339

Lastpage

1344

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICSMC.2007.4414058

Filename

4414058