Automating analysis of qualitative behaviors of ordinary differential equations

Toyoaki Nishida

doi:10.1117/12.167525

1 March 1994 Automating analysis of qualitative behaviors of ordinary differential equations

Toyoaki Nishida

Proceedings Volume 2037, Chaos/Nonlinear Dynamics: Methods and Commercialization; (1994) https://doi.org/10.1117/12.167525
Event: SPIE's 1993 International Symposium on Optics, Imaging, and Instrumentation, 1993, San Diego, CA, United States

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 "Automating analysis of qualitative behaviors of ordinary differential equations", Proc. SPIE 2037, Chaos/Nonlinear Dynamics: Methods and Commercialization, (1 March 1994); https://doi.org/10.1117/12.167525

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

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