Hybrid Systems: Computation and Control

11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

  • Editors
  • Magnus Egerstedt
  • Bud Mishra
Conference proceedings HSCC 2008

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

Table of contents

  1. Front Matter
  2. Regular Papers

    1. Alessandro Abate, Alessandro D’Innocenzo, Maria D. Di Benedetto, Shankar S. Sastry
      Pages 1-15
    2. Ahmad T. Al-Hammouri, Michael S. Branicky, Vincenzo Liberatore
      Pages 16-29
    3. Vadim Azhmyakov, Sid Ahmed Attia, Jörg Raisch
      Pages 30-42
    4. Laurent Bako, René Vidal
      Pages 43-57
    5. L. Benvenuti, A. Ferrari, E. Mazzi, A. L. Sangiovanni Vincentelli
      Pages 58-71
    6. Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger
      Pages 72-86
    7. Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu
      Pages 87-100
    8. P. J. L. Cuijpers, M. A. Reniers
      Pages 116-129
    9. S. Di Cairano, M. Lazar, A. Bemporad, W. P. M. H. Heemels
      Pages 130-143
    10. S. Di Cairano, K. H. Johansson, A. Bemporad, R. M. Murray
      Pages 144-157
    11. Daniele Fontanelli, Luca Greco, Antonio Bicchi
      Pages 158-171
    12. Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh
      Pages 187-200
    13. Antoine Girard, Giordano Pola, Paulo Tabuada
      Pages 201-214
    14. Antoine Girard, Colas Le Guernic
      Pages 215-228
    15. R. Grosu, E. Bartocci, F. Corradini, E. Entcheva, S. A. Smolka, A. Wasilewska
      Pages 229-243
    16. Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
      Pages 244-258
    17. W. P. M. H. Heemels, M. K. Camlibel, B. Brogliato, J. M. Schumacher
      Pages 259-272

About these proceedings

Introduction

This volume contains the proceedings ofthe 11th Workshop on Hybrid Systems: Computation and Control (HSCC 2008) held in St. Louis, Missouriduring April 22–24,2008.The annual workshop on hybrid systems focuses on researchin - bedded,reactivesystemsinvolvingtheinterplaybetweensymbolic/switchingand continuous dynamical behaviors. HSCC attracts academic as well as industrial researchers to exchange information on the latest developments of applications and theoretical advancements in the design, analysis, control, optimization, and implementation of hybrid systems, with particular attention to embedded and networked control systems. New for this year was that HSCC was part of the inaugural CPSWEEK (Cyber-Physical Systems Week) – a co-located cluster of three conferences: HSCC, RTAS (Real-Time and Embedded Technology and Applications Sym- sium), and IPSN (International Conference on Information Processing in Sensor Networks). The previous workshops in the series of HSCC were held in Berkeley, USA (1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome,Italy (2001), Palo Alto, USA (2002), Prague, Czech Republic (2003), Philadelphia, USA (2004),Zurich, Switzerland (2005) , Santa Barbara,USA (2006), and Pisa, Italy (2007). We would like to thank the Program Committee members and the reviewers for an excellent job of evaluating the submissions and participating in the online Program Committee discussions. We are grateful to the Steering Committee for their helpful guidance and support. We would also like to thank Patrick Martin for putting together these proceedings, and Jiuguang Wang for developing and maintaining the HSCC 2008 website. January 2008 Magnus Egerstedt Bud Mishra Organization HSCC 2008 was technically co-sponsored by the IEEE Control Systems Society and organized in cooperation with ACM/SIGBED.

Keywords

algorithms automata biological systems calculus cooperative control dynamical systems hybrid systems logic model checking modeling multi-agents systems optimization parametric verification reactive systems verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-78929-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-78928-4
  • Online ISBN 978-3-540-78929-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book