Table of contents

  1. Front Matter
  2. Eugene Asarin, Oded Maler, Amir Pnueli
    Pages 1-20
  3. Peter E. Caines, Yuan-Jun Wei
    Pages 86-105
  4. Nicholas DeClaris, Mu-Chun Su
    Pages 106-127
  5. Akash Deshpande, Pravin Varaiya
    Pages 128-147
  6. Murat Doğruel, ümit özgüner
    Pages 148-165
  7. Datta N. Godbole, John Lygeros, Shankar Sastry
    Pages 166-190
  8. R. L. Grossman, M. Sweedler
    Pages 191-201
  9. John Guckenheimer, Stewart Johnson
    Pages 202-225
  10. Vineet Gupta, Radha Jagadeesan, Vijay Saraswat, Daniel G Bobrow
    Pages 226-251
  11. Thomas A. Henzinger, Pei-Hsin Ho
    Pages 252-264
  12. Thomas A. Henzinger, Pei-Hsin Ho
    Pages 265-293
  13. Michael Lemmon, Christopher Bett, Peter Szymanski, Panos Antsaklis
    Pages 322-343
  14. Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis
    Pages 344-358
  15. Anuj Puri, Pravin Varaiya
    Pages 359-369

About these proceedings

Introduction

This book documents the scientific outcome of the Third International Workshop on Hybrid Systems, held in Ithaca, NY, USA, in October 1994. It presents a selection of carefully reviewed and revised full papers chosen from the workshop contribution and is the successor to LNCS 736, the seminal "Hybrid Systems" volume edited by Grossman, Nerode, Ravn, and Rischel.
Hybrid systems are models for networks of digital and continuous devices, in which digital control programs sense and supervise continuous and discrete plants governed by differential or difference equations. The investigation of hybrid systems is creating a new and fascinating discipline bridging mathematics, computer science, and control engineering.

Keywords

Hybrid Systems Hybride Regelungssysteme Hybride Systeme Neuro-Fuzzy Systeme Stochastische Systeme automata data structure data structures modeling programming robot robot control semantics stochastic systems verification

Bibliographic information

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