Skip to Main content Skip to Navigation
Conference papers

A Predictability Algorithm for Distributed Discrete Event Systems

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.
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01274813
Contributor : Lina Ye <>
Submitted on : Tuesday, February 16, 2016 - 11:31:49 AM
Last modification on : Thursday, October 22, 2020 - 3:37:16 AM
Long-term archiving on: : Tuesday, May 17, 2016 - 5:24:38 PM

File

icfem_camera.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

995

Files downloads

796