Abstract
We present an approach dealing with repeated fault events in the framework of model-based monitoring of discrete-event systems (DES). Various notions of diagnosability reported in the literature deal with uniformly bounded finite detection of counting delays over all faulty behaviors (uniform delays for brevity). The situation where the diagnosability notion of interest fails to hold under a given observation configuration leads typically to the deployment of more observational devices (e.g., sensors), which may be costly or infeasible. As an alternative to the additional deployment of observational devices, one might want to relax the uniformity of delays, while delays remain finite. To this end, we introduce a notion of diagnosability characterized with nonuniformly bounded finite counting delays (nonuniform counting delays for brevity), where finite delay bounds can vary on faulty behaviors. To evaluate the introduced notion of diagnosability with nonuniform counting delays, a polynomial-time verification algorithm is developed. Notably, the developed verification technique can readily be modified to construct a computationally superior verification algorithm for diagnosability under uniformly bounded finite counting delays (uniform counting delays for brevity) as compared to an algorithm previously reported in the literature. We also develop a novel on-line event counting algorithm that improves the time and space complexities of the currently available algorithms for the counting of special events.
Similar content being viewed by others
Notes
An application of the [1, ∞ ]-diagnosability concept includes diagnosis of repeated routing violations in material handling systems (Garcia and Yoo 2005). In this case, the assessment of monitoring capability associated with repeated routing violations is accomplished by evaluating uniform [1, ∞ ]-diagnosability. Using the new verification algorithm, various observational configuration results were obtained successfully, as reported in Garcia and Yoo (2005).
References
Baroni P, Lamperti G, Pogliano P, Zanella M (1999) Diagnosis of large active systems. Artif Intell 110(1):135–183
Cassandras CG, Lafortune S (1999) Introduction to discrete event systems. Kluwer, Dordrecht
Cherkassky BV, Goldberg AV, Radzik T (1996) Shortest-paths algorithms: Theory and experimental evaluation. Math Program 73(2):129–174
Contant O, Lafortune S, Teneketzis D (2004) Diagnosis of intermittent faults. Discret Event Dyn Syst Theor Appl 14(2):171–202
Cormen TH, Leiserson CE, Rivest RL (1990) Introduction to algorithms. MIT, Cambridge
Fabre E, Benveniste A, Haar S, Jard C (2005) Distributed monitoring of concurrent and asynchronous systems. Discret Event Dyn Syst Theor Appl 15(1):33–84
Garcia HE, Lineberry MJ, Aumeier SE, McFarlane HF (2001) Proliferation resistance of advanced sustainable nuclear fuel cycles. In: Proc global 2001, Paris, 9–13 September 2001
Garcia HE, Yoo T (2003) Methodology to optimize and integrate safeguards sensor configurations and measurements in large nuclear processing facilities. In: Proc institute of nuclear material management (INMM) annual meeting, Phoenix, 13–17 July 2003
Garcia HE, Yoo T (2005) Model-based detection of routing events in discrete flow networks. Automatica 4(41):583–594
Goldberg AV (1995) Scaling algorithms for the shortest paths problem. SIAM J Comput 24:494–504
Haji-Valizadeh A, Loparo K (1996) Minimizing the cardinality of an events set for supervisors of discrete-event dynamical systems. IEEE Trans Automat Contr 41(11):1579–1593
Jiang S, Huang Z, Chandra V, Kumar R (2001) A polynomial time algorithm for diagnosability of discrete event systems. IEEE Trans Automat Contr 46(8):1318–1321
Jiang S, Kumar R, Garcia HE (2003a) Diagnosis of repeated/intermittent failures in discrete-event systems. IEEE Trans Robot Appl 19(2):310–323
Jiang S, Kumar R, Garcia HE (2003b) Optimal sensor selection for discrete event systems under partial observation. IEEE Trans Automat Contr 48(3):369–381
Lunze J (2000) Diagnosis of quantized systems based on timed discrete-event model. IEEE Trans Syst Man Cybern Part A Syst Humans 30(3):322–335
Pencolé Y, Cordier M-O (2005) A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artif Intell 110(1):135–183
Sampath M, Lafortune S, Teneketzis D (1998) Active diagnosis of discrete event systems. IEEE Trans Automat Contr 43(7):908–929
Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1995) Diagnosability of discrete event systems. IEEE Trans Automat Contr 40(9):1555–1575
Yoo T, Garcia HE (2004) Event diagnosis of discrete-event systems with uniformly and nonuniformly bounded diagnosis delays. In: Proc 2004 American control conference, vol. 30(6), Boston, June 2004, pp 5102–5107
Yoo T, Lafortune S (2002a) NP-completeness of sensor selection problems arising in partially-observed discrete-event systems. IEEE Trans Automat Contr 47(9):1495–1499
Yoo T, Lafortune S (2002b) Polynomial time verification of diagnosability of partially-observed discrete-event systems. IEEE Trans Automat Contr 47(9):1491–1495
Zad SH (1999) Fault diagnosis in discrete-event and hybrid systems. PhD Thesis, Dept. of Electrical and Computer Engineering, Univ of Toronto
Acknowledgements
The research reported in this paper was supported in part by the U.S. Department of Energy under contracts W-31-109-Eng-38 and DE-AC07-05ID14517. We are grateful to the reviewers for their comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Yoo, TS., Garcia, H.E. Event Counting of Partially-Observed Discrete-Event Systems with Uniformly and Nonuniformly Bounded Diagnosis Delays. Discrete Event Dyn Syst 19, 167–187 (2009). https://doi.org/10.1007/s10626-008-0056-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10626-008-0056-1