The Bifurcation Interpreter: A Step Towards the Automatic Analysis of Dynamical Systems

The Bifurcation Interpreter is a computer program that autonomously explores the steady-state orbits of one-parameter families of periodically- driven oscillators. To report its findings, the Interpreter generates schematic diagrams and English text descriptions similar to those appearing in the science and engineering research literature. Given a system of equations as input, the Interpreter uses symbolic algebra to automatically generate numerical procedures that simulate the system. The Interpreter incorporates knowledge about dynamical systems theory, which it uses to guide the simulations, to interpret the results, and to minimize the effects of numerical error.

[1]  L.O. Chua,et al.  INSITE—A software toolkit for the analysis of nonlinear dynamical systems , 1987, Proceedings of the IEEE.

[2]  Kenneth Man-kam Yip,et al.  Extracting Qualitative Dynamics from Numerical Experiments , 1987, AAAI.

[3]  C. S. Hsu.  A Theory of Index for Point Mapping Dynamical Systems , 1980 .

[4]  P. Holmes,et al.  Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields , 1983, Applied Mathematical Sciences.

[5]  Richard H. Rand,et al.  Normal Form and Center Manifold Calculations on MACSYMA , 1985 .

[6]  C. Hsu,et al.  Cell-To-Cell Mapping A Method of Global Analysis for Nonlinear Systems , 1987 .

[7]  Michael Eisenberg,et al.  Descriptive simulation: Combining symbolic and numerical methods in the analysis of chemical reaction mechanisms , 1990, Artif. Intell. Eng..

[8]  Leon O. Chua,et al.  Practical Numerical Algorithms for Chaotic Systems , 1989 .

[9]  Yoshisuke Ueda,et al.  Steady Motions Exhibited by Duffing's Equation : A Picture Book of Regular and Chaotic Motions (Functional Differential Equations) , 1980 .

[10]  C. Hsu,et al.  An Unravelling Algorithm for Global Analysis of Dynamical Systems: An Application of Cell-to-Cell Mappings , 1980 .

[11]  Gerald J. Sussman,et al.  Intelligence in scientific computing , 1989, CACM.

[12]  Kenneth O. Leland.  An algorithm for winding numbers for closed polygonal paths , 1975 .

[13]  William H. Press,et al.  Numerical recipes in C. The art of scientific computing , 1987 .

[14]  Harold Abelson,et al.  The Dynamicist''s Workbench: I ---Automatic Preparation of Numerical Experiments , 1987 .

[15]  Kenneth Man-kam Yip.  Generating Global Behaviors using Deep knowledge of Local Dynamics , 1988, AAAI.

[16]  Valter Franceschini.  Two models of truncated Navier–Stokes equations on a two‐dimensional torus , 1983 .

[17]  Kenneth M Yip.  KAM: Automatic Planning and Interpretation of Numerical Experiments Using Geometrical Methods , 1989 .

[18]  M. Feigenbaum.  Universal behavior in nonlinear systems , 1983 .