Table of contents

  1. Front Matter
  2. Alan B. Arehart, William A. Wolovich
    Pages 1-17
  3. Michael S. Branicky, Ekaterina Dolginova, Nancy Lynch
    Pages 18-30
  4. Michael S. Branicky, Sven Erik Mattsson
    Pages 31-56
  5. Akash Deshpande, Aleks Göllü, Pravin Varaiya
    Pages 113-133
  6. Michael Heymann, Feng Lin, George Meyer
    Pages 134-159
  7. Julia. F. Knight, Brian Luense
    Pages 160-173
  8. Wolf Kohn, Anil Nerode, B. Jeffrey Remmel
    Pages 174-214
  9. Mikhail Kourjanski, Pravin Varaiya
    Pages 228-234
  10. Michael Lemmon, Christopher J. Bett
    Pages 235-247
  11. Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis
    Pages 248-293
  12. Ümit Özgüner, Cem Hatipoğlu, Altuğ İftar, Keith Redmill
    Pages 294-328
  13. George J. Pappas, Shankar Sastry
    Pages 329-341
  14. Olaf Stursberg, Stefan Kowalewski, Ingo Hoffmann, Jörg Preußig
    Pages 361-377
  15. C. Tomlin, G. Pappas, J. Lygeros, D. Godbole, S. Sastry
    Pages 378-404

About these proceedings


This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control.


Computer Computer Simulation Control Programs Hybrid Systems Management Nero Real-Time Systems Rule-Based Systems System algorithms programming programming language

Bibliographic information