Skip to main content
SpringerLink
Log in

A formal description of hybrid 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

Inspired by [He94], a language to describe hybrid systems, i.e. networks of communicating discrete and continuous processes, is proposed. A semantics of the language is given in Extended Duration Calculus [ZRH93], a real-time interval logic with a proof system that allows reasoning in mathematical analysis about continuous processes to be embedded into the logic. The semantics thus provides a secure link to hybrid system models based on a general theory of dynamical systems.

This work has been partially supported by DeTfoRS project, a joint research of Chinese 863 Hi-tech Programme and UNU/IIST.

On leave of absence from UNU/IIST, Macau, and Institute of Software, Beijing.

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, LNCS 736, R. Grossman, A. Nerode, A.P. Ravn and H. Rischel eds., pp 366–392, Springer Verlag, 1993.

    Google Scholar 

  2. M.S. Branicky, V.S. Brokar and S.K. Mitter. A Unified Framework for Hybrid Control. In Proceedings of the 33rd Conference on the Decision and Control, pp 4228–4234, IEEE Press, 1994

    Google Scholar 

  3. A. Back, J. Guckenheimer and M. Myers. A Dynamical Similation Facility for Hybrid Systems, In Hybrid Systems, LNCS 736, R. Grossman, A. Nerode, A.P. Ravn and H. Rischel eds., pp 255–267, Springer Verlag, 1993.

    Google Scholar 

  4. A. Bensoussan and J.-L. Lions. Impulse Control and QuasiVariational Inequalities. Gauthier-Villars, Paris, 1984.

    Google Scholar 

  5. Jifeng He. From CSP to Hybrid Systems, In A Classical Mind, Essays in Honour of C.A.R. Hoare, A.W. Roscoe ed., pp 171–189, Prentice-Hall International, 1994.

    Google Scholar 

  6. C.A.R. Hoare. Communicating Sequential Processes, Prentice-Hall International, 1985.

    Google Scholar 

  7. M.R. Hansen, E.-R. Olderog, M. Schenke, M. Fränzle, M. Müller-Olm, B. von Karger and H. Rischel. A Duration Semantics for Real-Time Reactive Systems. Technical Report, No. OLD MRH 1/1, ProCoS ESPRIT BRA 7071, Oldenburg University, Germany, 1993.

    Google Scholar 

  8. N.F. Karstensen and S. Mørk. Duration Calculus Semantics for SDL, Master's Thesis, Department of Computer Science, Technical University of Denmark, 1995.

    Google Scholar 

  9. R. Milner. Communication and Concurrency, Prentice-Hall International, 1989.

    Google Scholar 

  10. Z. Manna and A. Pnueli. Verifying Hybrid Systems. In Hybrid Systems, LNCS 736, R. Grossman, A. Nerode, A.P. Ravn and H. Rischel eds., pp 4–35, Springer Verlag, 1993.

    Google Scholar 

  11. A. Nerode and W. Kohn. Models for Hybrid Systems: Automata, Topologies, Controllability Observability. In Hybrid Systems, LNCS 736, R. Grossman, A. Nerode, A.P. Ravn and H. Rischel eds., pp 317–356, Springer Verlag, 1993.

    Google Scholar 

  12. X. Nicollin, A. Olivero, J. Sifakis and S. Yovine. An Approach to the Description and Analysis of Hybrid Systems. In Hybrid Systems, LNCS 736, R. Grossman, A. Nerode, A.P. Ravn and H. Rischel eds., pp 149–178, Springer Verlag, 1993.

    Google Scholar 

  13. G.M. Reed and A.W. Roscoe. Metric Spaces as Models for Real-Time Concurrency. In Mathematical Foundations of Programming, LNCS 298, pp 331–343, Springer Verlag, 1987.

    Google Scholar 

  14. Wang Yi. CCS + Time = an Interleaving Model for Real Time Systems. In Proc. of ICALP'91, LNCS 510, Springer Verlag, 1991.

    Google Scholar 

  15. Zhou Chaochen, C.A.R. Hoare and A.P. Ravn. A Calculus for Durations. In Information Processing Letters, 40(5), pp 269–276, 1991.

    Article  Google Scholar 

  16. Zhou Chaochen, M.R. Hansen, A.P. Ravn and H. Rischel. Duration Specifications for Shared Processors. In Proc. of Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 571, pp 21–32, Springer Verlag, 1992.

    Google Scholar 

  17. Zhou Chaochen, A.P. Ravn and M.R. Hansen. An Extended Duration Calculus for Hybrid Systems. In Hybrid Systems, LNCS 736, R. Grossman, A. Nerode, A.P. Ravn and H. Rischel eds., pp 36–59, Springer Verlag, 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Technical University of Denmark, Denmark

    Zhou Chaochen

  2. Department of Computer Science, Changsha Institute of Technology, Changsha

    Wang Ji

  3. Department of Computer Science, Technical University of Denmark, Denmark

    Anders P. Ravn

Authors
  1. Zhou Chaochen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wang Ji
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Anders P. Ravn
    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

Chaochen, Z., Ji, W., Ravn, A.P. (1996). A formal description of hybrid 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/BFb0020972

Download citation

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

  • 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