Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis - Archive ouverte HAL Access content directly
Conference Papers Year : 2018

Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis

Domains

Computer Science [cs] Artificial Intelligence [cs.AI]

Philippe Dague  : Connect in order to contact the contributor

https://hal.science/hal-01676889

Submitted on : Saturday, January 6, 2018-5:20:50 PM

Last modification on : Friday, March 24, 2023-2:53:06 PM

Not file

Dates and versions

hal-01676889 , version 1 (06-01-2018)

Identifiers

  • HAL Id : hal-01676889 , version 1

Cite

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CEA CNRS UMR8623 CENTRALESUPELEC LRI-MODHEL DRT LRI-LAHDAK CEA-UPSAY UNIV-PARIS-SACLAY LIST LISN GS-ENGINEERING GS-COMPUTER-SCIENCE LISN-LAHDAK
340 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More