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
    14. Gerardo Lafferriere, Chris Miller
      Pages 215-228
    15. Sheila McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta
      Pages 282-295
    16. Ian Mitchell, Claire J. Tomlin
      Pages 310-323
    17. Andreas Nonnengart
      Pages 352-365
    18. Vladimir Pavlović, James M. Rehg, Tat-Jen Cham
      Pages 366-380
    19. Stefan Pettersson, Bengt Lennartson
      Pages 381-395
    20. Omid Shakernia, George J. Pappas, Shankar Sastry
      Pages 407-420
    21. Slobodan N. Simić, Karl Henrik Johansson, Shankar Sastry, John Lygeros
      Pages 421-436
    22. Renée Vidal, Shawn Schaffert, John Lygeros, Shankar Sastry
      Pages 437-451
    23. Jun Zhang, Karl Henrik Johansson, John Lygeros, Shankar Sastry
      Pages 451-464
  4. Back Matter
    Pages 465-465

About these proceedings


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
  • 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
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods