Automating analysis of qualitative behaviors of ordinary differential equations

Toyoaki Nishida

doi:10.1117/12.167525

Abstract

The purpose of the PSX project is to develop a computer program that can autonomously carry out qualitative analysis of systems of ordinary differential equations. The central issue in analysis automation is the development of a computational theory for dynamical systems analysis. In this paper, 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 technical results obtained in the PSX project and describe the current status, highlighting intelligent techniques for controlling numerical computation.

Citation Download Citation

Toyoaki Nishida, Toyoaki Nishida, } "Automating analysis of qualitative behaviors of ordinary differential equations", Proc. SPIE 2037, Chaos/Nonlinear Dynamics: Methods and Commercialization, (1 March 1994); doi: 10.1117/12.167525; https://doi.org/10.1117/12.167525

ACCESS THE FULL ARTICLE

PERSONAL SIGN IN
Full access may be available with your subscription

Email or Username Forgot your username?

Password Forgot your password?

Show

Remember Email/Username on this computer

Remember Password

No SPIE account? Create an account
or Institutional Sign In via Shibboleth

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available

Members: $14.40

Non-members: $18.00 ADD TO CART

Show All Keywords

Keywords/Phrases

Search In:

Publication Years