{'fraction_non_alphanumeric': 0.017640573318632856, 'fraction_numerical': 0.0, 'mean_word_length': 4.896103896103896, '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}}
Diagnosis of discrete event systems using timed automata

This paper proposes an effective way for diagnosis of discrete-event systems by using a timed automaton. It is based on the model-check technique, thanks to the time analysis of the timed model. This paper gives a method to construct all timed models and details the different steps used to obtain the diagnosis path in the timed automaton. The proposed approach could be applied to dynamical systems, where input and output measurement can be not available. The modeling formalism permits us a formal verification of the model. The model-checking became favorite method for the checking of timed automata, our extension is an adaptation of this method for diagnoser verification. A simple real-world batch process is used to demonstrate the modeling and verification task. Finally, a backward time analysis is performed to reach diagnostic results.