共 19 条
- [1] Benhamou F, 1999, LOGIC PROGRAMM, P230
- [2] Calderón-Espinoza G, 2007, AI COMMUN, V20, P39
- [3] Collavizza H., 1999, Reliable Computing, V5, P213, DOI 10.1023/A:1009922003700
- [4] Conflicts versus analytical redundancy relations:: A comparative analysis of the model based diagnosis approach from the artificial intelligence and automatic control perspectives [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2004, 34 (05): : 2163 - 2177
- [5] CRUZ J, 2003, COCOS, P178
- [6] FERSON S, 2007, APPL MATH SCI, V9, P395
- [7] GELSO E, 2007, IEEE INT S INT SIGN
- [8] Gertler J., 1998, FAULT DETECTION DIAG
- [9] Algorithm 852: RealPaver: An interval solver using constraint satisfaction techniques [J]. ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2006, 32 (01): : 138 - 156
- [10] Hamscher W., 1992, READINGS MODEL BASED