DIAGNOSIS OF ACTIVE SYSTEMS BY LAZY TECHNIQUES

Gianfranco Lamperti, Marina Zanella

Abstract

In society, laziness is generally considered as a negative feature, if not a capital fault. Not so in computer science, where lazy techniques are widespread, either to improve efficiency or to allow for computation of unbounded objects, such as infinite lists in modern functional languages. We bring the idea of lazy computation to the context of model-based diagnosis of active systems. Up to a decade ago, all approaches to diagnosis of discrete-event systems required the generation of the global system model, a technique that is impractical when the system is large and distributed. To overcome this limitation, a lazy approach was then devised in the context of diagnosis of active systems, which works with no need for the global system model. However, a similar drawback arose a few years later, when uncertain temporal observations were proposed. In order to reconstruct the system behavior based on an uncertain observation, an index space is generated as the determinization of a nondeterministic automaton derived from the graph of the uncertain observation, the prefix space. The point is that the prefix space and the index space suffer from the same computational difficulties as the system model. To confine the explosion of memory space when dealing with diagnosis of active systems with uncertain observations, a laziness-based, circular-pruning technique is presented. Experimental results offer evidence for the considerable effectiveness of the approach, both in space and time reduction.

References

  1. Baroni, P., Lamperti, G., Pogliano, P., and Zanella, M. (1998). Diagnosis of active systems. In Thirteenth European Conference on Artificial Intelligence - ECAI'98, pages 274-278, Brighton, UK.
  2. Baroni, P., Lamperti, G., Pogliano, P., and Zanella, M. (1999). Diagnosis of large active systems. Artificial Intelligence, 110(1):135-183.
  3. Grastien, A., Cordier, M., and Largouët, C. (2005). Incremental diagnosis of discrete-event systems. In Sixteenth International Workshop on Principles of Diagnosis - DX'05, pages 119-124, Monterey, CA.
  4. Hopcroft, J., Motwani, R., and Ullman, J. (2006). Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading, MA, third edition.
  5. Lamperti, G. and Zanella, M. (2002). Diagnosis of discreteevent systems from uncertain temporal observations. Artificial Intelligence, 137(1-2):91-163.
  6. 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.
  7. 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.
  8. Lamperti, G. and Zanella, M. (2006). Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques. Artificial Intelligence, 170(3):232-297.
  9. Lamperti, G. and Zanella, M. (2008). Observationsubsumption checking in similarity-based diagnosis of discrete-event systems. In Eighteenth European Conference on Artificial Intelligence - ECAI'2008, pages 204-208, Patras, G.
  10. Lamperti, G., Zanella, M., Chiodi, G., and Chiodi, L. (2008). Incremental determinization of finite automata in model-based diagnosis of active systems. In Lovrek, I., Howlett, R., and Jain, L., editors, Knowledge-Based Intelligent Information and Engineering Systems, volume 5177 of LNAI, pages 362- 374. Springer.
  11. 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.
  12. Qiu, W. and Kumar, R. (2006). Decentralized failure diagnosis of discrete event systems. IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 36(2):384-395.
  13. 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.
  14. 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.
  15. Thompson, S. (1999). Haskell - The Craft of Functional Programming. Addison-Wesley, Harlow, UK.
Download


Paper Citation


in Harvard Style

Lamperti G. and Zanella M. (2010). DIAGNOSIS OF ACTIVE SYSTEMS BY LAZY TECHNIQUES . In Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-8425-05-8, pages 171-180. DOI: 10.5220/0002855101710180


in Bibtex Style

@conference{iceis10,
author={Gianfranco Lamperti and Marina Zanella},
title={DIAGNOSIS OF ACTIVE SYSTEMS BY LAZY TECHNIQUES},
booktitle={Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2010},
pages={171-180},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002855101710180},
isbn={978-989-8425-05-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - DIAGNOSIS OF ACTIVE SYSTEMS BY LAZY TECHNIQUES
SN - 978-989-8425-05-8
AU - Lamperti G.
AU - Zanella M.
PY - 2010
SP - 171
EP - 180
DO - 10.5220/0002855101710180