RELATIONS OF TIMED EVENT GRAPHS AND TIMED AUTOMATA IN FAULT DIAGNOSIS

摘要

This paper investigates the relations between timed event graphs and timed automata that describe discrete-event systems subject to faults. An algorithm is presented for transforming a timed event graph into an equivalent timed automaton. The relations among the models of the faulty systems provide the basis for comparing diagnostic methods that have been developed in the past for these two timed discrete models.