Abstract
Observations play a major role in monitoring and diagnosis of discrete-event systems (DESs). In a distributed, large-scale setting, the observation of a DES over a time interval is not perceived as a totally-ordered sequence of observable labels but, rather, as a directed acyclic graph, under uncertainty conditions. Problem solving, however, requires generating a surrogate of such a graph, the index space. Furthermore, the observation hypothesized so far has to be integrated at the reception of a new fragment of observation. This translates to the need for computing a new index space every time. Since such a computation is expensive, a naive generation of the index space from scratch at the occurrence of each observation fragment becomes prohibitive in real applications. To cope with this problem, the paper introduces an incremental technique for efficiently modeling and indexing temporal observations of DESs.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Rozé, L.: Supervision of telecommunication network: a diagnoser approach. In: DX 1997. Eighth International Workshop on Principles of Diagnosis, Mont St. Michel, F, pp. 103–111 (1997)
Brusoni, V., Console, L., Terenziani, P., Dupré, D.T.: A spectrum of definitions for temporal model-based diagnosis. Artificial Intelligence 102(1), 39–80 (1998)
Baroni, P., Canzi, U., Guida, G.: Fault diagnosis through history reconstruction: an application to power transmission networks. Expert Systems with Applications 12(1), 37–52 (1997)
Baroni, P., Lamperti, G., Pogliano, P., Zanella, M.: Diagnosis of large active systems. Artificial Intelligence 110(1), 135–183 (1999)
Wotawa, F.: On the relationship between model-based debugging and program slicing. Artificial Intelligence 135(1-2), 125–143 (2002)
Köb, D., Wotawa, F.: Introducing alias information into model-based debugging. In: Carcassonne, F. (ed.) DX 2004. Fifteenth International Workshop on Principles of Diagnosis, pp. 93–98 (2004)
Mozetič, I.: Hierarchical model-based diagnosis. International Journal of Man-Machine Studies 35(3), 329–362 (1991)
Lamperti, G., Zanella, M.: Diagnosis of discrete-event systems from uncertain temporal observations. Artificial Intelligence 137(1-2), 91–163 (2002)
Hopcroft, J., Motwani, R., Ullman, J.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley, Reading, MA (2006)
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.: Dynamic diagnosis of active systems with fragmented observations. In: Porto, P. (ed.) ICEIS 2004. Sixth International Conference on Enterprise Information Systems, pp. 249–261 (2004)
Lamperti, G., Zanella, M.: Diagnosis of Active Systems – Principles and Techniques. The Kluwer International Series in Engineering and Computer Science, vol. 741. Kluwer Academic Publisher, Dordrecht, NL (2003)
Lamperti, G., Zanella, M.: Uncertain temporal observations in diagnosis. In: Berlin, D. (ed.) ECAI 2000. Fourteenth European Conference on Artificial Intelligence, pp. 151–155. IOS Press, Amsterdam, NL (2000)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lamperti, G., Zanella, M. (2008). On Processing Temporal Observations in Monitoring of Discrete-Event Systems. In: Manolopoulos, Y., Filipe, J., Constantopoulos, P., Cordeiro, J. (eds) Enterprise Information Systems. ICEIS 2006. Lecture Notes in Business Information Processing, vol 3. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77581-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-77581-2_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77580-5
Online ISBN: 978-3-540-77581-2
eBook Packages: Computer ScienceComputer Science (R0)