{'fraction_non_alphanumeric': 0.02553191489361702, 'fraction_numerical': 0.0, 'mean_word_length': 5.190789473684211, '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}}
How to reuse supervisors when discrete event system models evolve

System evolution, such as addition or replacement of a component, reconfiguration upon a diagnosed failure, or process changes leading to new requirements on the system behavior, may often necessitate complete redesign of the existing supervisors for a discrete event dynamic system. Such redesign may occur because the supervisors are synthesized based on the models of the system and the specifications, and these models may have to be modified, or "refined", upon the evolution of the system. The objectives of this work are to: (i) study conditions on the evolution of the system model under which it is possible to reuse the existing supervisors for the original set of specifications, and (ii) propose a systematic method for this reuse of the supervisors, based on the automatic synthesis of input and output "interfaces", when the conditions identified in (i) hold.