TY - RPRT TI - An Efficient Model-based Diagnosis Engine for Hybrid Systems Using Structural Model Decomposition AU - Bregon, Anibal AU - Narasimhan, Sriram AU - Roychoudhury, Indranil AU - Daigle, Matthew AU - Pulido, Belarmino PY - 2013 UR - https://ntrs.nasa.gov/citations/20140010619 ID - 20140010619 ER -