A Predictability Algorithm for Distributed Discrete Event Systems

Lina Ye (1, 2) , Philippe Dague (1, 3) , Farid Nouioua (4)

1 LRI - Laboratoire de Recherche en Informatique
2 CentraleSupélec
3 LaHDAK - LRI - Données et Connaissances Massives et Hétérogènes (LRI)
4 LSIS - Laboratoire des Sciences de l'Information et des Systèmes

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.

Domaines: Intelligence artificielle [cs.AI]; Théorie et langage formel [cs.FL]

Lina Ye, Philippe Dague, Farid Nouioua. A Predictability Algorithm for Distributed Discrete Event Systems. The 17th International Conference on Formal Engineering Methods, Nov 2015, Paris, France. ⟨10.1007/978-3-319-25423-4_13⟩. ⟨hal-01274813⟩