Automating Analysis of Qualitative Behaviors of Ordinary Differential Equations

Toyoaki Nishida

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.