-
1
-
-
0004486094
-
Qualitative-numeric simulation with Q3
-
ed. B. Faltings and P. Strass. MIT Press, Cambridge, MA
-
Berleant, D. and Kuipers, B. (1992) Qualitative-numeric simulation with Q3. Recent Advances in Qualitative Physics, ed. B. Faltings and P. Strass. MIT Press, Cambridge, MA, pp. 3-16.
-
(1992)
Recent Advances in Qualitative Physics
, pp. 3-16
-
-
Berleant, D.1
Kuipers, B.2
-
2
-
-
0021593920
-
Diagnostic reasoning based on structure and behavior
-
Davis, R. (1984) Diagnostic reasoning based on structure and behavior. Artificial Intelligence 24, 347-410.
-
(1984)
Artificial Intelligence
, vol.24
, pp. 347-410
-
-
Davis, R.1
-
5
-
-
0021613150
-
Qualitative process theory
-
Forbus, K. D. (1984) Qualitative process theory. Artificial Intelligence 24, 85-168.
-
(1984)
Artificial Intelligence
, vol.24
, pp. 85-168
-
-
Forbus, K.D.1
-
7
-
-
0025421966
-
Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy - A survey and some new results
-
Frank, P. M. (1990) Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy - a survey and some new results. Automatica 26, 459-474.
-
(1990)
Automatica
, vol.26
, pp. 459-474
-
-
Frank, P.M.1
-
8
-
-
0345929238
-
Quantitative and qualitative model-based fault diagnosis - A survey and some new results
-
Frank, P. M. (1996) Quantitative and qualitative model-based fault diagnosis - a survey and some new results. European Journal of Control 2, 1 6-28.
-
(1996)
European Journal of Control
, vol.2
, pp. 16-28
-
-
Frank, P.M.1
-
10
-
-
0021575359
-
The use of design descriptions in automated diagnosis
-
Genesereth, M. R. (1984) The use of design descriptions in automated diagnosis. Artificial Intelligence 24, 411-436.
-
(1984)
Artificial Intelligence
, vol.24
, pp. 411-436
-
-
Genesereth, M.R.1
-
11
-
-
0027075545
-
Analytical redundancy methods in fault detection and isolation
-
Baden-Baden
-
Gertler, J. (1991) Analytical redundancy methods in fault detection and isolation. Proceedings of the IFAC/IMACS Symposium SAFEPROCESS, Baden-Baden, pp. 9-21.
-
(1991)
Proceedings of the IFAC/IMACS Symposium SAFEPROCESS
, pp. 9-21
-
-
Gertler, J.1
-
12
-
-
0026831542
-
An evidential reasoning extension to quantitative model-based failure diagnosis
-
Gertler, J. (1992) An evidential reasoning extension to quantitative model-based failure diagnosis. IEEE Transactions on Systems, Man and Cybernetics 22, 275-289.
-
(1992)
IEEE Transactions on Systems, Man and Cybernetics
, vol.22
, pp. 275-289
-
-
Gertler, J.1
-
14
-
-
0003209033
-
Fault classification with the aid of artificial neural networks
-
Baden-Baden
-
Himmelblau, D. M., Braker, R. W. and Suewatanakul, W. (1991) Fault classification with the aid of artificial neural networks. IFAC/IMACS-Symposium Safeprocess '91, Baden-Baden, pp. 369-373.
-
(1991)
IFAC/IMACS-Symposium Safeprocess '91
, pp. 369-373
-
-
Himmelblau, D.M.1
Braker, R.W.2
Suewatanakul, W.3
-
15
-
-
0025920031
-
Fault diagnosis in complex chemical plants using artificial neural networks
-
Hoskins, J. C., Kaliyur, K. M. and Himmelblau, D. M. (1991) Fault diagnosis in complex chemical plants using artificial neural networks. AICHE J. 37, 137-142.
-
(1991)
AICHE J.
, vol.37
, pp. 137-142
-
-
Hoskins, J.C.1
Kaliyur, K.M.2
Himmelblau, D.M.3
-
17
-
-
0027625709
-
Fault diagnosis of machines via parameter estimation and knowledge processing
-
Isermann, R. (1993) Fault diagnosis of machines via parameter estimation and knowledge processing. Automatica 29, 815-836.
-
(1993)
Automatica
, vol.29
, pp. 815-836
-
-
Isermann, R.1
-
18
-
-
0026183449
-
Failure propagation trees for diagnosis in manufacturing systems
-
Jen Chang, S., Di Cesare, F. and Goldbogen, G. (1991) Failure propagation trees for diagnosis in manufacturing systems. IEEE Transactions on Systems, Man and Cybernetics SMC-21, 767-776.
-
(1991)
IEEE Transactions on Systems, Man and Cybernetics
, vol.SMC-21
, pp. 767-776
-
-
Jen Chang, S.1
Di Cesare, F.2
Goldbogen, G.3
-
19
-
-
0027836498
-
Process supervision with the aid of fuzzy logik
-
Le Touquet, France
-
Kiupel, N. and Frank, P. M. (1993) Process supervision with the aid of fuzzy logik. IEEE/SMC Conference, Le Touquet, France.
-
(1993)
IEEE/SMC Conference
-
-
Kiupel, N.1
Frank, P.M.2
-
20
-
-
0021577685
-
A qualitative physics based on confluences
-
de Kleer, I. and Brown, J. S. (1984) A qualitative physics based on confluences. Artificial Intelligence 24, 7-83.
-
(1984)
Artificial Intelligence
, vol.24
, pp. 7-83
-
-
De Kleer, I.1
Brown, J.S.2
-
22
-
-
0029532634
-
Fault detection and isolation in technical processes with neural networks
-
New Orleans
-
Köppen-Seliger, B. and Frank, P. M. (1995) Fault detection and isolation in technical processes with neural networks (accepted paper). Conference on Decision and Control CDC'95, New Orleans.
-
(1995)
Conference on Decision and Control CDC'95
-
-
Köppen-Seliger, B.1
Frank, P.M.2
-
23
-
-
0029193349
-
Residual evaluation for fault detection and isolation with RCE neural networks
-
Seattle
-
Köppen-Seliger, B., Frank, P. M. and Wolff, A. (1995) Residual evaluation for fault detection and isolation with RCE neural networks. Proceedings of the American Control Conference ACC'95, Seattle, pp. 3264-3268.
-
(1995)
Proceedings of the American Control Conference ACC'95
, pp. 3264-3268
-
-
Köppen-Seliger, B.1
Frank, P.M.2
Wolff, A.3
-
24
-
-
0021573934
-
Common sense reasoning about causality: Deriving behavior from structure
-
Kuipers, B. (1984) Common sense reasoning about causality: deriving behavior from structure. Artificial Intelligence 24, 169-204.
-
(1984)
Artificial Intelligence
, vol.24
, pp. 169-204
-
-
Kuipers, B.1
-
25
-
-
46149128342
-
Qualitative simulation
-
Kuipers, B. (1986) Qualitative simulation. Artificial Intelligence 29, 289-338.
-
(1986)
Artificial Intelligence
, vol.29
, pp. 289-338
-
-
Kuipers, B.1
-
28
-
-
0041883068
-
Qualitative model-based diagnosis of dynamic systems
-
London
-
Leitch, R. R., Shen, Q., Coghil, G., Chantler, M. and Slater, A. (1994) Qualitative model-based diagnosis of dynamic systems. Colloquium of the Institution of Measurement and Control, London.
-
(1994)
Colloquium of the Institution of Measurement and Control
-
-
Leitch, R.R.1
Shen, Q.2
Coghil, G.3
Chantler, M.4
Slater, A.5
-
31
-
-
0025567364
-
Model-based, multiple fault diagnosis of time-varying, continuous physical devices
-
Santa Barbara, CA
-
Ng, H. T. (1990) Model-based, multiple fault diagnosis of time-varying, continuous physical devices. Proceedings of the Sixth Conference on AI Applications, Santa Barbara, CA, pp. 9-15.
-
(1990)
Proceedings of the Sixth Conference on AI Applications
, pp. 9-15
-
-
Ng, H.T.1
-
32
-
-
0040889749
-
Qualitative modeling and fault diagnosis of dynamic processes by MIDAS
-
Oyeleye, O. O., Finch, F. E. and Kramer, M. A. (1990) Qualitative modeling and fault diagnosis of dynamic processes by MIDAS. Chemical Engineering Communications 96, 205-228.
-
(1990)
Chemical Engineering Communications
, vol.96
, pp. 205-228
-
-
Oyeleye, O.O.1
Finch, F.E.2
Kramer, M.A.3
-
34
-
-
0003781221
-
-
Prentice Hall, Englewood Cliffs, NJ
-
Patton, R. J., Frank, P. M. and Clark, R. N. (1990) (Eds), Fault Diagnosis in Dynamic Systems, Theory and Application. Prentice Hall, Englewood Cliffs, NJ.
-
(1990)
Fault Diagnosis in Dynamic Systems, Theory and Application
-
-
Patton, R.J.1
Frank, P.M.2
Clark, R.N.3
-
36
-
-
0023329093
-
A theory of diagnosis from first principles
-
Reiter, R. (1987) A theory of diagnosis from first principles. Artificial Intelligence 32, 57-95.
-
(1987)
Artificial Intelligence
, vol.32
, pp. 57-95
-
-
Reiter, R.1
-
37
-
-
0007780848
-
Fault diagnosis in systems using fuzzy logic
-
Aachen, Germany
-
Sauter, D., Dubois, G., Levrat, E. and Brémont, J. (1993) Fault diagnosis in systems using fuzzy logic. EUFIT '93, First European Congress on Fuzzy and Intelligent Technologies, Aachen, Germany.
-
(1993)
EUFIT '93, First European Congress on Fuzzy and Intelligent Technologies
-
-
Sauter, D.1
Dubois, G.2
Levrat, E.3
Brémont, J.4
-
38
-
-
0023346066
-
Diagnosis and sensor validation through knowledge of structure and function
-
Scarl, E. (1987) Diagnosis and sensor validation through knowledge of structure and function. IEEE Transactions on Systems, Man and Cybernetics SMC-17, 360-369.
-
(1987)
IEEE Transactions on Systems, Man and Cybernetics
, vol.SMC-17
, pp. 360-369
-
-
Scarl, E.1
-
41
-
-
0027632443
-
Fuzzy qualitative simulation
-
Shen, Q. and Leitch, R. (1993) Fuzzy qualitative simulation. IEEE Transactions on Systems, Man and Cybernetics SMC-23, 4 1038-1064.
-
(1993)
IEEE Transactions on Systems, Man and Cybernetics
, vol.SMC-23
, Issue.4
, pp. 1038-1064
-
-
Shen, Q.1
Leitch, R.2
-
43
-
-
0040712697
-
Dynamic fault diagnosis using radial basis function networks
-
Toulouse
-
Sorsa, T., Suontausta, J. and Koivo, H. N. (1993) Dynamic fault diagnosis using radial basis function networks. TOOLDIAG'93, Toulouse.
-
(1993)
TOOLDIA G'93
-
-
Sorsa, T.1
Suontausta, J.2
Koivo, H.N.3
-
44
-
-
0039353310
-
A real-time, fuzzy, deep-knowledge based fault-diagnosis system for CSTR
-
Newark, DE
-
Terpstra, V. J., Verbruggen, H. B., Hoogland, M. W. and Ficke, R. A. E. (1992) A real-time, fuzzy, deep-knowledge based fault-diagnosis system for CSTR. IFAC Symposium On-line Fault Detection in Chemical Process Industries, Newark, DE.
-
(1992)
IFAC Symposium On-line Fault Detection in Chemical Process Industries
-
-
Terpstra, V.J.1
Verbruggen, H.B.2
Hoogland, M.W.3
Ficke, R.A.E.4
-
46
-
-
0009451666
-
A fuzzy-logic based computer assisted fault diagnosis system
-
Toulouse, France
-
Ulieru, M. (1993) A fuzzy-logic based computer assisted fault diagnosis system. TOOLDIAG '93, Toulouse, France.
-
(1993)
TOOLDIAG '93
-
-
Ulieru, M.1
-
48
-
-
0017022844
-
A survey of design methods for failure detection in dynamic systems
-
Willsky, A. S. (1976) A survey of design methods for failure detection in dynamic systems. Automatica 12, 601-611.
-
(1976)
Automatica
, vol.12
, pp. 601-611
-
-
Willsky, A.S.1
|