loading...
Diagnosability Test for Timed Discrete-Event Systems
Arlington, Virginia November 13-November 15
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICTAI.2006.5018th IEEE International Conference on ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
J. Pan, Concordia University, Canada
S. Hashtrudi-Zad, Concordia University, Canada
In this paper, an algorithm with polynomial timecomplexity 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.
Citation:
J. Pan, S. Hashtrudi-Zad, "Diagnosability Test for Timed Discrete-Event Systems," ictai, pp.63-72, 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.