Skip to Main content Skip to Navigation
Conference papers

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 metadata

Cited literature [22 references]  Display  Hide  Download
https://hal.inria.fr/hal-02369014
Contributor : Gregor Gössler Connect in order to contact the contributor
Submitted on : Monday, November 18, 2019 - 5:17:00 PM
Last modification on : Thursday, October 21, 2021 - 3:46:44 AM

File

Vignette du document
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 | LIG_SIDCH

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

176

Files downloads

516

 

Contact                    Legal Notice                    Personal Data