Skip to Main content Skip to Navigation
Conference papers

Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis

Hadi Zaatiti 1, 2 Lina Ye 3, 4 Philippe Dague 2 Jean-Pierre Gallois 1
1 LISE - Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués
DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS
4 MODHEL - LRI - Modélisation hétérogène (LRI)
LRI - Laboratoire de Recherche en Informatique
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01676889
Contributor : Philippe Dague Connect in order to contact the contributor
Submitted on : Saturday, January 6, 2018 - 5:20:50 PM
Last modification on : Wednesday, October 6, 2021 - 3:42:04 AM

Identifiers

  • HAL Id : hal-01676889, version 1

Citation

Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois. Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. 28th International Workshop on Principles of Diagnosis DX’17, Sep 2017, Brescia, Italy. pp.124-143. ⟨hal-01676889⟩

Share

Metrics

Record views

593