{'fraction_non_alphanumeric': 0.017241379310344827, 'fraction_numerical': 0.015915119363395226, 'mean_word_length': 5.088709677419355, '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}}
Modeling and diagnosis of timed discrete event systems-a factory automation example

Detection and identification of failures is a critical task in the automatic control of large and complex systems. In the realm of discrete event systems, Sampath et al. (1995, 1996) proposed a new approach to failure diagnosis that models the logical behavior of the considered system in terms of state machines and produces an extended observer called a diagnoser for computing diagnoses. We extend this approach to the diagnosis of timed discrete event systems whose temporal and logical behavior are modeled by a framework proposed by Brandin and Wonham (1994). We use a simple real-world factory conveyor example to demonstrate our modeling and diagnosis approach.