ON CHECKING TEMPORAL-OBSERVATION SUBSUMPTION IN SIMILARITY-BASED DIAGNOSIS OF ACTIVE SYSTEMS

Gianfranco Lamperti, Federica Vivenzi, Marina Zanella

2008

Abstract

Similarity-based diagnosis of large active systems is supported by reuse of knowledge generated for solving previous diagnostic problems. Such knowledge is cumulatively stored in a knowledge-base, when the diagnostic session is over. When a new diagnostic problem is to be faced, the knowledge-base is queried in order to possibly find a similar, reusable problem. Checking problem-similarity requires, among other constraints, that the observation relevant to the new problem be subsumed by the observation relevant to the problem in the knowledge-base. However, checking observation-subsumption, following its formal definition, is time and space consuming. The bottleneck lies in the generation of a nondeterministic automaton, its subsequent transformation into a deterministic one (the index space of the observation), and a regular-language containment-checking. In order to speed up the diagnostic process, an alternative technique is proposed, based on the notion of coverage. Besides being effective, subsumption-checking via coverage is also efficient because no index-space generation or comparison is required. Experimental evidence supports this claim.

References

  1. Baroni, P., Lamperti, G., Pogliano, P., and Zanella, M. (1999). Diagnosis of large active systems. Artificial Intelligence, 110(1):135-183.
  2. Brand, D. and Zafiropulo, P. (1983). On communicating finite-state machines. Journal of ACM, 30(2):323- 342.
  3. Cassandras, C. and Lafortune, S. (1999). Introduction to Discrete Event Systems, volume 11 of The Kluwer International Series in Discrete Event Dynamic Systems. Kluwer Academic Publisher, Boston, MA.
  4. Cerutti, S., Lamperti, G., Scaroni, M., Zanella, M., and Zanni, D. (2007). A diagnostic environment for automaton networks. Software - Practice and Experience, 37(4):365-415. DOI: 10.1002/spe.773.
  5. Chen, Y. and Provan, G. (1997). Modeling and diagnosis of timed discrete event systems - a factory automation example. In American Control Conference, pages 31- 36, Albuquerque, NM.
  6. Console, L., Picardi, C., and Ribaudo, M. (2002). Process algebras for systems diagnosis. Artificial Intelligence, 142(1):19-51.
  7. Debouk, R., Lafortune, S., and Teneketzis, D. (2000). Coordinated decentralized protocols for failure diagnosis of discrete-event systems. Journal of Discrete Event Dynamic Systems: Theory and Application, 10:33-86.
  8. Hopcroft, J., Motwani, R., and Ullman, J. (2006). Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, MA, third edition.
  9. Lamperti, G. and Zanella, M. (2002). Diagnosis of discreteevent systems from uncertain temporal observations. Artificial Intelligence, 137(1-2):91-163.
  10. 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.
  11. Lamperti, G. and Zanella, M. (2004). 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.
  12. Lamperti, G. and Zanella, M. (2006a). Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques. Artificial Intelligence, 170(3):232-297.
  13. Lamperti, G. and Zanella, M. (2006b). Incremental processing of temporal observations in supervision and diagnosis of discrete-event systems. In Eighth International Conference on Enterprise Information Systems - ICEIS'2006, pages 47-57, Paphos, Cyprus.
  14. Lunze, J. (2000). 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.
  15. Pencolé, Y. (2000). Decentralized diagnoser approach: application to telecommunication networks. In Eleventh International Workshop on Principles of Diagnosis - DX'00, pages 185-192, Morelia, MX.
  16. Pencolé, Y. and Cordier, M. (2005). A formal framework for the decentralized diagnosis of large scale discrete event systems and its application to telecommunication networks. Artificial Intelligence, 164:121-170.
  17. Rozé, L. and Cordier, M. (2002). 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.
  18. Sampath, M., Lafortune, S., and Teneketzis, D. (1998). Active diagnosis of discrete-event systems. IEEE Transactions on Automatic Control, 43(7):908-929.
  19. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. (1995). Diagnosability of discrete-event systems. IEEE Transactions on Automatic Control, 40(9):1555-1575.
  20. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., and Teneketzis, D. (1996). Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology, 4(2):105-124.
  21. Schullerus, G. and Krebs, V. (2001). Diagnosis of a class of discrete-event systems based on parameter estimation of a modular algebraic model. In Twelfth International Workshop on Principles of Diagnosis - DX'01, pages 189-196, San Sicario, I.
  22. Thompson, S. (1999). Haskell - The Craft of Functional Programming. Addison-Wesley, Harlow, UK.
  23. Zad, S., Kwong, R., and Wonham, W. (1999). Fault diagnosis in timed discrete-event systems. In 38th IEEE Conference on Decision and Control - CDC'99, pages 1756-1761, Pheonix, AZ. IEEE, Piscataway, NJ.
Download


Paper Citation


in Harvard Style

Lamperti G., Vivenzi F. and Zanella M. (2008). ON CHECKING TEMPORAL-OBSERVATION SUBSUMPTION IN SIMILARITY-BASED DIAGNOSIS OF ACTIVE SYSTEMS . In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-8111-37-1, pages 44-53. DOI: 10.5220/0001696200440053


in Bibtex Style

@conference{iceis08,
author={Gianfranco Lamperti and Federica Vivenzi and Marina Zanella},
title={ON CHECKING TEMPORAL-OBSERVATION SUBSUMPTION IN SIMILARITY-BASED DIAGNOSIS OF ACTIVE SYSTEMS},
booktitle={Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2008},
pages={44-53},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001696200440053},
isbn={978-989-8111-37-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - ON CHECKING TEMPORAL-OBSERVATION SUBSUMPTION IN SIMILARITY-BASED DIAGNOSIS OF ACTIVE SYSTEMS
SN - 978-989-8111-37-1
AU - Lamperti G.
AU - Vivenzi F.
AU - Zanella M.
PY - 2008
SP - 44
EP - 53
DO - 10.5220/0001696200440053