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
  16. Anders P. Ravn, Hans Rischel, Michael Holdgaard, Thomas J. Eriksen, Finn Conrad, Torben O. Andersen
    Pages 391-404
  17. Hessam S. Sarjoughian, Bernard P. Zeigler
    Pages 417-435
  18. R. K. Shyamasundar, S. Ramesh
    Pages 436-461
  19. James A. Stiver, Panos J. Antsaklis, Michael D. Lemmon
    Pages 462-492
  20. Michael Tittus, Bo Egardt
    Pages 493-508
  21. Y. Y. Yang, D. A. Linkens, S. P. Banks
    Pages 509-528
  22. Bernard P. Zeigler, Hae Sang Song, Tag Gon Kim, Herbert Praehofer
    Pages 529-551
  23. Ying Zhang, Alan K. Mackworth
    Pages 552-567
  24. Back Matter

About these proceedings


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.


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
  • Copyright Information Springer-Verlag Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors