Skip to main content
SpringerLink
Log in
Book cover

11th International Conference on Analysis and Optimization of Systems Discrete Event Systems pp 329–351Cite as

The algorithmic analysis of hybrid systems

  • Hybrid Systems
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Control and Information Sciences ((LNCIS,volume 199))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. Alur, C. Courcoubetis, and D. Dill. Model-checking for real-time systems. In Proc. 5th Symp. on Logics in Computer Science, pages 414–425. IEEE Computer Society Press, 1990.

    Google Scholar 

  2. A. Alur, C. Courcoubetis, D. Dill, N. Halbwachs, and H. Wong-Toi. Minimization of timed transition systems. In CONCUR 92: Theories of Concurrency. Lecture Notes in Computer Science 630, Springer-Verlag, 1992.

    Google Scholar 

  3. R. Alur, C. Courcoubetis, T. A. Henzinger, and Pei-Hsin Ho. Hybrid automata: an algorithmic approach to the specification and analysis of hybrid systems. In Workshop on Theory of Hybrid Systems, Lyngby, Denmark, June 1993. Lecture Notes in Computer Science 736, Springer-Verlag.

    Google Scholar 

  4. R. Alur and D. Dill. Automata for modeling real-time systems. In Proc. 17th ICALP, pages 322–335. Lecture Notes in Computer Science 443, Springer-Verlag, 1990.

    Google Scholar 

  5. A. Bouajjani, J.Cl. Fernandez, and N. Halbwachs. Minimal model generation. In E.M. Clarke and R.P. Kurshan, editors, Proc. 2nd Workshop on Computer-Aided Verification, Rutgers University, June 1990. Lecture Notes in Computer Science 531, Springer-Verlag.

    Google Scholar 

  6. Z. Chaochen, C. A. R. Hoare, and A. P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269–276, 1992.

    Article  Google Scholar 

  7. T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model-checking for real-time systems. In Proc. 7th Symp. on Logics in Computer Science. IEEE Computer Society Press, 1992.

    Google Scholar 

  8. M. Jaffe, N. Leveson, M. Heimdahl, and B. Melhart. Software requirements analysis for real-time process-control systems. IEEE Transactions on Software Engineering, 17(3):241–258, 1991.

    Article  Google Scholar 

  9. D. Lee and M. Yannakakis. Online minimization of transition systems. In ACM Symp. on Theory of Computing. ACM Press, 1992.

    Google Scholar 

  10. X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. An approach to the description and analysis of hybrid systems. In Workshop on Theory of Hybrid Systems, Lyngby, Denmark, June 1993. Lecture Notes in Computer Science 736, Springer-Verlag.

    Google Scholar 

  11. A. Olivero and S. Yovine. Kronos: a Tool for Verifying Real-time Systems. User's Guide and Reference Manual. VERIMAG, Grenoble, France, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. AT&T Bell Laboratories, Murray Hill, USA

    R. Alur

  2. University of Crete, Heraklion, Greece

    C. Courcoubetis

  3. Cornell University, Ithaca, USA

    T. Henzinger & P. Ho

  4. VERIMAG, Grenoble, France

    X. Nicollin, A. Olivero, J. Sifakis & S. Yovine

Authors
  1. R. Alur
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. C. Courcoubetis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. T. Henzinger
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. P. Ho
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. X. Nicollin
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. A. Olivero
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. J. Sifakis
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. S. Yovine
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Guy Cohen Jean-Pierre Quadrat

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag London Limited

About this paper

Cite this paper

Alur, R. et al. (1994). The algorithmic analysis of hybrid systems. In: Cohen, G., Quadrat, JP. (eds) 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. Lecture Notes in Control and Information Sciences, vol 199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0033565

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19896-3

  • Online ISBN: 978-3-540-39345-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation