Skip to main content
SpringerLink
Log in

Interface and controller design for hybrid control systems

  • Conference paper
  • First Online:
Hybrid Systems II (HS 1994)

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

Included in the following conference series:

Abstract

The hybrid control systems considered here consist of a continuous-time plant under the control of a discrete event system. Communication between the plant and controller is provided by an interface which can convert signals from the continuous domain of the plant to the discrete, symbolic domain of the controller, and vise-versa. When designing a controller for a hybrid system, the designer may or may not be free to design the interface as well. This paper examines these two cases. First, a methodology is presented for designing a controller when the interface and plant are given. This approach is based on the methodology for controller design in logical discrete event systems. Second, a method is presented to design both the interface and controller. This approach is based on the natural invariants of the system.

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. P. J. Antsaklis, J. A. Stiver, and M. D. Lemmon. “Hybrid system modeling and autonomous control systems”, In Hybrid Systems, edited by R. L. Grossman, A. Nerode, A. P. Ravn and H. Rischel, vol. 736 of Lecture Notes in Computer Science, pp. 366–392. Springer-Verlag, 1993.

    Google Scholar 

  2. J. A. Stiver, “Modeling of hybrid control systems using discrete event system models”. Master's thesis, Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN, May 1991.

    Google Scholar 

  3. J. A. Stiver and P. J. Antsaklis, “A novel discrete event system approach to modeling and analysis of hybrid control systems”. In Proceedings of the Twenty-Ninth Annual Allerton Conference on Communication, Control, and Computing, University of Illinois at Urbana-Champaign. Oct. 1991.

    Google Scholar 

  4. J. A. Stiver and P. J. Antsaklis, “Modeling and analysis of hybrid control systems”, In Proceedings of the 31st Conference on Decision and Control. pp. 3748–3751, Tucson, AZ, Dec. 1992.

    Google Scholar 

  5. J. A. Stiver and P. J. Antsaklis, “State space partitioning for hybrid control systems”. In Proceedings of the American Control Conference. pp. 2303–2304. San Francisco. California, June 1993.

    Google Scholar 

  6. J. A. Stiver and P. J. Antsaklis, “On the controllability of hybrid control systems”. In Proceedings of the 32nd Conference on Decision and Control. pp. 3748–3751. San Antonio, TX. Dec. 1993.

    Google Scholar 

  7. J. A. Stiver, P. J. Antsaklis, and M. D. Lemmon. “Digital control from a hybrid perspective”. In Proceedings of the 33rd Conference on Decision and Control, pp. 4241–4246. Lake Buena Vista, FL, Dec. 1994.

    Google Scholar 

  8. P. J. Antsaklis, M. D. Lemmon, and J. A. Stiver. “Learning to be autonomous: Intelligent supervisory control”. Technical Report of the ISIS Group ISIS-93-003. University of Notre Dame. Notre Dame. IN. April 1993. To appear as a chapter in the IEEE Press book Intelligent Control: Theory and Applications.

    Google Scholar 

  9. J. A. Stiver, P. J. Antsaklis, and M. D. Lemmon. “A logical des approach to the design of hybrid systems”, Technical Report of the ISIS Group (Interdisciplinary Studies of Intelligent Systems) ISIS-94-011. University of Notre Dame. October 1994.

    Google Scholar 

  10. J. A. Stiver, P. J. Antsaklis, and M. D. Lemmon. “Interface Design for Hybrid Control Systems”, Technical Report, of the ISIS Group (Interdisciplinary Studies of Intelligent Systems) ISIS-95-001, University of Notre Dame, January 1995.

    Google Scholar 

  11. A. Nerode and W. Kohn. “Models for Hybrid Systems: Automata. Topologies, Controllability, Observability”, In Hybrid Systems, edited by R. L. Grossman, A. Nerode, A. P. Ravn and H. Rischel, pp. 317–356. Springer-Verlag, 1993.

    Google Scholar 

  12. W. Kohn, A. Nerode, J. Remmel, and X. Ge, “Multiple agent hybrid control: Carrier manifolds and chattering approximations to optimal control”, In Proceedings of the 33rd IEEE Conference on Decision and Control, pp. 4221–4227, Lake Buena Vista, FL, Dec. 1994.

    Google Scholar 

  13. W. Kohn, J. James, A. Nerode, and N. DeClaris. “A hybrid systems approach to integration of medical models”, In Proceedings of the 33rd IEEE Conference on Decision and Control. pp. 4247–4252. Lake Buena Vista, FL, Dec. 1994.

    Google Scholar 

  14. R. Brockett, “Language driven hybrid systems”. In Proceedings of the 33rd IEEE Conference on Decision and Control, pp. 4210–4214, Lake Buena Vista, FL, Dec. 1994.

    Google Scholar 

  15. P. J. Ramadge. “On the periodicity of symbolic observations of piecewise smooth discrete-time systems”, IEEE Transactions on Automatic Control, vol. 35, no. 7, pp. 807–812, July 1990.

    Google Scholar 

  16. C. Chase and P. J. Ramadge, “Dynamics of a switched n buffer system”, In Proceedings of the Twenty-Eighth Annual Allerton Conference on Communication, Control, and Computing, pp. 455–464. University of Illinois at Urbana-Champaign, Oct. 1991.

    Google Scholar 

  17. S. Di Gennaro, C. Horn, S. Kulkarni, and P. Ramadge. “Reduction of timed hybrid systems”. In Proceedings of the 33rd IEEE Conference on Decision and Control, pp. 4215–4220, Lake Buena Vista, FL. Dec. 1994.

    Google Scholar 

  18. A. Gollu and P. Varaiya. “Hybrid dynamical systems”. In Proceedings of the 28th Conference on Decision and Control pp. 2708–2712. Tampa, FL. Dec. 1989.

    Google Scholar 

  19. A. Deshpande and P. Varaiya. “Viable control of hybrid systems”. In the Ph.D. Dissertation of the first author, June 1994. ftp: eclair.eecs.berkeley.edu.

    Google Scholar 

  20. M. Tittus and B. Egardt, “Control-law synthesis for linear hybrid systems”. In Proceedings of the 33rd IEEE Conference on Decision and Control, pp. 961–966. Lake Buena Vista, FL. Dec. 1994.

    Google Scholar 

  21. B. Lennartson, B. Egardt, and M. Tittus. “Hybrid systems in process control”. In Proceedings of the 33rd IEEE Conference on Decision and Control, pp. 3587–3595. Lake Buena Vista, FL, Dec. 1994.

    Google Scholar 

  22. R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors. Hybrid Systems. vol. 736 of Lecture Notes in Computer Science, Springer-Verlag, 1993.

    Google Scholar 

  23. P. J. Ramadge and W. M. Wonham, “Supervisory control of a class of discrete event processes”. Systems Control Group Report 8515, University of Toronto, Toronto, Canada, Nov. 1985.

    Google Scholar 

  24. P. Ramadge and 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 

  25. P. Ramadge and W. M. Wonham. “The control of discrete event systems”. Proceedings of the IEEE. vol. 77. no. 1, pp. 81–89. Jan. 1989.

    Google Scholar 

  26. W. M. Wonham and P. J. Ramadge, “On the supremal controllable sublanguage of a given language”. Systems Control Group Report 8312, University of Toronto, Toronto, Canada, Nov. 1983.

    Google Scholar 

  27. W. M. Wonham and 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 

  28. X. Yang, P. J. Antsaklis, and M. D. Lemmon. “On the supremal controllable sublanguage in the discrete event model of nondeterministic hybrid control systems”, Technical Report of the ISIS Group ISIS-94-004, University of Notre Dame, Notre Dame, IN, March 1994.

    Google Scholar 

  29. H. Nijmeijer and A. J. van der Schaft. Nonlinear Dynamical Control Systems. Springer-Verlag, New York, 1990.

    Google Scholar 

  30. R. Miller and A. Michel. Ordinary Differential Equations. Academic Press, New York, NY, 1982.

    Google Scholar 

  31. A. Isidori. Nonlinear Control Systems, Springer-Verlag, Berlin, 2 edition, 1989.

    Google Scholar 

  32. P. J. Antsaklis. “On Intelligent Control: Report of the IEEE CSS Task Force on Intelligent Control”. Technical Report of the ISIS Group (Interdisciplinary Studies of Intelligent Systems) ISIS-94-001, University of Notre Dame, January 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

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

Authors
  1. James A. Stiver
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Panos J. Antsaklis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Michael D. Lemmon
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Panos Antsaklis Wolf Kohn Anil Nerode Shankar Sastry

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Stiver, J.A., Antsaklis, P.J., Lemmon, M.D. (1995). Interface and controller design for hybrid control systems. In: Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds) Hybrid Systems II. HS 1994. Lecture Notes in Computer Science, vol 999. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60472-3_24

Download citation

  • DOI: https://doi.org/10.1007/3-540-60472-3_24

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60472-3

  • Online ISBN: 978-3-540-47519-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation