Higher-order derivative constraints in qualitative simulation

Artificial Intelligence

Volumn 51, Issue 1-3, 1991, Pages 343-379

  Kuipers, Benjamin J ^a   Chiu, Charles ^a   Molle, David T Dalle ^b   Throop, D R ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^b BP EXPLORATION   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; MATHEMATICAL TECHNIQUES - DIFFERENTIAL EQUATIONS;

PHYSICAL SYSTEMS; QUALITATIVE REASONING; QUALITATIVE SIMULATION;

COMPUTER SIMULATION;

EID: 0026240345     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(91)90114-Y     Document Type: Article

References (47)

1. Higher order derivative constraints and a QSIM-based total simulation scheme
2. Comparative analysis and qualitative integral representations
3. QPC: a compiler from physical models into qualitative differential equations
4. Automatic evaluation of third-order constraints in qualitative simulation
5. Qualitative Simulation of Dynamic Chemical Processes
6. Qualitative modeling of chemical reaction systems
7. Qualitative simulation for process modeling and control
8. Qualitative modeling and simulation of dynamic systems
9. Qualitative reasoning with higher-order derivatives
10. A qualitative physics based on confluences
11. Measurement interpretation in qualitative process theory
12. Qualitative process theory
13. Interpreting measurements of physical systems
14. Reasoning about energy in qualitative simulation
15. Formal basis for commonsense abstraction of dynamic systems
16. Commonsense reasoning about causality: deriving behavior from structure
17. The limits of qualitative simulation
18. Qualitative simulation
19. Qualitative simulation as causal explanation
20. Abstraction by time-scale in qualitative simulation
21. The qualitative calculus is sound but incomplete: a reply to Peter Struss
22. Qualitative reasoning: modeling and simulation with incomplete knowledge
23. Using incomplete quantitative knowledge in qualitative reasoning
24. Taming intractible branching in qualitative simulation
25. Causal reasoning in medicine: analysis of a protocol
26. Steps toward constraining qualitative simulation
27. Non-intersection of trajectories in qualitative phase space: a global constraint for qualitative simulation
28. Escort—an expert system for complex operations in real time
29. Aggregation of variables in dynamic systems
30. Mathematical aspects of qualitative reasoning
31. Global filters for qualitative behaviors
32. Heuristic techniques in computer-aided circuit analysis
33. On the applicability of the smoothness assumption to qualitative simulation
34. Comparative analysis
35. Comparative analysis
36. Exaggeration
37. Qualitative analysis of MOS circuits
38. The use of continuity in a qualitative physics
39. Doing time: putting qualitative reasoning on firmer ground
40. MINIMA: A symbolic approach to qualitative algebraic reasoning