Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Spaces

We develop a qualitative method for understanding and representing phase space structures of complex systems. To demonstrate this method, a program called MAPS has been constructed that understands qualitatively different regions of a phase space and represents and extracts geometric shape information about these regions, using deep domain knowledge of dynamical system theory. Given a dynamical system specified as a system of governing equations, MAPS applies a successive sequence of operations to incrementally extract the qualitative information and generates a complete, high level symbolic description of the phase space structure, through a combination of numerical, combinatorial, and geometric computations and spatial reasoning techniques. The high level description is sensible to human beings and manipulable by other programs. We are currently applying the method to a difficult engineering design domain in which controllers for complex systems are to be automatically synthesized to achieve desired properties, based on the knowledge of the phase space "shapes" of the systems.

[1]  Robert Grossman.  Symbolic Computation: Applications to Scientific Computing , 1989 .

[2]  A. Vicino,et al.  On the estimation of asymptotic stability regions: State of the art and new proposals , 1985 .

[3]  F. Frances Yao,et al.  Computational Geometry , 1991, Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity.

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

[5]  E. Bradley,et al.  Phase-space control system design , 1993, IEEE Control Systems.

[6]  F. Zhao,et al.  Automatic design of a maglev controller in state space , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[7]  Felix F. Wu,et al.  Stability regions of nonlinear autonomous dynamical systems , 1988 .

[8]  Elisha Sacks,et al.  Automatic Analysis of One-Parameter Planar Ordinary Differential Equations by Intelligent Numeric Simulation , 1991, Artif. Intell..

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

[10]  F. Takens.  Detecting strange attractors in turbulence , 1981 .

[11]  Harold Abelson.  The Bifurcation Interpreter: A Step Towards the Automatic Analysis of Dynamical Systems , 1989 .

[12]  M. Hirsch,et al.  Differential Equations, Dynamical Systems, and Linear Algebra , 1974 .

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

[14]  Richard H. Rand,et al.  Computer algebra in applied mathematics: An introduction to MACSYMA , 1984 .

[15]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[16]  Feng Zhao,et al.  Automatic analysis and synthesis of controllers for dynamical systems based on phase-space knowledge , 1992 .

[17]  Jean-Daniel Boissonnat,et al.  Geometric structures for three-dimensional shape representation , 1984, TOGS.

[18]  Shuji Doshita,et al.  Automated Phase Portrait Analysis by Integrating Qualitative and Quantitative Analysis , 1991, AAAI.

[19]  James R. Munkres,et al.  Elements of algebraic topology , 1984 .

[20]  James P. Crutchfield,et al.  Geometry from a Time Series , 1980 .

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

[22]  C. S. Hsu,et al.  Cell-to-Cell Mapping , 1987 .

[23]  William H. Press,et al.  Numerical Recipes: The Art of Scientific Computing , 1987 .

[24]  Oscar Palacios-Velez,et al.  A dynamic hierarchical subdivision algorithm for computing Delaunay triangulations and other closest-point problems , 1990, TOMS.

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

[26]  Feng Zhao,et al.  Phase Space Navigator: Towards Automating Control Synthesis in Phase Spaces for Nonlinear Control Systems , 1991 .

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

[28]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[29]  E. Bradley.  Control Algorithms for Chaotic Systems , 1991 .

[30]  D. H. Bartley,et al.  Revised4 report on the algorithmic language scheme , 1991, LIPO.