Advertisement

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
    12. Sonja Glavaski, Antonis Papachristodoulou, Kartik Ariyur
      Pages 306-321
    13. João Pedro Hespanha
      Pages 322-338
    14. Aleksandar Lj. Juloski, W. P. M. H. Heemels, Giancarlo Ferrari-Trecate, René Vidal, Simone Paoletti, J. H. G. Niessen
      Pages 354-369
    15. Rajesh Kumar, Bruce H. Krogh, Peter Feiler
      Pages 370-385
    16. Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet
      Pages 386-401
    17. Ruggero Lanotte, Simone Tini
      Pages 402-416
    18. Mircea Lazar, W. P. M. H. Heemels, Siep Weiland, Alberto Bemporad, Octavian Pastravanu
      Pages 417-432
    19. Andrea Lecchini, William Glover, John Lygeros, Jan Maciejowski
      Pages 433-448
    20. Tejas R. Mehta, Magnus Egerstedt
      Pages 466-479
    21. Katsunori Nakamura, Akira Fusaoka
      Pages 495-510
    22. Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone
      Pages 526-541
    23. Stephen Prajna, Anders Rantzer
      Pages 542-556
    24. Robin L. Raffard, Jianghai Hu, Claire J. Tomlin
      Pages 557-572
    25. Enric Rodríguez-Carbonell, Ashish Tiwari
      Pages 590-605
    26. Mardavij Roozbehani, Eric Feron, Alexandre Megrestki
      Pages 606-622
    27. Stefan Strubbe, Arjan van der Schaft
      Pages 623-639
    28. Yan Wang, Zeng Qi Sun, Fu Chun Sun
      Pages 655-666
  4. Back Matter

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
  • Buy this book on publisher's site