Semi-quantitative system identification

Artificial Intelligence

Volumn 119, Issue 1, 2000, Pages 103-140

  Kay, Herbert ^c   Rinner, Bernhard ^a   Kuipers, Benjamin ^b  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

^b University of Texas at Austin   (United States)

^c NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; CONSTRAINT THEORY; DATA FLOW ANALYSIS; DIFFERENTIAL EQUATIONS; FUNCTIONS; IDENTIFICATION (CONTROL SYSTEMS); MATHEMATICAL MODELS; NUMERICAL METHODS; SET THEORY;

MONOTONIC FUNCTION CONSTRAINTS; QUALITATIVE FUNCTION CONSTRAINTS; QUALITATIVE REASONING; QUALITATIVE SIMULATION; SEMIQUANTITATIVE DIFFERENTIAL EQUATION; SYSTEM IDENTIFICATION;

SYSTEM THEORY;

EID: 0033719887     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(00)00012-6     Document Type: Article

References (35)

1. Bates D.M., Watts D.G. Nonlinear Regression and Its Applications. 1988;Wiley, New York.
2. Berleant D., Kuipers B.J. Qualitative and quantitative simulation: Bridging the gab. Artificial Intelligence. Vol. 95:1997;215-255.
3. Bradley E., Stolle R. Automatic construction of accurate models of physical systems. Ann. Math. Artificial Intelligence. Vol. 17:1996;1-28.
4. Brajnik G., Clancy D. Temporal constraints on trajectories in qualitative simulation. Proc. 10th International Workshop on Qualitative Reasoning about Physical Systems, Fallen Leaf Lake, CA. 1996.
5. Capelo A.C., Ironi L., Tentoni S. The need for qualitative reasoning in automated modeling: A case study. Iwasaki Y., Farquhar A. Qualitative Reasoning, The Tenth International Workshop, AAAI Technical Report WS-96-01. 1996;32-39.
6. Cheung J.T.-Y., Stephanopoulos G. Representation of process trends - Part I. A formal representation framework. Computers and Chemical Engineering. Vol. 14:(4/5):1990;495-510.
7. Cheung J.T.-Y., Stephanopoulos G. Representation of process trends - Part II. The problem of scale and qualitative scaling. Computers and Chemical Engineering. Vol. 14:(4/5):1990;511-539.
8. Clancy D.J., Kuipers B.J. Qualitative simulation as temporally extended constraint satisfaction. Proc. AAAI-98, Madison, WI. 1998.
9. Coiera E. Generating qualitative models from example behaviors, Technical Report 8901. 1989;Department of Computer Science, University of New South Wales.
10. Crawford J., Farquhar A., Kuipers B. QPC: A compiler from physical models into qualitative differential equations. Proc. AAAI-90, Boston, MA. 1990;365-372. Also in: B. Faltings, P. Struss, Recent Advances in Qualitative Physics, MIT Press, Cambridge, MA 1992.
11. de Kleer J., Williams B.C. Diagnosing multiple faults. Artificial Intelligence. Vol. 32:1987;97-130.
12. Dvorak D., Kuipers B. Model-based monitoring of dynamic systems. Proc. IJCAI-89, Detroit, MI. 1989;1238-1243 Morgan Kaufmann, San Mateo, CA.
13. Dvorak D., Kuipers B. Process monitoring and diagnosis: A model-based approach. IEEE Expert. Vol. 5:(3):1991;67-74.
14. Dvorak D.L. Monitoring and diagnosis of continuous dynamic systems using semiquantitative simulation, Ph.D. Thesis. 1992;University of Texas at Austin, Austin, TX.
15. Farquhar A. Automated modeling of physical systems in the presence of incomplete knowledge, Ph.D. Thesis. 1993;University of Texas at Austin, Austin, TX.
16. Haimowitz I.J. Knowledge-based trend detection and diagnosis, Ph.D. Thesis. 1994;Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, MA.
17. Isermann R. Fault diagnosis of machines via parameter estimation and knowledge processing - Tutorial paper. Automatica. Vol. 29:(4):1993;815-835.
18. Kay H. SQSIM: A simulator for imprecise ODE models. Computers and Chemical Engineering. Vol. 23:(1):1998;27-46.
19. Kay H., Kuipers B. Numerical behavior envelopes for qualitative models. Proc. AAAI-93, Washington, DC. 1993;606-613.
20. Kay H., Ungar L. Estimating monotonic functions and their bounds using MSQUID, Technical Report TR AI99-280. 1999;University of Texas at Austin, Austin, TX.
21. Kay H., Ungar L.H. Deriving monotonic function envelopes from observations. Working Papers from the Seventh International Workshop on Qualitative Reasoning about Physical Systems (QR-93), Orcas Island, WA. 1993;117-123.
22. Kuipers B. Commonsense reasoning about causality: Deriving behavior from structure. Bobrow D.G. Qualitative Reasoning about Physical Systems. 1984;169-203 Elsevier Science, Amsterdam.
23. Kuipers B. Qualitative simulation. Artificial Intelligence. Vol. 29:1986;289-338.
24. Kuipers B. Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge, Artificial Intelligence. 1994;MIT Press, Cambridge, MA.
25. Kuipers B.J., Berleant D. Using incomplete knowledge with qualitative reasoning. Proc. AAAI-88, St. Paul, MN. 1988;324-329 Morgan Kaufmann, Los Altos, CA.
26. Kulkarni D., Kutulakos K., Robinson P. Data analysis using scale-space filtering and Bayesian probabilistic reasoning, Technical Report FIA-91-05. 1991;NASA Ames Research Center.
27. Ljung L. System Identification: Theory for the User. 1987;Prentice Hall, Englewood Cliffs, NJ.
28. Mosterman P.J., Biswas G., Manders E.J. A comprehensive framework for model based diagnosis. Proc. 9th International Workshop on Principles of Diagnosis (DX98), Cape Cod, MA. 1998;86-93.
29. Ng H.T. Model-based, multiple-fault diagnosis of dynamic, continuous physical devices. IEEE Expert. Vol. 6:(6):1991;38-43.
30. Reiter R. A theory of diagnosis from first principles. Artificial Intelligence. Vol. 32:1987;57-95.
31. Richards B.L., Kraan I., Kuipers B. Automatic abduction of qualitative models. Proc. AAAI-92, San Jose, CA. 1992;723-728.
32. Rickel J., Porter B. Automated modeling for answering prediction questions: Selecting the time scale and system boundary. Proc. AAAI-94, Seattle, WA. 1994;1191-1198.
33. Rinner B., Kuipers B. Monitoring piecewise continuous behaviors by refining semi-quantitative trackers. Proc. IJCAI-99, Stockholm, Sweden. 1999;1080-1086 Morgan Kaufmann, San Mateo, CA.
34. Say A.C.C., Kuru S. Qualitative system identification: Deriving structure from behavior. Artificial Intelligence. Vol. 83:1996;75-141.
35. Witkin A.P. Scale-space filtering. Proc. IJCAI-83, Karsruhe, Germany. 1983;1019-1022.