Skip to main content
SpringerLink
Log in

Comparing timed c/e systems with timed automata (abstract)

  • Short Presentations
  • Conference paper
  • First Online:
Hybrid and Real-Time Systems (HART 1997)

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

Included in the following conference series:

Abstract

We investigate the relationship between timed c/e systems and timed automata. We provide an effective function that associates to each timed c/e system an “equivalent” timed automaton. Equivalence has to be understood as describing the same set of trajectories. A benefit from providing such a function is that analysis tools developed for timed automata can now be applied to analyze timed c/e systems. We also provide an effective function that translates each timed automaton into an equivalent timed c/e system.

This work has been supported by the German Research Council (DFG) in the special program KONDISK (analysis and synthesis of technical systems with continuous-discrete dynamics) under the grants Ro 1122/2 and En 152/19.

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 D.L. Dill. Model Checking for Real-Time Systems. In LICS'90, pages 414–425. 1990.

    Google Scholar 

  2. R. Alur and D. Dill. A Theory of Timed Automata. TCS, 126:183–235, 1994.

    Google Scholar 

  3. A. Bouajjani and Y. Lakhnech. Temporal Logic + Timed Automata: Expressiveness and Decidability. In LNCS 962, pages 531–546. Springer-Verlag, 1995.

    Google Scholar 

  4. S. Engell. S. Kowalewski, B. Krogh, and J. Preußig. Condition/Event Systems: A Powerful Paradigm for Timed and Untimed Discrete Models of Technical Systems. In EUROSIM'95, 1995.

    Google Scholar 

  5. T.A. Henzinger. X. Nicollin. J. Sifakis, and S. Yovine. Symbolic Model Checking for Real-Time Systems. Information and Computation, 111(2):193–244, 1994.

    Google Scholar 

  6. R.S. Sreenivas and B.H. Krogh. On Condition/Event Systems with Discrete State Realizations. In Discrete Event Dynamic Systems 1, pages 209–236. Boston, 1991.

    Google Scholar 

  7. T. Wilke. Automaten und Logiken zur Beschreibung zeitabhängiger Systeme. PhD thesis. Institut für Informatik und Praktische Informatik. Universität Kiel, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik und Praktische Mathematik der Christian-Albrechts, Universität zu Kiel, Preußerstr. 1-9, D-24105, Kiel, Germany

    R. Huuck, Y. Lakhnech & L. Urbina

  2. Lehrstuhl für Anlagensteuerungstechnik, Fachbereich Chemietechnik, Universität Dortmund, D-44221, Dortmund, Germany

    S. Engell, S. Kowalewski & J. Preußig

Authors
  1. R. Huuck
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Y. Lakhnech
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. L. Urbina
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. S. Engell
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. S. Kowalewski
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. J. Preußig
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Oded Maler

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Huuck, R., Lakhnech, Y., Urbina, L., Engell, S., Kowalewski, S., Preußig, J. (1997). Comparing timed c/e systems with timed automata (abstract). In: Maler, O. (eds) Hybrid and Real-Time Systems. HART 1997. Lecture Notes in Computer Science, vol 1201. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014716

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-62600-8

  • Online ISBN: 978-3-540-68330-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation