Hybrid Systems V

  • Panos Antsaklis
  • Michael Lemmon
  • Wolf Kohn
  • Anil Nerode
  • Shankar Sastry
Conference proceedings HS 1997

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1567)

Table of contents

  1. Front Matter
    Pages I-X
  2. Haoxun Chen, Hans-Michael Hanisch
    Pages 1-15
  3. Alongkrit Chutinan, Bruce H. Krogh
    Pages 16-37
  4. Wolf Kohn, Anil Nerode, Jeffrey B. Remmel
    Pages 122-141
  5. S. Kowalewski, O. Stursberg, M. Fritz, H. Graf, I. Hoffmann, J. Preußig et al.
    Pages 163-185
  6. Gerardo Lafferriere, George J. Pappas, Shankar Sastry
    Pages 186-203
  7. Michael Lemmon, Christopher J. Bett
    Pages 204-217
  8. Pieter J. Mosterman, Feng Zhao, Gautam Biswas
    Pages 218-237
  9. Simin Nadjm-Tehrani
    Pages 238-250
  10. Jörg Raisch, Eberhard Klein, Christian Meder, Alexander Itigin, Siu O’Young
    Pages 279-303
  11. Mauno Rönkkö, Anders P. Ravn
    Pages 304-323
  12. Conrado W. Seibel, Jean-Marie Farines, José E. R. Cury
    Pages 324-340
  13. E. Skafidas, R. J. Evans, I. M. Y. Mareels, A. Nerode
    Pages 341-355

Other volumes

  1. International Workshop, HART'97 Grenoble, France, March 26–28, 1997 Proceedings
  2. Hybrid Systems V

About these proceedings

Keywords

Automat automata dynamical systems logic optimization simulation verification

Editors and affiliations

  • Panos Antsaklis
    • 1
  • Michael Lemmon
    • 1
  • Wolf Kohn
    • 2
  • Anil Nerode
    • 3
  • Shankar Sastry
    • 4
  1. 1.Department of Electrical EngineeringUniversity of Notre DameNotre DameUSA
  2. 2.Hynomics CorporationKirklandUSA
  3. 3.Department of MathematicsCornell UniversityIthacaUSA
  4. 4.Electronic Research LaboratoryUniversity of California at BerkeleyBerkeleyUSA

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-49163-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65643-2
  • Online ISBN 978-3-540-49163-7
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology