Advertisement

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
  16. Back Matter

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0031551
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63358-7
  • Online ISBN 978-3-540-69523-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Aerospace