Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis.

Hadi Zaatiti Lina Ye Philippe Dague Jean-Pierre Gallois

Published in: DX (2017)

Keyphrases

hybrid systems
discrete event
data analysis
knowledge acquisition
decision making
knowledge base
learning experience
dynamic systems