{'fraction_non_alphanumeric': 0.018136850783182192, 'fraction_numerical': 0.0, 'mean_word_length': 4.921951219512195, '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}}
Minimizing the cardinality of an events set for supervisors of discrete-event dynamical systems

In this paper we study sufficient observation and work spaces for supervisors of a class of discrete-event dynamical systems (DEDS). We use finite state automata to model a DEDS. The finite automata generates a formal language defined over the set of events in the DEDS. A supervisor is a feedback system that observes a generated trace of events and dynamically disables (or enables) a subset of controllable events such that the closed-loop system behaves as desired. We model the desired behavior of the DEDS by a sublanguage defined over the set of events. A sufficient observation space is a collection of events whose observation by a supervisor is enough to realize a given desired behavior. A sufficient work space is a sufficient observation space such that the control action of the supervisor is limited to only the controllable elements of the work space. We construct algorithms to evaluate a sufficient work (or observation) space. The reduction of work (or observation) spaces results in reducing the number of event detectors, communication, and command channels between the supervisor and the plant.