Skip to main content
SpringerLink
Log in

Hybrid system modeling and autonomous control systems

  • Conference paper
  • First Online:
Hybrid Systems (HS 1992, HS 1991)

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

Abstract

Hybrid control systems contain two distinct types of systems, continuous state and discrete-state, that interact with each other. Their study is essential in designing sequential supervisory controllers for continuous-state systems, and it is central in designing control systems with high degree of autonomy.

After an introduction to intelligent autonomous control and its relation to hybrid control, models for the plant, controller, and interface are introduced. The interface contains memoryless mappings between the supervisor's symbolic domain and the plant's nonsymbolic state space. The simplicity and generality afforded by the assumed interface allows us to directly confront important system theoretic issues in the design of supervisory control systems. such as determinism, quasideterminism, and the relationship of hybrid system theory to the more mature theory of logical discrete event systems.

The partial financial support of the National Science Foundation (IRI91-09298 and MSS92-16559) is acknowledged

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. L. Acar, U. Ozguner, “Design of Knowledge-Rich Hierarchical Controllers for Large Functional Systems”, IEEE Trans. on Systems, Man, and Cybernetics, Vol. 20, No. 4, pp. 791–803, July/Aug. 1990.

    Google Scholar 

  2. J. Albus, et al, “Theory and Practice of Intelligent Control”, Proc. 23rd IEEE COMPCON, pp 19–39, 1981.

    Google Scholar 

  3. P. J. Antsaklis, K. M. Passino and S. J. Wang, “Towards Intelligent Autonomous Control Systems: Architecture and Fundamental Issues”, Journal of Intelligent and Robotic Systems, Vol.1, pp. 315–342, 1989.

    Google Scholar 

  4. P. J. Antsaklis, Special Issues on ‘Neural Networks in Control Systems’ of the IEEE Control Systems Magazine, April 1990 and April 1992.

    Google Scholar 

  5. P. J. Antsaklis, K. M. Passino and S. J. Wang, “An Introduction to Autonomous Control Systems”, IEEE Control Systems Magazine, Vol. 11, No. 4, pp.5–13, June 1991.

    Google Scholar 

  6. P. J. Antsaklis and K. M. Passino, Eds., An Introduction to Intelligent and Autonomous Control, 448 p., Kluwer Academic Publishers, 1993.

    Google Scholar 

  7. P. J. Antsaklis and K. M. Passino, “Introduction to Intelligent Control Systems with High Degree of Autonomy”, An Introduction to Intelligent and Autonomous Control, P. J. Antsaklis and K. M. Passino, Eds., Chapter 1, pp. 1–26, Kluwer Academic Publishers,1993.

    Google Scholar 

  8. P. J. Antsaklis, “Neural Networks for the Intelligent Control of High Autonomy Systems”, Mathematical Studies of Neural Networks, J.G. Taylor, Ed., Elsevier, 1993. To appear.

    Google Scholar 

  9. K. J. Astrom, et al, “Expert Control”, Automatica, Vol. 22, No. 3, pp. 277–286, 1986.

    Google Scholar 

  10. A. Benveniste, P. Le Guernic, “Hybrid Dynamical Systems and the Signal Language”, IEEE Transactions on Automatic Control, Vol. 35, No. 5, pp. 535–546, May 1990.

    Google Scholar 

  11. C. Cassandras, P. Ramadge, “Toward a Control Theory for Discrete Event Systems”, IEEE Control Systems Magazine, pp. 66–68, June 1990.

    Google Scholar 

  12. P. Fishwick, B. Zeigler, “Creating Qualitative and Combined Models with Discrete Events”, Proceedings of The 2nd Annual Conference on AI, Simulation and Planning in High Autonomy Systems, pp. 306–315, Cocoa Beach, FL, April 1991.

    Google Scholar 

  13. A. Gollu, P. Varaiya, “Hybrid Dynamical Systems”, Proceedings of the 28th Conference on Decision and Control, pp. 2708–2712, Tampa, FL, December 1989.

    Google Scholar 

  14. R. Grossman, R. Larson, “Viewing Hybrid Systems as Products of Control Systems and Automata”, Proceedings of the 31st Conference on Decision and Control, pp. 2953–2955, Tucson AZ, December 1992.

    Google Scholar 

  15. L. Holloway, B. Krogh, “Properties of Behavioral Models for a Class of Hybrid Dynamical Systems”, Proceedings of the 31st Conference on Decision and Control, pp. 3752–3757, Tucson AZ, December 1992.

    Google Scholar 

  16. Special Issue on Autonomous Intelligent Machines, IEEE Computer, Vol. 22, No. 6, June 1989.

    Google Scholar 

  17. A. Isidori, Nonlinear Control Systems, 2nd Edition, Springer-Verlag, Berlin, 1989

    Google Scholar 

  18. W. Kohn, A. Nerode, “Multiple Agent Autonomous Hybrid Control Systems”, Proceedings of the 31st Conference on Decision and Control, pp. 2956–2966, Tucson AZ, December 1992.

    Google Scholar 

  19. M. D. Lemmon, “Ellipsoidal Methods for the Estimation of Sliding Mode Domains of Variable Structure Systems”, Proc. of 26th Annual Conference on Information Sciences and Systems, Princeton N.J., March 18–20, 1992.

    Google Scholar 

  20. M. D. Lemmon, “Inductive Inference of Invariant Subspaces”, Proceedings of the American Control Conference, San Francisco, California, June 2–4, 1993.

    Google Scholar 

  21. M. D. Lemmon, J. A. Stiver, P. J. Antsaklis, “Learning to Coordinate Control Policies of Hybrid Systems”, Proceedings of the American Control Conference, San Francisco, California, June 2–4, 1993.

    Google Scholar 

  22. M. D. Lemmon, J. A. Stiver, P. J. Antsaklis, “Event Identification and Intelligent Hybrid Control”, This volume.

    Google Scholar 

  23. J. Mendel and J. Zapalac, “The Application of Techniques of Artificial Intelligence to Control System Design”, in Advances in Control Systems, C.T. Leondes, ed., Academic Press, NY, 1968.

    Google Scholar 

  24. M. Mesarovic, D. Macko and Y. Takahara, Theory of Hierarchical, Multilevel, Systems, Academic Press, 1970.

    Google Scholar 

  25. K. S. Narendra and K. Parthsarathy, “Identification and Control of Dynamical Systems Using Neural Networks”, IEEE Trans. Neural Networks, Vol 1(1):4–27.

    Google Scholar 

  26. A. Nerode, W. Kohn, “Models for Hybrid Systems: Automata, Topologies, Stability”, Private Communication, November 1992.

    Google Scholar 

  27. C. M. Ozveren, A. S. Willsky and P. J. Antsaklis, “Stability and Stabilizabilty of Discrete Event Dynamic Systems”, Journal of the Association of Computing Machinery, Vol 38, No 3, pp 730–752, 1991.

    Google Scholar 

  28. K. Passino, “Analysis and Synthesis of Discrete Event Regulator Systems”, Ph. D. Dissertation, Dept. of Electrical and Computer Engineering, Univ. of Notre Dame, Notre Dame, IN, April 1989.

    Google Scholar 

  29. K. M. Passino and P. J. Antsaklis, “On the Optimal Control of Discrete Event Systems”, Proc. of the 28th IEEE Conf. on Decision and Control, pp. 2713–2718, Tampa, FL, Dec. 13–15, 1989.

    Google Scholar 

  30. K. M. Passino, A. N. Michel, P. J. Antsaklis, “Lyapunov Stability of a Class of Discrete Event Systems”, Proceedings of the American Control Conference, Boston MA, June 1991.

    Google Scholar 

  31. K. M. Passino, U. Ozguner, ‘Modeling and Analysis of Hybrid Systems: Examples”, Proc. of the 1991 IEEE Int. Symp. on Intelligent Control, pp. 251–256, Arlington, VA, Aug. 1991.

    Google Scholar 

  32. K. M. Passino, A. N. Michel and P. J. Antsaklis, “Ustojchivost’ po Ljapunovu klassa sistem diskretnyx sobytij”, Avtomatika i Telemekhanika, No.8, pp. 3–18, 1992. “Lyapunov Stability of a Class of Discrete Event Systems”, Journal of Automation and Remote Control, No.8, pp. 3–18, 1992. In Russian.

    Google Scholar 

  33. K. M. Passino and P. J. Antsaklis, “Event Rates and Aggregation in Hierarchical Discrete Event Systems”, Journal of Discrete Event Dynamic Systems, Vol.1, No.3, pp. 271–288, January 1992.

    Google Scholar 

  34. K. M. Passino and P. J. Antsaklis, “”Modeling and Analysis of Artificially Intelligent Planning Systems”, Introduction to Intelligent and Autonomous Control, P.J.Antsaklis and K.M.Passino, Eds., Chapter 8, pp. 191–214, Kluwer, 1993.

    Google Scholar 

  35. P. Peleties, R. DeCarlo, “Modeling of Interacting Continuous Time and Discrete Event Systems: An Example”, Proceedings of the 26th Annual Allerton Conference on Communication, Control, and Computing, pp. 1150–1159, Univ. of Illinois at Urbana-Champaign, October 1988.

    Google Scholar 

  36. P. Peleties, R. DeCarlo, “A Modeling Strategy with Event Structures for Hybrid Systems”, Proceedings of the 28th Conference on Decision and Control, pp.1308–1313, Tampa FL, December 1989.

    Google Scholar 

  37. J. L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, NJ, 1981.

    Google Scholar 

  38. P. Ramadge, W. M. Wonham, “Supervisory Control of a Class of Discrete Event Processes”, SIAM Journal of Control and Optimization, vol. 25, no. 1, pp. 206–230, Jan 1987.

    Google Scholar 

  39. P. Ramadge, W. M. Wonham, “The Control of Discrete Event Systems”, Proceedings of the IEEE, Vol. 77, No. 1, pp. 81–98, January 1989.

    Google Scholar 

  40. G. N. Saridis, “Toward the Realization of Intelligent Controls”, Proc. of the IEEE, Vol. 67, No. 8, pp. 1115–1133, August 1979.

    Google Scholar 

  41. G. N. Saridis, “Intelligent Robot Control”, IEEE Trans. on Automatic Control, Vol. AC-28, No. 5, pp. 547–556, May 1983.

    Google Scholar 

  42. G. N. Saridis, “Foundations of the Theory of Intelligent Controls”, Proc. IEEE Workshop on Intelligent Control, pp 23–28, 1985.

    Google Scholar 

  43. G. N. Saridis, “Knowledge Implementation: Structures of Intelligent Control Systems”, Proc. IEEE International Symposium on Intelligent Control, pp. 9–17, 1987.

    Google Scholar 

  44. G. N. Saridis, “Analytic Formulation of the Principle of Increasing Precision with Decreasing Intelligence for Intelligent Machines”, Automatica, Vol.25, No.3, pp. 461–467, 1989.

    Google Scholar 

  45. R. F. Stengel, “AI Theory and Reconfigurable Flight Control Systems”, Princeton University Report 1664-MAE, June 1984.

    Google Scholar 

  46. J. A. Stiver, “Modeling of Hybrid Control Systems Using Discrete Event System Models”, M.S. Thesis, Dept. of Electrical Engineering, Univ. of Notre Dame, Notre Dame, IN, May 1991.

    Google Scholar 

  47. J. A. Stiver, P. J. Antsaklis, “A Novel Discrete Event System Approach to Modeling and Analysis of Hybrid Control Systems”, Control Systems Technical Report #71, Dept. of Electrical Engineering, University of Notre Dame, Notre Dame, IN, June 1991.

    Google Scholar 

  48. J. A. Stiver, P. J. Antsaklis, “A Novel Discrete Event System Approach to Modeling and Analysis of Hybrid Control Systems”, Proceedings of the Twenty-Ninth Annual Allerton Conference on Communication, Control, and Computing, University of Illinois at Urbana-Champaign, Oct. 2–4, 1991.

    Google Scholar 

  49. J. A. Stiver, P. J. Antsaklis, “Modeling and Analysis of Hybrid Control Systems”, Proceedins of the 31st Conference on Decision and Control, pp. 3748–3751, Tucson AZ, December 1992.

    Google Scholar 

  50. J. A. Stiver, P. J. Antsaklis, “State Space Partitioning for Hybrid Control Systems”, Proceedings of the American Control Conference, San Francisco, California, June 2–4, 1993.

    Google Scholar 

  51. P. R. Turner, et al, “Autonomous Systems: Architecture and Implementation”, Jet Propulsion Laboratories, Report No. JPL D-1656, August 1984.

    Google Scholar 

  52. K. P. Valavanis, “A Mathematical Formulation For The Analytical Design of Intelligent Machines”, PhD Dissertation, Electrical and Computer Engineering Dept., Rensselaer Polytechnic Institute, Troy NY, Nov. 1986.

    Google Scholar 

  53. W. M. Wonham, P. J. Wonham, “On the Supremal Controllable Sublanguage of a Given Language”, SIAM Journal of Control and Optimization, vol. 25, no. 3, pp. 637–659, May 1987.

    Google Scholar 

  54. B. P. Zeigler, “Multifacetted Modelling and Discrete Event Simulation”, Acedemic Press, NY, 1984.

    Google Scholar 

  55. B. P. Zeigler, ‘Knowledge Representation from Newton to Minsky and Beyond”, Journal of Applied Artificial Intelligence, 1:87–107, 1987.

    Google Scholar 

  56. B. P. Zeigler, “DEVS Representation of Dynamical Systems: Event Based Intelligent Control”, Proc. of the IEEE, Vol. 77, No. 1, pp. 72–80, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering, University of Notre Dame, 46556, Notre Dame, IN, USA

    Panos J. Antsaklis, James A. Stiver & Michael Lemmon

Authors
  1. Panos J. Antsaklis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. James A. Stiver
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Michael Lemmon
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Robert L. Grossman Anil Nerode Anders P. Ravn Hans Rischel

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Antsaklis, P.J., Stiver, J.A., Lemmon, M. (1993). Hybrid system modeling and autonomous control systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds) Hybrid Systems. HS HS 1992 1991. Lecture Notes in Computer Science, vol 736. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57318-6_37

Download citation

  • DOI: https://doi.org/10.1007/3-540-57318-6_37

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57318-0

  • Online ISBN: 978-3-540-48060-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation