Hybrid Systems: Computation and Control

8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings

  • Manfred Morari
  • Lothar Thiele
Conference proceedings HSCC 2005

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

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Markus P. J. Fromherz, Lara S. Crawford, Haitham A. Hindi
      Pages 1-24
    2. Edward A. Lee, Haiyang Zheng
      Pages 25-53
  3. Regular Papers

    1. Manindra Agrawal, P. S. Thiagarajan
      Pages 55-69
    2. Rajeev Alur, Salvatore La Torre, P. Madhusudan
      Pages 70-85
    3. Aaron D. Ames, Shankar Sastry
      Pages 86-102
    4. Mohamed Babaali, George J. Pappas
      Pages 103-117
    5. Andrea Balluchi, Pierpaolo Murrieri, Alberto L. Sangiovanni-Vincentelli
      Pages 118-133
    6. Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Michel Page, Dominique Schneider
      Pages 134-150
    7. Alberto Bemporad, Stefano Di Cairano
      Pages 151-167
    8. Francesco Borrelli, Tamás Keviczky, Gary J. Balas, Greg Stewart, Kingsley Fregene, Datta Godbole
      Pages 168-183
    9. Jean Buisson, Pierre-Yves Richard, Hervé Cormerais
      Pages 184-197
    10. Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu
      Pages 198-214
    11. Ansgar Fehnker, Edmund Clarke, Sumit Kumar Jha, Bruce Krogh
      Pages 242-257

About these proceedings

Keywords

Augmented Reality algorithms automata dependable systems dynamical systems embedded systems formal verification hybrid control systems hybrid systems modeling optimization programming language stochastic hybrid systems systems analysis verification

Editors and affiliations

  • Manfred Morari
    • 1
  • Lothar Thiele
    • 2
  1. 1.Automatic Control LaboratoryETH ZurichZurichSwitzerland
  2. 2.Computer Engineering and Networks LaboratoryETH ZurichSwitzerland

Bibliographic information

  • DOI https://doi.org/10.1007/b106766
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-25108-8
  • Online ISBN 978-3-540-31954-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book