@inproceedings{bc9403a988754f3cbfe3c15224bdc5be,
title = "Event diagnosis of discrete-event systems with uniformly and nonuniformly bounded diagnosis delays",
abstract = "Various notions of diagnosability reported in literature deal with uniformly bounded finite detection or counting delays. The uniformity of delays can be relaxed while delays remain finite. We introduce various notions of diagnosability allowing nonuniformly bounded finite delays. A polynomial-time verification algorithm for diagnosability with nonuniformly bounded finite indefinite-counting delays is presented. A similar technique is applied to give a computationally better verification algorithm for diagnosability with uniformly bounded finite indefinite-counting delays than algorithms previously reported in literature. Finally we develop a new on-line diagnosis algorithm that has a lower time and space complexity than on-line diagnosis algorithms reported in literature for counting the occurrence of repeated/intermittant faults.",
author = "Yoo, \{Tae Sic\} and Garcia, \{Humberto E.\}",
year = "2004",
doi = "10.1109/ACC.2004.249124",
language = "English",
isbn = "0780383354",
series = "Proceedings of the American Control Conference",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "5102--5107",
booktitle = "Proceedings of the 2004 American Control Conference (AAC)",
note = "2004 American Control Conference, AAC 2004 ; Conference date: 30-06-2004 Through 02-07-2004",
}