Title :
Diagnosability Test for Timed Discrete-Event Systems
Author :
Pan, J. ; Hashtrudi-Zad, S.
Author_Institution :
Dept. of Electr. & Comput. Engr., Concordia Univ., Montreal, Que.
Abstract :
In this paper, an algorithm with polynomial time-complexity is presented for testing failure diagnosability in (untimed) discrete-event systems in a state-based framework. Furthermore, an algorithm for testing failure diagnosability in timed discrete-event systems is provided. The test for timed discrete-event systems, in particular, first gathers and complies the information about the timing of events (represented in the timed transition graph of the timed system) in the transition-time function of a reduced model, and then uses this model to verify diagnosability. Sufficient conditions are obtained under which the transition-time sets can be represented as the union of a bounded number of intervals, and the test will have polynomial complexity. This new test, as shown using examples, may significantly reduce the computations of testing diagnosability, compared with other polynomial diagnosability tests (for untimed systems) adapted for timed systems
Keywords :
computational complexity; discrete event systems; failure diagnosability testing; polynomial time-complexity; timed discrete-event systems; timed system; Automata; Computerized monitoring; Discrete event systems; Event detection; Fault diagnosis; Observability; Polynomials; Sufficient conditions; System testing; Timing;
Conference_Titel :
Tools with Artificial Intelligence, 2006. ICTAI '06. 18th IEEE International Conference on
Conference_Location :
Arlington, VA
Print_ISBN :
0-7695-2728-0
DOI :
10.1109/ICTAI.2006.50