Relations of Timed Event Graphs and Timed Automata in Fault Diagnosis

Diagnosis of timed automata: Theory and application to the DAMADICS actuator benchmark problem

“…If the timed discrete-event model in the form of timed Petri net or timed-event graph exists, the transition relation of the timed automaton can be obtained by transforming the existing model to a timed automaton (Haar, Simonot-Lion, Kaiser, & Toussaint, 2002;Schullerus, Supavatanakul, Krebs, & Lunze, 2003).…”

Event scheduling of timed automata using Dioid Algebra

“…Recently, the application of timed discrete-event abstraction of HS has obtained considerable interest, especially in supervisory control and fault diagnosis systems [2][3][4][5]. A particularly suitable model for diagnosis is the timed automaton (TA) because of its expressiveness with respect to the timed event behavior and its robustness to temporal uncertainties [2,3].…”

“…Dioid Algebra is defined on a set with two operations that are formally named addition and multiplication [8]. Dioid Algebra has been used for modeling and analysis of Timed Event Graphs and Timed Petri Nets in some diagnosis tasks [5,9]. To the authors' knowledge, Dioid Algebra has not been employed in TA modeling and analysis.…”