Higher-Order Derivative Constraints in Qualitative Simulation

Higher-Order Derivative Constraints in Qualitative Simulation (1991)

Cached

Download Links

[ftp.cs.utexas.edu]

by Benjamin Kuipers , Charles Chiu , David T. Dalle Molle , David Throop

Venue:	Artificial Intelligence
Citations:	7 - 3 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Higher-Order Derivative Constraints in Qualitative Simulation	user correction - Legacy Corrections
AUTHOR NAME	Benjamin Kuipers	user correction - Legacy Corrections
AUTHOR AFFIL	y	user correction - Legacy Corrections
AUTHOR NAME	Charles Chiu	user correction - Legacy Corrections
AUTHOR AFFIL	z	user correction - Legacy Corrections
AUTHOR NAME	David T. Dalle Molle	user correction - Legacy Corrections
AUTHOR AFFIL	x	user correction - Legacy Corrections
AUTHOR NAME	David Throop	user correction - Legacy Corrections
AUTHOR AFFIL	; Dept. of Computer Sciences, University of Texas at Austin, Austin; z; Dept. of Physics, University of Texas at Austin, Austin; x; Amoco Chemical Co., Naperville; Dept. of Computer Sciences, University of Texas at Austin, Austin	user correction - Legacy Corrections
AUTHOR ADDR	; 1991; Texas 78712 USA; Texas 78712 USA; Illinois 60566 USA; Texas 78712 USA	user correction - Legacy Corrections
ABSTRACT	Qualitative simulation is a useful method for predicting the possible qualitatively distinct behaviors of an incompletely known mechanism described by a system of qualitative differential equations (QDEs). Under some circumstances, sparse information about the derivatives of variables can lead to intractable branching (or "chatter") representing uninteresting or even spurious distinctions among qualitative behaviors. The problem of chatter stands in the way of real applications such as qualitative simulation of models in the design or diagnosis of engineered systems. One solution to this problem is to exploit information about higherorder derivatives of the variables. We demonstrate automatic methods for identification of chattering variables, algebraic derivation of expressions for second-order derivatives, and evaluation and application of the sign of second- and third-order derivatives of variables, resulting in tractable simulation of important qualitative models. Caution is requir...	user correction - Legacy Corrections
YEAR	1991	INFERENCE
VENUE	Artificial Intelligence	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	343--379	INFERENCE
VOLUME	51	INFERENCE
TECH	Technical Report AI-TR-90-116	INFERENCE
CITATIONS	44 found	ParsCit 1.0