A framework for Fault Diagnosis of Hybrid Systems based on Predicate Abstractions