Abstract
In this paper we investigate the problem of designing embedded discrete-event controllers over communication networks. It is assumed that there is a path between every pair of processes in the network. In each process certain events are singled out—called the significant events of the process—and the control objective is specified by a prefix-closed language over the alphabet of all significant events. 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 significant events not block communication among processes. We show that the protocol design for non-coobservable specifications can be reduced to the synthesis of communicating decentralized supervisors. Solutions are proposed for a restricted class of problems where all channels are ideal, and a couple of positive results are stated for the case where channels are unreliable.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
