Characterizing and Computing HBG-PCs for Hybrid Systems Fault Diagnosis | Publicación