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

Other volumes

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

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-64358-3
  • Copyright Information Springer-Verlag 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
  • About this book