Qualitative reasoning about physical systems
Qualitative reasoning about physical systems
The limits of qualitative simulation
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Qualitative mathematical reasoning
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
This paper describes a new technique called piecewise linear reasoning (PLR) for analyzing dynamic systems describable by finite sets of ordinary differential equations. Current qualitative reasoning programs derive the abstract behavior of a system by simulating handcrafted "qualitative" versions of the differential equations that characterize it and summarizing the results. PLR infers more detailed information by constructing and examining piecewise linear approximations of the original equations. All evidence that PLR can provide useful information to engineers, its analyses of the Lienard and van der Pol equations are presented.