Extracting and representing qualitative behaviors of complex systems in phase space
Artificial IntelligencePublished 1 September 1994
Feng Zhao
Citations62
SJR quartileQ1
SJR score1.84
SNIP3.30
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
A qualitative method for understanding and representing phase space structures of complex systems 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.
Abstract
This paper presents a computational method for automatically analyzing qualitative behaviors of complex dynamical systems in phase space. To demonstrate this method, a program called MAPS has been constructed that understands qualitatively distinct features of a phase space and represents geometric information about these features in a dimension-independent description, using deep domain knowledge of dynamical systems theory. Given a dynamical system specified as a system of governing equations, MAPS incrementally extracts the qualitative information about the system in terms of a qualitative phase-space structure describing steady-state behaviors, stabilities, and transient properties. MAPS generates a high-level symbolic description of the system sensible to human beings and manipulable by other programs, through a combination of numerical, combinatorial, and geometric computations and spatial reasoning techniques. MAPS has successfully demonstrated its power in a difficult engineering domain of nonlinear control design.
Keywords
Computer ScienceNeuroscience
Applied mathematical sciencesNonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields
16,015 Citations1983John Guckenheimer, Philip Holmes
Physical Review LettersGeometry from a Time Series
3,889 Citations1980Norman H. Packard, James P. Crutchfield +2 more
Pure and applied mathematicsDifferential Equations, Dynamical Systems, and Linear Algebra
3,122 Citations1974
Differentiable Dynamical Systems
2,529 Citations1980Steve Smale
ACM Transactions on GraphicsGeometric structures for three-dimensional shape representation
565 Citations1984Jean‐Daniel Boissonnat
It is shown that minimal representations (i.e., polyhedra) can be provided by a surface- based method using nearest neighbors structures or by a volume-based method using the Delaunay triangulation.
IEEE Transactions on Automatic ControlStability regions of nonlinear autonomous dynamical systems
490 Citations1988Hsiao‐Dong Chiang, Morris W. Hirsch +1 more
IEEE Transactions on Automatic ControlOn the estimation of asymptotic stability regions: State of the art and new proposals
459 Citations1985R. Genesio, M. Tartaglia +1 more
ACM SIGPLAN Lisp PointersRevised <sup>4</sup> report on the algorithmic language scheme
370 Citations1991Hal Abelson, R. Kent Dybvig +14 more
The report gives a defining description of the programming language Scheme, a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis Steele Jr. and Gerald Jay Sussman.
Journal of Functional ProgrammingRevised <sup>6</sup> Report on the Algorithmic Language Scheme
325 Citations2009Michael Sperber, R. Kent Dybvig +4 more
Scheme demonstrates that a very small number of rules for forming expressions, with no restrictions on how they are composed, suffice to form a practical and efficient programming language that is flexible enough to support most of the major programming paradigms in use today.
Journal of Applied MechanicsAn Unravelling Algorithm for Global Analysis of Dynamical Systems: An Application of Cell-to-Cell Mappings
190 Citations1980C. S. Hsu, Ramesh S. Guttalu
Communications of the ACMIntelligence in scientific computing
109 Citations1989Harold Abelson, Michael Eisenberg +6 more
The authors discuss the development of intelligent techniques appropriate for the automatic preparation, execution, and control of numerical experiments.
Artificial IntelligenceAutomatic analysis of one-parameter planar ordinary differential equations by intelligent numeric simulation
59 Citations1991Elisha Sacks
A program called POINCARE is described that analyzes one-parameter autonomous planar systems at the level of experts through a combination of theoretical dynamics, numerical simulation, and geometric reasoning.
Extracting and Representing Qualitative behaviors of Complex Systems in Phase Spaces
43 Citations1991Feng Zhao
National Conference on Artificial IntelligenceAutomated phase portrait analysis by integrating qualitative and quantitative analysis
32 Citations1991Toyoaki Nishida, K. Mizutani +2 more
This paper presents a case study with PSX2NL, a program which autonomously analyzes the behavior of two-dimensional nonlinear differential equations, by integrating knowledge-based methods and numerical algorithms.
IEEE Control SystemsPhase-space control system design
29 Citations1993Elizabeth Bradley, Feng Zhao
Two implemented, complementary programs that exploit the special properties of nonlinear and chaotic systems to synthesize powerful control systems automatically are described.
Computers & Mathematics with ApplicationsThe bifurcation interpreter: A step towards the automatic analysis of dynamical systems
29 Citations1990Hal Abelson
The Bifurcation Interpreter is a computer program that autonomously explores the steady-state orbits of one-parameter families of periodically- driven oscillators using symbolic algebra to automatically generate numerical procedures that simulate the system.
DSpace@MIT (Massachusetts Institute of Technology)Automatic analysis and synthesis of controllers for dynamical systems based on phase-space knowledge
27 Citations1992Feng Zhao
Scholars' Bank (University of Oregon)Revised 3.99 Report on the Algorithmic Language Scheme
17 Citations2004Clinger, William D., Rees, Jonathan
IFAC Proceedings VolumesPhase space navigator: Towards automating control synthesis in phase spaces for nonlinear control systems
16 Citations1991Feng Zhao
The Phase Space Navigator is particularly suitable for synthesizing high-performance control systems that do not lend themselves to traditional design and analysis techniques and can assist control engineers in exploring much larger design spaces than otherwise possible.
Automatic design of a maglev controller in state space
15 Citations2005Feng Zhao, R. E. Thornton
Annals of Mathematics and Artificial IntelligenceComputational dynamics: Modeling and visualizing trajectory flows in phase space
15 Citations1993Feng Zhao
The technique employs a novel idea offlow pipes to model trajectory bundles that exhibit the same qualitative features and parses a continuous phase space of a dynamical system into a manageable discrete collection of flow pipes that a computer can efficiently reason about.
Lecture notes in control and information sciencesControl algorithms for chaotic systems
13 Citations2005Elizabeth Bradley
The techniques presented in this paper actively exploit chaotic behavior to accomplish otherwise-impossible control tasks, vastly altering both global and local convergence properties.
ACM Transactions on Mathematical SoftwareA dynamic hierarchical subdivision algorithm for computing Delaunay triangulations and other closest-point problems
10 Citations1990Óscar L. Palacios-Vélez
It is shown that the “oriented walk” search, when the total number of points is less than 417 or when the points are presorted by distance or coordinates, is successful.