Unified Hardware and Software Models for Smart System Design. - Ravi Kapadia (AAAI/IAAI, 1997)

Smart System Design Using Hybrid Models. - Ravi Kapadia (AAAI/IAAI, 1997)

Combined qualitative-quantitative steady-state diagnosis of continuous-valued systems. - Gautam Biswas; Ravi Kapadia; Xudong Yu (IEEE Trans. Syst. Man Cybern. Part A, 1997)

Model-based Support for Mutable Parametric Design Optimization. - Ravi Kapadia; Gautam Biswas (AAAI/IAAI, 1999)

SymCure: A Model-Based Approach for Fault Management with Causal Directed Graphs. - Ravi Kapadia (IEA/AIE, 2003)