Skip to main content
SpringerLink
Log in

Formal specification of stability in hybrid control systems

  • Conference paper
  • First Online:
Hybrid Systems III (HS 1995)

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

Included in the following conference series:

Abstract

The stability of a control system is of primary interest and always appears as a critical property in the performance specification. In this paper, we formalize the criteria of stability in hybrid systems and present a formal approach to design of a hybrid dynamic system while the sufficient condition for stability is enforced. The formalism adopted is the Extended Duration Calculus with infinite intervals EDC i.

This paper is supported in part by 863 Hi-Tech programme of China.

On leave from Department of Computer Science, Changsh a Institute of Technology, 410073, P.R. China.

On leave from Department of Automatic Control, Beijing University of Aero. & Astro., 100083, P.R. China.

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. R. Alur, C. Courcoubetis and T.A. Henzinger: Hybrid Automata: An Algorithm Approach to the Specification and Verification of Hybrid Systems. In Hybrid Systems, LNCS 736. Edited by R.L.Grossman, A. Nerode, A.P.Ravn and H. Rischel, pp. 209–229, Springer Verlag, 1993.

    Google Scholar 

  2. R. Alur,C. Courcoubetis, T.A. Henzinger and etc.: The Algorithmic Analysis of Hybrid Systems, In Theoretical Computer Science, Vol.138, pp 3–34, 1995.

    Article  Google Scholar 

  3. Karl Johan Åström and Björn Wittenmark: Adaptive Contol, Addison-Wesley Publishing Company, 1989.

    Google Scholar 

  4. M.S. Branicky: Stability of Switched and Hybrid Systems. In Proc. 33rd IEEE Conf. Decision Control, Lake Buena Vista, FL, Dec. 14–16, 1994.

    Google Scholar 

  5. A. Back, J. Guckenheimer and M. Myers: A Dynamical Simulation Facility for Hybrid Systems. In Hybrid Systems, LNCS 736. Edited by R.L.Grossman, A. Nerode, A.P.Ravn and H. Rischel, pp. 255–267, Springer Verlag, 1993.

    Google Scholar 

  6. Richard C. Dorf: Modern Control Systems, Fifth Edition, Addison-Wesley Publishing Company, 1989.

    Google Scholar 

  7. He Jifeng and J. Bowen: Time Interval Semantics and Implementation of A Real-Time Programming Language. In Proc. 4th Euromicro Workshop on Real Time Systems, IEEE Press, June 1992.

    Google Scholar 

  8. He Weidong: Design of Stability in Hybrid Control Systems. UNU/IIST Report No. 45, March 1995. To appear in IFAC 95 Workshop on Artificial Intelligence Real Time Control, 1995

    Google Scholar 

  9. B.C. Kuo: Automatic Control Systems (sixth edition), Prentice-Hall International Inc., 1991.

    Google Scholar 

  10. W. Kohn, A.Nerode, J.B. Remmel and A. Yaknis: Viability in Hybrid Systems. In Theoretical Computer Science special issue on hybrid systems, edited by: A. Pnueli and J. Sifakis. Vol. 138, pp. 141–168. Feb. 1995.

    Google Scholar 

  11. Z. Manna and A. Pnueli: Verifying Hybrid Systems. In Hybrid Systems, LNCS 736. Edited by R.L.Grossman, A. Nerode, A.P.Ravn and H. Rischel, pp. 4–35, Springer Verlag, 1993.

    Google Scholar 

  12. J.U. Skakkebæk: Liveness and Fairness in Duration Calculus. In CONCUR'94: Concurrency Theory, LNCS 836, B. Jonsson and J. Parrow(Editors), pp. 283–298, 1994.

    Google Scholar 

  13. B.H. Widjaja, Chen Zongji, He Weidong and Zhou Chaochen: A Cooperative Design for Hybrid Control System. UNU/IIST Report No.36, 1995.

    Google Scholar 

  14. Yu Xinyao, Wang Ji, Zhou Chaochen and P.K. Pandya: Formal Design of Hybrid Systems. In Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 863, H. Langmaack, W.-P. de Roever and J. Vytopil (Editors), pp. 738–755, Sept. 1994.

    Google Scholar 

  15. Zhou Chaochen: Duration Calculi: An Overview. In the Proceedings of Formal Methods in Programming and Their Applications, LNCS 735, D. Bjørner, M. Broy and I.V. Pottosin (Editors), pp. 256–266, July 1993.

    Google Scholar 

  16. Zhou Chaochen, Dang Van Hung and Li Xiaoshan: Duration Calculus with Infinite Intervals, UNU/IIST Report No. 40, 1994.

    Google Scholar 

  17. Zhou Chaochen, C.A.R. Hoare and A.P. Ravn: A Calculus of Durations. In Information Processing Letters, Vol. 40, No. 5, pp. 269–276, 1991.

    Article  Google Scholar 

  18. Zhou Chaochen and Li Xiaoshan: A Mean Value Calculus of Durations. In A Classical Mind (Essays in Honour of C.A.R. Hoare), A.W.Roscoe (Editor), Prentice-Hall, pp. 431–451,1994.

    Google Scholar 

  19. Zhou Chaochen, A.P. Ravn and M.R. Hansen: An Extended Duration Calculus for Hybrid Real-Time Systems. In Hybrid Systems, LNCS 736, R.L. Grossman, A. Nerode, A.P. Ravn and H. Rischel (Editors), pp. 36–59, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. International Institute for Software Technology, The United Nations University, P.O.Box 3058, Macau

    Wang Ji & He Weidong

Authors
  1. Wang Ji
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. He Weidong
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Rajeev Alur Thomas A. Henzinger Eduardo D. Sontag

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ji, W., Weidong, H. (1996). Formal specification of stability in hybrid control systems. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds) Hybrid Systems III. HS 1995. Lecture Notes in Computer Science, vol 1066. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0020954

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61155-4

  • Online ISBN: 978-3-540-68334-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation