Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis

Hadi Zaatiti, Lina Ye, Philippe Dague, Jean-Pierre Gallois. Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis. In Marina Zanella, Ingo Pill, Alessandro Cimatti, editors, 28th International Workshop on Principles of Diagnosis (DX'17), Brescia, Italy, September 26-29, 2017. Volume 4 of Kalpa Publications in Computing, pages 124-143, EasyChair, 2017. [doi]

Abstract

Abstract is missing.