Skip to main content
SpringerLink
Log in

On the composition of hybrid systems

  • Conference paper
  • First Online:
Hybrid Systems: Computation and Control (HSCC 1998)

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

Included in the following conference series:

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. [ACH+95] R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138:3–34, 1995.

    Google Scholar 

  2. J. A. Bergstra and J. W. Klop. Algebra of communicating processes with abstraction. Theoretical Computer Science, 37(1):77–121, May 1985. Fundamental studies.

    Article  Google Scholar 

  3. S. Bornot and J. Sifakis. On the composition of hybrid systems (complete version). 1997.

    Google Scholar 

  4. S. Bornot and J. Sifakis. Relating time progress and deadlines in hybrid systems. In International Workshop, HART'97, pages 286–300, Grenoble, France, March 1997. Lecture Notes in Computer Science 1201, Spinger-Verlag.

    Google Scholar 

  5. S. Bornot, J. Sifakis, and S. Tripakis. Modeling Urgency in Timed Systems. To appear in COMPOS'97, LNCS, September 1997.

    Google Scholar 

  6. M. Jourdan, N. Layaida, L. Sabry-Ismail, and C. Roisin. An integrated authoring and presentation environment for interactive multimedia documents. In 4th Conference on Multimedia Modeling, Singapore, November 1997. World Scientific Publishing.

    Google Scholar 

  7. M. Jourdan and F. Maraninchi. Studying synchronous communication mechanism by abstractions. In IFIP Working Conference on Programming Concepts, Methods and Calculi, San Miniato, Italy, June 1994. Elsevier Science Publishers.

    Google Scholar 

  8. Y. Kesten, Z. Manna, and A. Pnueli. Verifying clocked transition systems. In School on Embedded Systems, Veldhoven, The Nederlands, November 1996.

    Google Scholar 

  9. G. Leduc L. Léonard. An extended lotos for the design of real-time systems. In workshop DARTS'95, Bruxelles, Belgium, November 1995.

    Google Scholar 

  10. P. Sènac, M. Diaz, A. Léger, and P. de Saqui-Sannes. Modeling logical and temporal synchronization in hypermedia systems. In Journal on Selected Areas in Communications, volume 14. IEEE, jan. 1996.

    Google Scholar 

  11. J. Sifakis and S. Yovine. Compositional specification of timed systems. In 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96, pages 347–359, Grenoble, France, February 1996. Lecture Notes in Computer Science 1046, Spinger-Verlag.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. VERIMAG, 2 rue Vignate, 38610, Gières, France

    Sébastien Bornot & Joseph Sifakis

Authors
  1. Sébastien Bornot
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Joseph Sifakis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Thomas A. Henzinger Shankar Sastry

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bornot, S., Sifakis, J. (1998). On the composition of hybrid systems. In: Henzinger, T.A., Sastry, S. (eds) Hybrid Systems: Computation and Control. HSCC 1998. Lecture Notes in Computer Science, vol 1386. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-64358-3_31

Download citation

  • DOI: https://doi.org/10.1007/3-540-64358-3_31

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64358-6

  • Online ISBN: 978-3-540-69754-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation