Advertisement

A Predictability Algorithm for Distributed Discrete Event Systems

  • Lina Ye
  • Philippe Dague
  • Farid Nouioua
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9407)

Abstract

Predictability is considered as a crucial system property that determines with certainty the future occurrence of a fault based on a sequence of observations on system model. There are very few works done on the predictability problem for discrete event systems, which is however extremely important for developing critical complex systems. In this paper, we propose a formal sufficient and necessary condition for this property before presenting a new algorithm based on it, which is extendible from a centralized framework to a distributed one. Both are formally presented, as well as experimental results that show the efficiency of our approach.

Keywords

Observable Event Finite State Machine Communication Event Discrete Event System Predictability Algorithm 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    Bertrand, N., Fabre, É., Haar, S., Haddad, S., Hélouët, L.: Active diagnosis for probabilistic systems. In: Muscholl, A. (ed.) FOSSACS 2014 (ETAPS). LNCS, vol. 8412, pp. 29–42. Springer, Heidelberg (2014) CrossRefGoogle Scholar
  2. 2.
    Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer, New York (2008) CrossRefzbMATHGoogle Scholar
  3. 3.
    Cimatti, A., Pecheur, C., Cavada, R.: Formal verification of diagnosability via symbolic model checking. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 363–369. International Joint Conferences on Artificial Intelligence Inc., Menlo Park (2003)Google Scholar
  4. 4.
    Console, L., Picardi, C., Theseider Dupré, D.: A framework for decentralized qualitative model-based diagnosis. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 286–291. International Joint Conferences on Artificial Intelligence Inc., Menlo Park (2007)Google Scholar
  5. 5.
    Debouk, R., Malik, R., Brandin, B.: A modular architecture for diagnosis of discrete event systems. In: Proceedings of the 41st IEEE Conference on Decision and Control (CDC 2002), vol. 1, pp. 417–422. IEEE (2002)Google Scholar
  6. 6.
    Genc, S., Lafortune, S.: Predictability of event occurrences in partially-observed discrete-event systems. Automatica 45(2), 301–311 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Germanos, V., Haar, S., Khomenko, V., Schwoon, S.: Diagnosability under weak fairness. In: Proceedings of the 14th International Conference on Application of Concurrency to System Design (ACSD 2014). IEEE Computer Society Press, Tunis, , June 2014Google Scholar
  8. 8.
    Grastien, A., Anbulagan, J.R., Kelareva, E.: Diagnosis of discrete-event systems using satisfiability algorithms. In: Proceedings of the 22th American National Conference on Artificial Intelligence (AAAI 2007), pp. 305–310. AAAI Press, Menlo Park (2007)Google Scholar
  9. 9.
    Haar, S., Haddad, S., Melliti, T., Schwoon, S.: Optimal constructions for active diagnosis. In: Seth, A., Vishnoi, N. (eds.) Proceedings of the 33rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013). Leibniz International Proceedings in Informatics, vol. 24, pp. 527–539. Leibniz-Zentrum für Informatik, Guwahati, December 2013Google Scholar
  10. 10.
    Jéron, T., Marchand, H., Genc, S., Lafortune, S.: Predictability of sequence patterns in discrete event systems. In: Proceedings of the 17th World Congress, IFAC, pp. 537–453 (2008)Google Scholar
  11. 11.
    Jéron, T., Marchand, H., Pinchinat, S., Cordier, M.O.: Supervision patterns in discrete event systems diagnosis. In: Proceedings of the 8th International Workshop on Discrete Event Systems, pp. 262–268 (2006)Google Scholar
  12. 12.
    Jiang, S., Huang, Z., Chandra, V., Kumar, R.: A polynomial time algorithm for testing diagnosability of discrete event systems. Trans. Autom. Control 46(8), 1318–1321 (2001)CrossRefzbMATHGoogle Scholar
  13. 13.
    Pencolé, Y.: Diagnosability analysis of distributed discrete event systems. In: Proceedings of the 16th European Conference on Articifial Intelligent (ECAI 2004), pp. 43–47. IOS Press, Nieuwe Hemweg (2004)Google Scholar
  14. 14.
    Pencolé, Y., Cordier, M.O.: A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks. Artif. Intell. 164, 121–170 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57–95 (1987)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Rintanen, J.: Diagnosers and diagnosability of succinct transition systems. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 538–544. International Joint Conferences on Artificial Intelligence Inc., Menlo Park (2007)Google Scholar
  17. 17.
    Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Diagnosability of discrete event system. Trans. Autom. Control 40(9), 1555–1575 (1995)MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    Schumann, A., Huang, J.: A scalable jointree algorithm for diagnosability. In: Proceedings of the 23rd American National Conference on Artificial Intelligence (AAAI 2008), pp. 535–540. AAAI Press, Menlo Park (2008)Google Scholar
  19. 19.
    Struss, P.: Fundamentals of model-based diagnosis of dynamic systems. In: Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI 1997), pp. 480–485. International Joint Conferences on Artificial Intelligence Inc., Menlo Park (1997)Google Scholar
  20. 20.
    Ye, L., Dague, P.: Diagnosability analysis of discrete event systems with autonomous components. In: Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), pp. 105–110. IOS Press, Nieuwe Hemweg (2010)Google Scholar
  21. 21.
    Ye, L., Dague, P., Nouioua, F.: Predictability analysis of distributed discrete event systems. In: Proceedings of the 52nd IEEE Conference on Decision and Control (CDC 2013), pp. 5009–5015. IEEE (2013)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.LRIUniversité Paris-SudOrsayFrance
  2. 2.CentraleSupélecGif-sur-YvetteFrance
  3. 3.LSISUniversité Aix-MarseilleMarseilleFrance

Personalised recommendations