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
Document type :
Conference papers
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 : Friday, January 10, 2020 - 9:10:11 PM

File

dx.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02369014, version 1

Collections

UNIV-TLSE3 | LIG | UT1-CAPITOLE | LAAS-DISCO | UNIV-TLSE2 | LIG-MFML-SPADES | INRIA | INSA-TOULOUSE | LAAS-DECISION-ET-OPTIMISATION | INSA-GROUPE | LAAS | CNRS | UGA

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

39

Files downloads

70

 

 

Contact

archive-ouverte@inria.fr