Hybrid Systems: Computation and Control

Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23–25, 2000 Proceedings

  • Nancy Lynch
  • Bruce H. Krogh
Conference proceedings HSCC 2000

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Invited Presentations

  3. Selected Presentations

    1. Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, Insup Lee
      Pages 6-19
    2. Eugene Asarin, Olivier Bournez, Thao Dang, Oded Maler
      Pages 20-31
    3. Andrea Balluchi, Luca Benvenuti, Maria D. Di Benedetto, Guido M. Miconi, Ugo Pozzi, Tiziano Villa et al.
      Pages 32-44
    4. Alberto Bemporad, Fabio Danilo Torrisi, Manfred Morari
      Pages 45-58
    5. Luca Berardi, Elena De Santis, Maria Domenica Di Benedetto
      Pages 59-72
    6. Mireille Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto Sangiovanni-Vincentelli
      Pages 89-102
    7. Magnus Egerstedt
      Pages 103-116
    8. Kagan Gokbayrak, Christos G. Cassandras
      Pages 117-129
    9. Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi
      Pages 130-144
    10. Thomas A. Henzinger, Jean-François Raskin
      Pages 145-159
    11. Jianghai Hu, John Lygeros, Shankar Sastry
      Pages 160-173
    12. Xenofon D. Koutsoukos, Panos J. Antsaklis
      Pages 188-201
    13. Alexander B. Kurzhanski, Pravin Varaiya
      Pages 202-214

About these proceedings

Keywords

Hybrid systems automata complexity control theory dynamical systems embedded systems formal specification modeling numerical methods real-time systems robot robotics systems design systems verification verification

Editors and affiliations

  • Nancy Lynch
    • 1
  • Bruce H. Krogh
    • 2
  1. 1.Laboratory for Computer ScienceMassachusetts Institute of TechnologyCambridgeUSA
  2. 2.Department of Electrical and Computer EngineeringCarnegie Mellon UniversityPittsburghUSA

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-46430-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67259-3
  • Online ISBN 978-3-540-46430-3
  • Series Print ISSN 0302-9743
  • About this book