Automating Analysis of Qualitative Behaviors of Ordinary Differential Equations

Contents

In this working note, I discuss issues in automating qualitative analysis of systems of ordinary differential equations (ODEs). The central issues analysis automation are the development of a computational theory for dynamical systems analysis and the accumulation of knowledge on dynamical systems analysis at the computer-executable level. I focus on integrating qualitative and quantitative methods so that a computer program can automatically make high-level decisions and derive abstract information by intelligently controlling numerical and symbolic computation. I survey several techniques developed in the PSX project and describe the current status.