Skip to main content

Phase-Space Nonlinear Control Toolbox: The Maglev Experience

  • Conference paper
  • First Online:
Hybrid Systems V (HS 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1567))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. E. Asarin, O. Maler, and A. Pnueli. Reachability analysis of dynamical systems having piecewise-constant derivatives. Theoretical Computer Science, 138:35–65, 1995.

    Article  MathSciNet  Google Scholar 

  2. E. Bradley and F. Zhao. Phase-space control system design. IEEE Control Systems, 13(2):39–47, 1993.

    Article  Google Scholar 

  3. M. Branicky. Universal computation and other capabilities of hybrid and continuous dynamical systems. Theoretical Computer Science, 138:67–100, 1995.

    Article  MathSciNet  Google Scholar 

  4. R.W. Brockett. Hybrid models for motion control systems. Essays in Control: Perspectives in the Theory and its Applications, 1993.

    Google Scholar 

  5. Peter E. Caines and Yuan-Jun Wei. On dynamically consistent hybrid systems. Hybrid Systems II, Lecture Notes in Computer Science, 1995.

    Google Scholar 

  6. T. R. Eastham. Maglev: A realistic option for the nineties. Magnetic Levitation Technology for Advanced Transit Systems, 1989.

    Google Scholar 

  7. J. Guckenheimer and P. Holmes. Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Springer-Verlag, New York, 1983.

    Book  Google Scholar 

  8. 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.

    Google Scholar 

  9. J. Hodgins and M. Raibert. Biped gymnastics. Fourth International Symposium of Robotics Research, 1987.

    Google Scholar 

  10. C. S. Hsu. Cell-to-Cell Mapping. Springer-Verlag, New York, 1987.

    Book  Google Scholar 

  11. A. Isidori. Nonlinear Control: An Introduction. Springer-Verlag, New York, 1985.

    Book  Google Scholar 

  12. 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.

    Google Scholar 

  13. D. McCallum et al. Aerodynamic control of maglev vehicle. A talk given at the MIT Maglev Consortium Symposium, 1992.

    Google Scholar 

  14. A. Nerode and W. Kohn. Models for hybrid systems: automata, topologies, controllability, observability. Hybrid Systems, Lecture Notes In Computer Science, 1993.

    Google Scholar 

  15. M. Raibert. Legged Robots That Balance. MIT Press, 1986.

    Google Scholar 

  16. J. E. Slotine and W. Li. Applied Nonlinear Control. Prentice-Hall, Englewood Cliffs, New Jersey, 1991.

    MATH  Google Scholar 

  17. 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.

    Chapter  Google Scholar 

  18. J.J. Totah. Simulation evaluation of a neural-based flight controller. In Proc. of AIAA, 1996.

    Google Scholar 

  19. B.C. Williams and P.P. Nayak. Immobile robots: Ai in the new millennium. AI Magazine, Fall 1996.

    Google Scholar 

  20. K. Yip and F. Zhao. Spatial aggregation: Theory and applications. Journal of Artificial Intelligence Research, 5:1–26, 1996.

    Article  Google Scholar 

  21. 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.

    Google Scholar 

  22. F. Zhao. Extracting and representing qualitative behaviors of complex systems in phase spaces. Artificial Intelligence, 69(1–2):51–92, 1994.

    Article  MathSciNet  Google Scholar 

  23. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics