Abstract

In this paper we investigate the problem of designing embedded decentralized discrete-event con-trollers over communication networks. It is assumed that there is a path between every pair of processes in the network. The control objective is specified by a prefix-closed language which is controllable and observable, but not coobservabe. The paper is focused on communication among processes necessary to meet the control objective. As such, process models are left unspecified; it is only required that disabling any of the controllable events does not block communication among processes. Our findings support the idea that in the presence of ideal communication channels the protocol design for non-coobservable specifications can be reduced to the synthesis of communicating decentralized supervisors, and we propose solutions for a restricted class of problems. Also a couple of positive results are stated for the case where channels are unreliable. Index Terms decentralized supervisory control, discrete-event systems, protocol design. I.

Citations