Towards Causal Explanations of Property Violations in Discrete Event Systems

Gregor Gössler 1 Thomas Mari 1 Yannick Pencolé 2 Louise Travé-Massuyès 2
1 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 LAAS-DISCO - Équipe DIagnostic, Supervision et COnduite
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/hal-02369014
Contributor : Gregor Gössler <>
Submitted on : Monday, November 18, 2019 - 5:17:00 PM
Last modification on : Thursday, November 21, 2019 - 2:54:13 PM

File

dx.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02369014, version 1

Citation

Gregor Gössler, Thomas Mari, Yannick Pencolé, Louise Travé-Massuyès. Towards Causal Explanations of Property Violations in Discrete Event Systems. DX'19 - 30th International Workshop on Principles of Diagnosis, Nov 2019, Klagenfurt, Austria. pp.1-8. ⟨hal-02369014⟩

Share

Metrics

Record views

25

Files downloads

34