Application of the Kohn-Nerode control law extraction procedure to the inverted pendulum problem

  • Vladimir Brayman
  • Juris Vagners
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1273)


The Kohn-Nerode control law extraction procedure offers an innovative way of formulating and solving a Hybrid System problem. The present paper is an attempt to show the main components of the method using the inverted pendulum as an example.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Be173]
    Richard Bellman. Methods of nonlinear analysis. Academic Press, New York, 1973.Google Scholar
  2. [Ber74]
    L.D. Berkovitz. Optimal Control Theory. Springer-Verlag, New York, Heidelberg, Berlin, 1974.Google Scholar
  3. [Bin70]
    S. Bingulac. An alternate approach to expanding PA+A'P=−Q. IEEE Trans. Automatic Control, 15:135–136, 1970.Google Scholar
  4. [Che70]
    Chi-Tsong Chen. Introduction to Linear System Theory. Holt, Rinehart and Winston, Inc., New York, 1970.Google Scholar
  5. [KN92]
    W. Kohn and A. Nerode. An autonomous control theory: an overview. In IEEE Symposium on Computer Aided Control System Design, pages 204–210, Napa Valley, CA, March 1992.Google Scholar
  6. [KN93]
    W. Kohn and A. Nerode. Models for hybrid systems: automata, topologies, controllability and observability. Hybrid Systems, (736):317–356, 1993.Google Scholar
  7. [KN97]
    W. Kohn and A. Nerode. Quantum wave processor. Technical report, HyBrithms, 1997.Google Scholar
  8. [KNR95]
    W. Kohn, A. Nerode, and J. B. Remmel. Hybrid systems as finsler manifolds: Finite state control as approximation to connections. Hybrid Systems II, (999), 1995.Google Scholar
  9. [KNR96a]
    W. Kohn, A. Nerode, and J. B. Remmel. Continualization: A hybrid systems control technique for computing. In Symposium on Control, Optimization and Supervision, CESA 96, pages 517–521, Lille, France, 1996.Google Scholar
  10. [KNR96b]
    W. Kohn, A. Nerode, and J. B. Remmel. Feedback derivations: Near optimal controls for hybrid systems. In Symposium on Control, Optimization and Supervision, CESA 96, pages 507–511, Lille, France, 1996.Google Scholar
  11. [KNRG94]
    W. Kohn, A. Nerode, J. B. Remmel, and X. Ge. Multiple agent hybrid control: carrier manifolds and chattering approximations to optimal control. In CDC94, 1994.Google Scholar
  12. [Koh88a]
    W. Kohn. A declarative theory for rational controllers. In Proc. 27th IEEE CDC, pages 130–136, 1988.Google Scholar
  13. [Koh88b]
    W. Kohn. Symbolic generator of state space models. Aerospace Simulation, 19(2):299–307, 1988.Google Scholar
  14. [MP77]
    Richard S. Millman and George D. Parker. Elements of Differential Geometry. Prentice-Hall, Englewood Cliffs,NJ, 1977.Google Scholar
  15. (NK93]
    A. Nerode and W. Kohn. Multiple agent hybrid control architecture. In R. Grossman, A. Nerode, A. Ravu, and H. Rischel, editors, Hybrid Systems, number 736 in Lecture Notes in Computer Science, pages 297–316. Springer Verlag, 1993.Google Scholar
  16. [Olv93]
    Peter J. Olver. Applications of Lie Groups to Differential Equations. Springer Verlag, second edition, 1993.Google Scholar
  17. [Ros70.
    H.H. Rosenbrock. State-space and Multivariable Theory. John Wiley&Sons, N.Y, 1970.Google Scholar
  18. [Sep94]
    Kalev Sepp. Robust control of linear track cart-pendulum. Master's thesis, University of Washington, 1994.Google Scholar
  19. [War72]
    J. Warga. Optimal Control of Differential and Functional Equations. Academic Press, New York and London, 1972.Google Scholar
  20. [YOU80]
    L. C. Young. Lectures on the Calculus of Variations and Optimal Control Theory. Chelsea Pub. Company, New York, N. Y., 1980.Google Scholar

Copyright information

© Springer-Verlag 1997

Authors and Affiliations

  • Vladimir Brayman
    • 1
  • Juris Vagners
    • 2
  1. 1.HyBrithms Corp. and Department of Electrical EngineeringUniversity of WashingtonSeattle
  2. 2.Department of Aeronautics and AstronauticsUniversity of WashingtonSeattle

Personalised recommendations