Monitoring piecewise continuous behaviors by refining semi-quantitative trackers

IJCAI International Joint Conference on Artificial Intelligence

Volumn 2, Issue , 1999, Pages 1080-1086

  Rinner, Bernhard ^a   Kuipers, Benjamin ^b  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

^b University of Texas at Austin   (United States)

Author keywords

Model refinement, hybrid systems; Model based monitoring

Indexed keywords

BEHAVIOR PREDICTION; DISCONTINUOUS TRANSITION; INCOMPLETE KNOWLEDGE; MODEL REFINEMENT; MODEL-BASED MONITORING; PIECEWISE-CONTINUOUS; SEMIQUANTITATIVE MODEL; SYSTEM IDENTIFICATION METHODS;

FORECASTING; HYBRID SYSTEMS;

ARTIFICIAL INTELLIGENCE;

EID: 84880648075     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. E. Bradley and R. Stolle. Automatic Construction of Accurate Models of Physical Systems. Annals of Mathematics of Artificial Intelligence, 17:1-28, 1996. (Pubitemid 126138716)
2. J. Crawford, A. Farquhar, and B. Kuipers. QPC: A Compiler from Physical Models into Qualitative Differential Equations. In Proceedings of the National Conference on Artificial Intelligence (AAAI-90), pages 365-372, Boston, MA, 1990.
3. J. de Kleer and B. C. Williams. Diagnosing Multiple Faults. Artificial Intelligence, 32:97-130, 1987.
4. D. Dvorak and B. Kuipers. Process Monitoring and Diagnosis: A Model-Based Approach. IEEE Expert, 5(3):67-74, June 1991. (Pubitemid 21675659)
5. I. J. Haimowitz and I. S. Kohane. Automated Trend Detection with Alternate Temporal Hypotheses. In Proceedings of the 13th International Joint Conference on Artificial Intelligence, pages 146-151, Chambery, France, August 1993.
6. Y. Iwasaki, A. Farquhar, V. Saraswat, D. Bobrow, and V. Gupta. Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? In Proceedings of the Ninth International Workshop on Qualitative Reasoning, Amsterdam, The Netherlands, 1995.
7. H. Kay and L. H. Ungar. Deriving Monotonic Function Envelopes from Observations. In Working Papers from the Seventh International Workshop on Qualitative Reasoning about Physical Systems (QR-93), pages 117-123, Orcas Island, Washington, 1993.
8. H. Kay and L. Ungar. Estimating Monotonic Functions and Their Bounds using MSQUID. Technical Report TR AI99-280, University of Texas at Austin, 1999.
9. H. Kay, B. Rinner, and B. Kuipers. Semi-Quantitative System Identification. Technical Report TR AI99-279, University of Texas at Austin, 1999.
10. H. Kay. Refining Imprecise Models and Their Behaviors. PhD thesis, University of Texas at Austin, December 1996.
11. H. Kay. SQSIM: A Simulator for Imprecise ODE Models. Computers and Chemical Engineering, 23(l):27-46, 1998. (Pubitemid 29133162)
12. B. Kuipers. Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. Artificial Intelligence. MIT Press, 1994.
13. E. Loiez and P. Taillibert. Polynomial Temporal Band Sequences for Analog Diagnosis. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, pages 474-479, Nagoya, Japan, August 1997. Morgan Kaufmann.
14. S. Mcllraith, G. Biswas, D. Clancy, and V. Gupta. Towards Diagnosing Hybrid Systems. In Working Notes of the AAAI 1999 Spring Symposium Series: Hybrid Systems and AI, pages 128-135, Stanford, CA, March 1999.
15. P. J. Mosterman, F. Zhao, and G. Biswas. An Ontology for Transitions in Physical Dynamic Systems. In Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI-98), pages 219-224, Madison, USA, July 1998.
16. H. T. Ng. Model-Based, Multiple-Fault Diagnosis of Dynamic, Continuous Physical Devices. IEEE Expert, 6(6):38-43, December 1991.
17. T. Nishida and S. Doshita. Reasoning about Discontinuous Change. In Proceedings of the Sixth National Conference on Artificial Intelligence, pages 643-648, Seattle, Washington, 1987.
18. J. Rickel and B. Porter. Automated Modeling for Answering Prediction Questions: Selecting the Time Scale and System Boundary. In Proceedings of the Twelfth National Conference on Artificial Intelligence, pages 1191-1198, Seattle, Washington, 1994.