Table of contents

  1. Front Matter
  2. Zvi Artstein
    Pages 2-2
  3. Jürgen Ruf, Thomas Kropf
    Pages 18-32
  4. Jean-François Raskin, Pierre-Yves Schobbens
    Pages 33-47
  5. Thomas A. Henzinger, Orna Kupferman
    Pages 48-62
  6. Luming Lai, Phil Watson
    Pages 69-74
  7. Frédéric Boniol, Augusto Burgueño, Olivier Roux, Vlad Rusu
    Pages 75-80
  8. R. Huuck, Y. Lakhnech, L. Urbina, S. Engell, S. Kowalewski, J. Preußig
    Pages 81-86
  9. M. S. Hajji, J. M. Bass, A. R. Browne, P. J. Fleming
    Pages 87-92
  10. John Lygeros, Claire Tomlin, Shankar Sastry
    Pages 109-123
  11. Antonio Cerone, Alex J. Cowie, George J. Milne, Philip A. Moseley
    Pages 124-138
  12. Thomas Stauner, Olaf Müller, Max Fuchs
    Pages 139-153
  13. Ekaterina Dolginova, Nancy Lynch
    Pages 154-170
  14. Myla Archer, Constance Heitmeyer
    Pages 171-185
  15. Peter Terwiesch, Erich Scheiben, Anders Jenry Petersen, Thomas Keller
    Pages 199-212
  16. Jean-Marie Flaus, Guy Ollagnon
    Pages 213-227
  17. Stefan Pettersson, Bengt Lennartson
    Pages 240-254
  18. Adam L. Turk, Scott T. Probst, Gary J. Powers
    Pages 259-272
  19. Olaf Müller, Peter Scholz
    Pages 273-285
  20. Sébastien Bornot, Joseph Sifakis
    Pages 286-300
  21. Carsten Weise, Dirk Lenzkes
    Pages 316-330
  22. Vineet Gupta, Thomas A. Henzinger, Radha Jagadeesan
    Pages 331-345
  23. Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse
    Pages 346-360
  24. Deepak Kapur, R. K. Shyamasundar
    Pages 361-375
  25. Wolf Kohn, Jeffrey B. Remmel
    Pages 391-396
  26. A. J. van der Schaft, J. M. Schumacher
    Pages 403-408
  27. Back Matter

Other volumes

  1. Hybrid and Real-Time Systems
    International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings

About these proceedings


This book constitutes the refereed proceedings of the International Workshop on Hybrid and Real-Time Systems, HART'97, held in Grenoble, France, in March 1997.
The volume presents 18 revised full papers and 9 short presentations carefully selected during a highly competitive evaluation process; also included are full versions or abstracts of 7 invited papers or tutorials.
Hybrid Systems consist of digital devices interacting with analog environments; thus the emerging area lies at the crossroads of computer science and control theory. This book focusses on mathematically sound methods for the rigorous and systematic design and analysis of hybrid systems and real-time systems.


Steuersysteme computer computer science control systems embedded systems hybrid systems real-time systems systems verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-62600-8
  • Online ISBN 978-3-540-68330-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site