Skip to main content

Safe implementations of supervisory commands

  • Conference paper
  • First Online:
Hybrid Systems IV (HS 1996)

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

Included in the following conference series:

  • 102 Accesses

Abstract

This paper compares two different types of control strategies used to safely implement supervisory commands of hybrid dynamical systems. Both approaches considered in this paper switch between members of a family of control agents to ensure that constraints on the plant state are not violated at any time. The first approach is motivated by a hybrid system architecture outlined in [7] and uses a Fliess functional series of the plant's output to form a system of linear inequalities characterizing safe control inputs. Control signals are determined by solving a sequence of linear programs. The second approach is a model reference control approach to bybrid systems introduced in [8] and uses a known safe dynamical reference model to characterize the desired plant behavior. The controller is determined by representing the resulting error dynamics as a linear parameter varying system and applying linear robust control techniques to enforce a bounded amplitude performance level. The fundamental results underlying each of the methods are derived; both approaches are compared with regard to their complexity, performance, and sensitivity to modeling uncertainty. A numerical example is included for illustration.

The authors gratefully acknowledge the partial financial support of the Army Research Office (DAAH04-95-1-0600, DAAH04-96-1-0134).

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. C.J. Bett and M.D. Lemmon. Bounded amplitude control using multiple linear agents. Technical Report ISIS-97-004, Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN, 1997.

    Google Scholar 

  2. C.J. Bett and M.D. Lemmon. Finite horizon bounded amplitude control of linear parameter varying systems. Technical Report ISIS-97-002, Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN, 1997. Submitted for publication in Automatica. Short version to appear 1997 Automatic Control Conference.

    Google Scholar 

  3. Stephen Boyd, Laurent El Gaoui, Eric Feron, and Venkataramanan Balakrishnan. Linear Matrix Inequalities in System and Control Theory. Society for Industrial and Applied Mathematics, 1994.

    Google Scholar 

  4. M.A. Dahleh and J.B. Pearson. L'-optimal compensators for continuous-time systems. IEEE Transactions on Automatic Control, 32(10):889–895, October 1987.

    Google Scholar 

  5. Akash Deshpande and Pravin Varaiya Viable control of hybrid systems. In Panos Antsaldis, Wolf Kohn, Anil Nerode, and Shankar Sastry, editors, Hybrid Systems II, pages 128–147. Springer-Verlag, 1995. Lecture Notes in Computer Science, Volume 999.

    Google Scholar 

  6. A. Isidori. Nonlinear Control Systems. Springer-Verlag, 2nd edition, 1989.

    Google Scholar 

  7. W. Kohn and A. Nerode. Multiple agent autonomous hybrid control systems. In Grossman, Nerode, Ravn, and Rischel, editors, Hybrid Systems, pages 297–316. Springer-Verlag, 1993. Lecture Notes in Computer Science, Volume 736.

    Google Scholar 

  8. M. Lemmon and C. Bett. Robust hybrid control system design. In Proceedings of the 1996 IFAC World Congress, volume J, pages 395–400, San Francisco, CA, June 1996.

    Google Scholar 

  9. K. Nagpal, J. Abedor, and K. Poolla. An LMI approach to peak-to-peak gain minimization: filtering and control. In Proceedings of the American Control Conference, pages 742–746, Baltimore, Maryland, June 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Panos Antsaklis Wolf Kohn Anil Nerode Shankar Sastry

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lemmon, M., Bett, C.J. (1997). Safe implementations of supervisory commands. In: Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds) Hybrid Systems IV. HS 1996. Lecture Notes in Computer Science, vol 1273. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0031564

Download citation

  • DOI: https://doi.org/10.1007/BFb0031564

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63358-7

  • Online ISBN: 978-3-540-69523-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics