-
1
-
-
0027594632
-
Model-Based Approach for Software Synthesis
-
Abbott, B. A., Bapty, T., Biegl, C., Karsai, G., and Sztipanovits, J. (1993) "Model-Based Approach for Software Synthesis," IEEE Software (May):42-52.
-
(1993)
IEEE Software
, Issue.MAY
, pp. 42-52
-
-
Abbott, B.A.1
Bapty, T.2
Biegl, C.3
Karsai, G.4
Sztipanovits, J.5
-
2
-
-
58749117031
-
Integrated Modeling for Planning, Simulation and Diagnosis
-
April
-
Carnes, J., Davis, W., Biegl, C., and Karsai, G. (1991) "Integrated Modeling for Planning, Simulation and Diagnosis," IEEE Conf AI Simulation Planning High Autonomy Syst. April.
-
(1991)
IEEE Conf AI Simulation Planning High Autonomy Syst.
-
-
Carnes, J.1
Davis, W.2
Biegl, C.3
Karsai, G.4
-
3
-
-
0020858399
-
Reasoning from First Principles in Electronic Trouble-Shooting
-
Davis, R. (1983) "Reasoning from First Principles in Electronic Trouble-Shooting," Int. J. Man-Mach. Stud. 19 (Nov.):403-423.
-
(1983)
Int. J. Man-Mach. Stud.
, vol.19
, Issue.NOV.
, pp. 403-423
-
-
Davis, R.1
-
4
-
-
8444238102
-
Diagnostic Reasoning Based on Structure and Behavior
-
D. Bobrow, Ed., MIT Press, Cambridge, MA
-
Davis, R. (1985) "Diagnostic Reasoning Based on Structure and Behavior," in D. Bobrow, Ed., Qualitative Reasoning about Physical Systems, MIT Press, Cambridge, MA.
-
(1985)
Qualitative Reasoning about Physical Systems
-
-
Davis, R.1
-
5
-
-
0025682699
-
A Robust Event Oriented Methodology for Diagnosis of Dynamic Process Systems
-
Finch, F., et al. (1990) "A Robust Event Oriented Methodology for Diagnosis of Dynamic Process Systems," Comput. Chem. Eng. 14 (12):1379-1396.
-
(1990)
Comput. Chem. Eng.
, vol.14
, Issue.12
, pp. 1379-1396
-
-
Finch, F.1
-
6
-
-
0346759999
-
Qualitative Process Theory
-
D. Bobrow, Ed., MIT Press, Cambridge, MA
-
Forbus, K. (1985) "Qualitative Process Theory," in D. Bobrow, Ed., Qualitative Reasoning about Physical Systems, MIT Press, Cambridge, MA.
-
(1985)
Qualitative Reasoning about Physical Systems
-
-
Forbus, K.1
-
7
-
-
0003483603
-
-
Cambridge, MA
-
Gensym Corporation (1990) G2 Reference Manual. Cambridge, MA.
-
(1990)
G2 Reference Manual
-
-
-
8
-
-
0004151665
-
-
Addison-Wesley, Reading, MA
-
Hayes-Roth, F., Waterman, D., and Lenat, D. (1983) Building Expert Systems. Addison-Wesley, Reading, MA.
-
(1983)
Building Expert Systems
-
-
Hayes-Roth, F.1
Waterman, D.2
Lenat, D.3
-
10
-
-
8444236603
-
A Model-Based Approach to Plant-Wide Monitoring, Control and Diagnostics
-
microfilm, Los Angeles, CA, Nov.
-
Karsai, G., Sztipanovits, J., Debelak, K., and DeCaria, F. (1991) "A Model-Based Approach to Plant-Wide Monitoring, Control and Diagnostics," Proc. AIChE Annu. Meeting (microfilm), Los Angeles, CA, Nov.
-
(1991)
Proc. AIChE Annu. Meeting
-
-
Karsai, G.1
Sztipanovits, J.2
Debelak, K.3
DeCaria, F.4
-
11
-
-
8444227734
-
Model Based Intelligent Process Control for Cogenerator Plants
-
Karsai, G., Sztipanovits, J., Padalbar, S., Biegl, C., Okuda, K., and Miyasaka, N. (1992) "Model Based Intelligent Process Control for Cogenerator Plants," J. Parallel Distributed Comput. (Jun.) 15:99-103.
-
(1992)
J. Parallel Distributed Comput.
, vol.15
, Issue.JUN.
, pp. 99-103
-
-
Karsai, G.1
Sztipanovits, J.2
Padalbar, S.3
Biegl, C.4
Okuda, K.5
Miyasaka, N.6
-
12
-
-
0343419355
-
Commonsense Reasoning about Causality: Deriving Behavior from Structure
-
D. Bobrow, Ed., MIT Press, Cambridge, MA
-
Kuipers, B. (1985) "Commonsense Reasoning about Causality: Deriving Behavior from Structure," in D. Bobrow, Ed., Qualitative Reasoning about Physical Systems. MIT Press, Cambridge, MA.
-
(1985)
Qualitative Reasoning about Physical Systems
-
-
Kuipers, B.1
-
13
-
-
0001989241
-
Real-Time Knowledge-Based Systems
-
Laffey, T. J., Cox, P., Schmidt, J., Kao, S., and Read, J. (1988) "Real-Time Knowledge-Based Systems," AI Mag. 9(1):27-45.
-
(1988)
AI Mag.
, vol.9
, Issue.1
, pp. 27-45
-
-
Laffey, T.J.1
Cox, P.2
Schmidt, J.3
Kao, S.4
Read, J.5
-
14
-
-
0016890987
-
Reconciliation and Rectification of Process Flow and Inventory Data
-
Mah, R. S., Stanley, G., and Downing, D. (1976) "Reconciliation and Rectification of Process Flow and Inventory Data," Ind. Eng. Chem. Process Dev. 15(1):175-183.
-
(1976)
Ind. Eng. Chem. Process Dev.
, vol.15
, Issue.1
, pp. 175-183
-
-
Mah, R.S.1
Stanley, G.2
Downing, D.3
-
15
-
-
8444250144
-
Strategies for Diagnosis and other related papers in the same issue
-
Milne, R. (1987) "Strategies for Diagnosis" and other related papers in the same issue, IEEE Trans. Syst. Man Cybernet. 17(3).
-
(1987)
IEEE Trans. Syst. Man Cybernet.
, vol.17
, Issue.3
-
-
Milne, R.1
-
16
-
-
0023313036
-
A Methodology for Knowledge Acquisition and Reasoning in Failure Analysis of Systems
-
Narayanan, N., et al. (1987) A Methodology for Knowledge Acquisition and Reasoning in Failure Analysis of Systems," IEEE Trans. Syst. Man Cybernet. SMC-17 (Mar./Apr.):274-288.
-
(1987)
IEEE Trans. Syst. Man Cybernet.
, vol.SMC-17
, Issue.MAR.-APR.
, pp. 274-288
-
-
Narayanan, N.1
-
18
-
-
84873426766
-
B-W Analysis: A Backward reachability Analysis for Diagnostic Problem Solving Suitable to Parallel Implementation
-
LNCS 815. Springer-Verlag, New York, 1994
-
Portinale, L., and Anglano, C. (1994) "B-W Analysis: A Backward reachability Analysis for Diagnostic Problem Solving Suitable to Parallel Implementation, in Application and Theory of Petri Nets 1994, LNCS 815. Springer-Verlag, New York, 1994, pp. 39-58.
-
(1994)
Application and Theory of Petri Nets 1994
, pp. 39-58
-
-
Portinale, L.1
Anglano, C.2
-
19
-
-
0026170171
-
Real-Time Fault Diagnostics
-
Padalkar, S. J., et al. (1991) "Real-Time Fault Diagnostics," IEEE Expert, (Jun.):75-85.
-
(1991)
IEEE Expert
, Issue.JUN.
, pp. 75-85
-
-
Padalkar, S.J.1
-
20
-
-
0022206477
-
A Formal Model of Diagnostic Problem Solving
-
Reggia, J., et al. (1985) "A Formal Model of Diagnostic Problem Solving," Inf. Sci. 37:227-285.
-
(1985)
Inf. Sci.
, vol.37
, pp. 227-285
-
-
Reggia, J.1
-
21
-
-
0023346066
-
Diagnosis and Sensor Validation through Knowledge of Structure and Function
-
Scarl, E., et al. (1987) "Diagnosis and Sensor Validation through Knowledge of Structure and Function," IEEE Trans. Syst. Man Cybernet. SMC-17 (3):360-368.
-
(1987)
IEEE Trans. Syst. Man Cybernet.
, vol.SMC-17
, Issue.3
, pp. 360-368
-
-
Scarl, E.1
-
22
-
-
0019244624
-
A Graphical Approach to Cause and Effect Analysis of Chemical Processing Systems
-
Umeda, T., et al. (1980) "A Graphical Approach to Cause and Effect Analysis of Chemical Processing Systems," Chem. Eng. Sci. 35:2379-2388.
-
(1980)
Chem. Eng. Sci.
, vol.35
, pp. 2379-2388
-
-
Umeda, T.1
-
23
-
-
0027796381
-
The Multigraph and Structural Adaptivity
-
Wilkes, M. D., Sztipanovits, J., Karsai, G., Biegl, C., and Lynd, L. (1993) "The Multigraph and Structural Adaptivity," IEEE Trans. Signal Process. (Aug.):2695-2717.
-
(1993)
IEEE Trans. Signal Process.
, Issue.AUG.
, pp. 2695-2717
-
-
Wilkes, M.D.1
Sztipanovits, J.2
Karsai, G.3
Biegl, C.4
Lynd, L.5
|