Table of contents

  1. Front Matter
  2. John Lygeros, Datta N. Godbole, Shankar Sastry
    Pages 1-12
  3. Yonit Kesten, Zohar Manna, Amir Pnueli
    Pages 13-40
  4. Vineet Gupta, Radha Jagadeesan, Vijay Saraswat
    Pages 52-63
  5. Mrinal K. Ghosh, Steven I. Marcus, Aristotle Arapostathis
    Pages 64-75
  6. Xiaolin Ge, Wolf Kohn, Anil Nerode, Jeffrey B. Remmel
    Pages 76-100
  7. H. B. Weinberg, Nancy Lynch, Norman Delisle
    Pages 101-113
  8. Akash Deshpande, Datta Godbole, Aleks Göllü, Pravin Varaiya
    Pages 138-148
  9. John-Morten Godhavn, Trygve Lauvdal, Olav Egeland
    Pages 149-160
  10. John A. Haddon, Datta N. Godbole, Akash Deshpande, John Lygeros
    Pages 161-172
  11. Thomas I. Seidman
    Pages 201-207
  12. C. Daws, A. Olivero, S. Tripakis, S. Yovine
    Pages 208-219
  13. Rajeev Alur, Robert P. Kurshan
    Pages 220-231
  14. Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
    Pages 232-243
  15. V. D. Dimitriadis, N. Shah, C. C. Pantelides
    Pages 244-257

About these proceedings

Introduction

This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995.
A hybrid system consists of digital devices that interact with analog environments. Computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.

Keywords

Computer Digital Control Technology Digitale Steuerungstechnologie Formal Methods Formale Methoden Hybrid Systems Hybride Systeme System Systems Control automata formal specification formal verification modeling real-time verification

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0020931
  • Copyright Information Springer-Verlag 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61155-4
  • Online ISBN 978-3-540-68334-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Aerospace
Automotive