Table of contents

  1. Front Matter
  2. Eugene Asarin
    Pages 1-12
  3. A. Balluchi, M. Di Benedetto, C. Pinello, C. Rossi, A. Sangiovanni-Vincentelli
    Pages 13-32
  4. Ali Beydoun, Le Yi Wang, Jing Sun, Shiva Sivashanka
    Pages 33-48
  5. Sébastien Bornot, Joseph Sifakis
    Pages 49-63
  6. Linda Bushnell, Octavian Beldiman, Gregory Walsh
    Pages 64-79
  7. Björn Carlson, Vineet Gupta
    Pages 80-95
  8. Thao Dang, Oded Maler
    Pages 96-109
  9. Mark R. Greenstreet, Ian Mitchell
    Pages 159-174
  10. Thomas A. Henzinger, Vlad Rusu
    Pages 190-204
  11. Gerardo Laflerriere, George J. Pappas, Shankar Sastry
    Pages 205-220
  12. Georg Lehrenfeld, Rolf Naumann, Rainer Rasche, Carsten Rust, Jürgen Tacken
    Pages 221-236
  13. Carolos Livadas, Nancy A. Lynch
    Pages 253-272
  14. John Lygeros, Nancy Lynch
    Pages 273-288
  15. John Lygeros, George J. Pappas, Shankar Sastry
    Pages 289-304
  16. Zohar Manna, Henny B. Sipma
    Pages 305-318
  17. Alexey S. Matveev, Andrey V. Savkin
    Pages 319-333
  18. Claire Tomlin, John Lygeros, Shankar Sastry
    Pages 360-373
  19. Li Xuandong, Zheng Tao, Hou Jianmin, Zhao Jianhua, Zheng Guoliang
    Pages 384-399
  20. Milos Zefran, Joel W. Burdick
    Pages 400-415
  21. Back Matter

Other volumes

  1. Hybrid Systems: Computation and Control
    First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings

About these proceedings


This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, California, USA, in April 1998.
The volume presents 27 revised full papers selected from a total of 55 submissions. The papers focus on mathematical methods for the rigorous and systematic design and analysis of hybrid systems. Hybrid systems consist of digital devices that interact with analog environments; they are particularly important in context with safety-critical systems and dependable computing. The present volume extends the line of hybrid systems research documented in volumes 736, 999, 1066, 1201, and 1273 of the LNCS series.


Automat Bisimulation Transit automata automation formal verification logic modeling optimization regular expressions robot system verification

Bibliographic information

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