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

Other volumes

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

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0014706
  • Copyright Information Springer-Verlag 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
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences