QPC: A Compiler from Physical Models into Qualitative Differential Equations.
James M. CrawfordAdam FarquharBenjamin KuipersPublished in: AAAI (1990)
Keyphrases
- physical models
- qualitative differential equations
- dynamical systems
- phase space
- qualitative reasoning
- three dimensional
- shape from shading
- experimental data
- statistical models
- qualitative process theory
- temporal logic
- dynamic systems
- differential equations
- point sets
- model checking
- statistical model
- mathematical model
- reinforcement learning