Abstract
We describe the Phase-Space Nonlinear Control Toolbox, a suite of computational tools for synthesizing and evaluating control laws for a broad class of nonlinear dynamical systems. The Toolbox comprises computational algorithms for identifying optimal control reference trajectories in the phase space of dynamical systems and experimental methods for evaluating performance of the control laws. These algorithms combine knowledge of the geometric theory of modern nonlinear dynamical systems with efficient computational methods for geometric reasoning and graph search; they define the properties of controllability and robustness in terms of phase-space geometric structures and exploit the phase-space neighborhood adjacencies to obtain computational efficiency. Compared to the traditional analytic control design methods, the phase-space based control synthesis and evaluation rely on high-performance computational techniques and are applicable to physical systems operating in large nonlinear regimes. Using a proof-of-concept physical experiment for stabilizing a nonlinear magnetic levitation system, we have successfully demonstrated the feasibility of the phase-space control technology.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
E. Asarin, O. Maler, and A. Pnueli. Reachability analysis of dynamical systems having piecewise-constant derivatives. Theoretical Computer Science, 138:35–65, 1995.
E. Bradley and F. Zhao. Phase-space control system design. IEEE Control Systems, 13(2):39–47, 1993.
M. Branicky. Universal computation and other capabilities of hybrid and continuous dynamical systems. Theoretical Computer Science, 138:67–100, 1995.
R.W. Brockett. Hybrid models for motion control systems. Essays in Control: Perspectives in the Theory and its Applications, 1993.
Peter E. Caines and Yuan-Jun Wei. On dynamically consistent hybrid systems. Hybrid Systems II, Lecture Notes in Computer Science, 1995.
T. R. Eastham. Maglev: A realistic option for the nineties. Magnetic Levitation Technology for Advanced Transit Systems, 1989.
J. Guckenheimer and P. Holmes. Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Springer-Verlag, New York, 1983.
T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. What’s decidable about hybrid automata? In Proceedings of the 27th Annual Symposium on Theory of Computing, pages 373–382. ACM Press, 1995.
J. Hodgins and M. Raibert. Biped gymnastics. Fourth International Symposium of Robotics Research, 1987.
C. S. Hsu. Cell-to-Cell Mapping. Springer-Verlag, New York, 1987.
A. Isidori. Nonlinear Control: An Introduction. Springer-Verlag, New York, 1985.
J.F. Kolen and F. Zhao. A computational analysis of the reachability problem for a class of hybrid dynamical systems. Hybrid Systems IV, Lecture Notes In Computer Science, Springer-Verlag, 1997.
D. McCallum et al. Aerodynamic control of maglev vehicle. A talk given at the MIT Maglev Consortium Symposium, 1992.
A. Nerode and W. Kohn. Models for hybrid systems: automata, topologies, controllability, observability. Hybrid Systems, Lecture Notes In Computer Science, 1993.
M. Raibert. Legged Robots That Balance. MIT Press, 1986.
J. E. Slotine and W. Li. Applied Nonlinear Control. Prentice-Hall, Englewood Cliffs, New Jersey, 1991.
J.A. Stiver, P.J. Antsaklis, and M.D. Lemmon. An invariant based approach to the design of hybrid control systems containing clocks. Hybrid Systems III, Lecture Notes in Computer Science, 1066:464–474, 1995.
J.J. Totah. Simulation evaluation of a neural-based flight controller. In Proc. of AIAA, 1996.
B.C. Williams and P.P. Nayak. Immobile robots: Ai in the new millennium. AI Magazine, Fall 1996.
K. Yip and F. Zhao. Spatial aggregation: Theory and applications. Journal of Artificial Intelligence Research, 5:1–26, 1996.
F. Zhao. Phase space navigator: Towards automating control synthesis in phase spaces for nonlinear control systems. In Proc. 3rd IFAC Int’l Workshop on AI in Real Time Control. Pergamon Press, 1991.
F. Zhao. Extracting and representing qualitative behaviors of complex systems in phase spaces. Artificial Intelligence, 69(1–2):51–92, 1994.
F. Zhao and R. Thornton. Automatic design of a maglev controller in state space. In Proc. of the 31st IEEE Conf. on Decision and Control, December 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhao, F., Loh, S.C., May, J.A. (1999). Phase-Space Nonlinear Control Toolbox: The Maglev Experience. In: Antsaklis, P., Lemmon, M., Kohn, W., Nerode, A., Sastry, S. (eds) Hybrid Systems V. HS 1997. Lecture Notes in Computer Science, vol 1567. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49163-5_23
Download citation
DOI: https://doi.org/10.1007/3-540-49163-5_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65643-2
Online ISBN: 978-3-540-49163-7
eBook Packages: Springer Book Archive