Aníbal Bregón, Gautam Biswas, Belarmino Pulido, Carlos Alonso González, Hamed Khorasgani. A Common Framework for Compilation Techniques Applied to Diagnosis of Linear Dynamic Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 44(7):863-876, 2014. [doi]
Abstract is missing.