Abstract
In discrete-event system monitoring, the observation is fragmented over time and a set of candidate diagnoses is output at the reception of each fragment (so as to allow for possible control and recovery actions). When the observation is uncertain (typically, a DAG with partial temporal ordering) a problem arises about the significance of the monitoring output: two sets of diagnoses, relevant to two consecutive observation fragments, may be unrelated to one another, and, even worse, they may be unrelated to the actual diagnosis. To cope with this problem, the notion of monotonic monitoring is introduced, which is supported by specific constraints on the fragmentation of the uncertain temporal observation, leading to the notion of stratification. The paper shows that only under stratified observations can significant monitoring results be guaranteed.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baroni, P., Lamperti, G., Pogliano, P., Zanella, M.: Diagnosis of Large Active Systems. Artificial Intelligence 110(1), 135–183 (1999)
Console, L., Picardi, C., Ribaudo, M.: Process Algebras for Systems Diagnosis. Artificial Intelligence 142(1), 19–51 (2002)
Debouk, R., Lafortune, S., Teneketzis, D.: Coordinated Decentralized Protocols for Failure Diagnosis of Discrete-Event Systems. Journal of Discrete Event Dynamic Systems: Theory and Application 10, 33–86 (2000)
Grastien, A., Cordier, M.O., Largouët, C.: Incremental Diagnosis of Discrete-Event Systems. In: 16th International Workshop on Principles of Diagnosis – DX 2005, Monterey, CA, pp. 119–124 (2005)
Lamperti, G., Zanella, M.: Diagnosis of Discrete-Event Systems from Uncertain Temporal Observations. Artificial Intelligence 137(1-2), 91–163 (2002)
Lamperti, G., Zanella, M.: A Bridged Diagnostic Method for the Monitoring of Polymorphic Discrete-Event Systems. IEEE Transactions on Systems, Man, and Cybernetics – Part B: Cybernetics 34(5), 2222–2244 (2004)
Lamperti, G., Zanella, M.: Monitoring and Diagnosis of Discrete-Event Systems with Uncertain Symptoms. In: 16th International Workshop on Principles of Diagnosis – DX 2005, Monterey, CA, pp. 145–150 (2005)
Lamperti, G., Zanella, M.: Flexible Diagnosis of Discrete-Event Systems by Similarity-Based Reasoning Techniques. Artificial Intelligence 170(3), 232–297 (2006)
Lunze, J.: Diagnosis of Quantized Systems Based on a Timed Discrete-Event Model. IEEE Transactions on Systems, Man, and Cybernetics – Part A: Systems and Humans 30(3), 322–335 (2000)
Pencolé, Y., Cordier, M.O.: A Formal Framework for the Decentralized Diagnosis of Large Scale Discrete Event Systems and its Application to Telecommunication Networks. Artificial Intelligence 164, 121–170 (2005)
Rozé, L., Cordier, M.O.: Diagnosing Discrete-Event Systems: Extending the ‘Diagnoser Approach’ to Deal with Telecommunication Networks. Journal of Discrete Event Dynamic Systems: Theory and Application 12, 43–81 (2002)
Sampath, M., Lafortune, S., Teneketzis, D.C.: Active Diagnosis of Discrete-Event Systems. IEEE Transactions on Automatic Control 43(7), 908–929 (1998)
Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.C.: Failure Diagnosis Using Discrete-Event Models. IEEE Transactions on Control Systems Technology 4(2), 105–124 (1996)
Su, R., Wonham, W.M.: Global and Local Consistencies in Distributed Fault Diagnosis for Discrete-Event Systems. IEEE Transactions on Automatic Control 50(12), 1923–1935 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lamperti, G., Zanella, M. (2009). Monotonic Monitoring of Discrete-Event Systems with Uncertain Temporal Observations. In: Filipe, J., Cordeiro, J. (eds) Enterprise Information Systems. ICEIS 2009. Lecture Notes in Business Information Processing, vol 24. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01347-8_30
Download citation
DOI: https://doi.org/10.1007/978-3-642-01347-8_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01346-1
Online ISBN: 978-3-642-01347-8
eBook Packages: Computer ScienceComputer Science (R0)