{'fraction_non_alphanumeric': 0.015609756097560976, 'fraction_numerical': 0.0, 'mean_word_length': 5.218181818181818, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Discrete-event control over communication networks

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.