Advertisement

A formal description of hybrid systems

  • Zhou Chaochen
  • Wang Ji
  • Anders P. Ravn
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1066)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ASL93]
    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. [BBM94]
    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, 1994Google Scholar
  3. [BGM93]
    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. [BL84]
    A. Bensoussan and J.-L. Lions. Impulse Control and QuasiVariational Inequalities. Gauthier-Villars, Paris, 1984.Google Scholar
  5. [He94]
    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. [Hoare85]
    C.A.R. Hoare. Communicating Sequential Processes, Prentice-Hall International, 1985.Google Scholar
  7. [HOS+93]
    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. [KM95]
    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. [Milner89]
    R. Milner. Communication and Concurrency, Prentice-Hall International, 1989.Google Scholar
  10. [MP93]
    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. [NK93]
    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. [NOSY93]
    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. [RR87]
    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. [Wang91]
    Wang Yi. CCS + Time = an Interleaving Model for Real Time Systems. In Proc. of ICALP'91, LNCS 510, Springer Verlag, 1991.Google Scholar
  15. [ZHR91]
    Zhou Chaochen, C.A.R. Hoare and A.P. Ravn. A Calculus for Durations. In Information Processing Letters, 40(5), pp 269–276, 1991.CrossRefGoogle Scholar
  16. [ZMAH92]
    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. [ZRH93]
    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

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Zhou Chaochen
    • 1
  • Wang Ji
    • 2
  • Anders P. Ravn
    • 3
  1. 1.Department of Computer ScienceTechnical University of DenmarkDenmark
  2. 2.Department of Computer ScienceChangsha Institute of TechnologyChangsha
  3. 3.Department of Computer ScienceTechnical University of DenmarkDenmark

Personalised recommendations