INCREMENTAL PROCESSING OF TEMPORAL OBSERVATIONS IN SUPERVISION AND DIAGNOSIS OF DISCRETE-EVENT SYSTEMS

Gianfranco Lamperti, Marina Zanella

Abstract

Observations play a major role in supervision 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.

References

  1. Aho, A., Sethi, R., and Ullman, J. (1986). Compilers - Principles, Techniques, and Tools. Addison-Wesley, Reading, MA.
  2. Baroni, P., Canzi, U., and Guida, G. (1997). Fault diagnosis through history reconstruction: an application to power transmission networks. Expert Systems with Applications, 12(1):37-52.
  3. Baroni, P., Lamperti, G., Pogliano, P., and Zanella, M. (1999). Diagnosis of large active systems. Artificial Intelligence, 110(1):135-183.
  4. Brusoni, V., Console, L., Terenziani, P., and Dupré, D. T. (1998). A spectrum of definitions for temporal modelbased diagnosis. Artificial Intelligence, 102(1):39-80.
  5. Köb, D. and Wotawa, F. (2004). Introducing alias information into model-based debugging. In Fifteenth International Workshop on Principles of Diagnosis - DX'04, pages 93-98, Carcassonne, F.
  6. Lamperti, G. and Zanella, M. (2000). Uncertain temporal observations in diagnosis. In Fourteenth European Conference on Artificial Intelligence - ECAI'2000, pages 151-155, Berlin, D.
  7. Lamperti, G. and Zanella, M. (2002). Diagnosis of discreteevent systems from uncertain temporal observations. Artificial Intelligence, 137(1-2):91-163.
  8. Lamperti, G. and Zanella, M. (2003). Diagnosis of Active Systems - Principles and Techniques, volume 741 of The Kluwer International Series in Engineering and Computer Science. Kluwer Academic Publisher, Dordrecht, NL.
  9. Lamperti, G. and Zanella, M. (2004a). A bridged diagnostic method for the monitoring of polymorphic discreteevent systems. IEEE Transactions on Systems, Man, and Cybernetics - Part B: Cybernetics, 34(5):2222- 2244.
  10. Lamperti, G. and Zanella, M. (2004b). Dynamic diagnosis of active systems with fragmented observations. In Sixth International Conference on Enterprise Information Systems - ICEIS'2004, pages 249-261, Porto, P.
  11. Mozetic?, I. (1991). Hierarchical model-based diagnosis. International Journal of Man-Machine Studies, 35(3):329-362.
  12. Rozé, L. (1997). Supervision of telecommunication network: a diagnoser approach. In Eighth International Workshop on Principles of Diagnosis - DX'97, pages 103-111, Mont St. Michel, F.
  13. Wotawa, F. (202). On the relationship between model-based debugging and program slicing. Artificial Intelligence, 135(1-2):125-143.
Download


Paper Citation


in Harvard Style

Lamperti G. and Zanella M. (2006). INCREMENTAL PROCESSING OF TEMPORAL OBSERVATIONS IN SUPERVISION AND DIAGNOSIS OF DISCRETE-EVENT SYSTEMS . In Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-972-8865-42-9, pages 47-57. DOI: 10.5220/0002447200470057


in Bibtex Style

@conference{iceis06,
author={Gianfranco Lamperti and Marina Zanella},
title={INCREMENTAL PROCESSING OF TEMPORAL OBSERVATIONS IN SUPERVISION AND DIAGNOSIS OF DISCRETE-EVENT SYSTEMS},
booktitle={Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2006},
pages={47-57},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002447200470057},
isbn={978-972-8865-42-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Eighth International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - INCREMENTAL PROCESSING OF TEMPORAL OBSERVATIONS IN SUPERVISION AND DIAGNOSIS OF DISCRETE-EVENT SYSTEMS
SN - 978-972-8865-42-9
AU - Lamperti G.
AU - Zanella M.
PY - 2006
SP - 47
EP - 57
DO - 10.5220/0002447200470057