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
    18. A. Jokic, M. Lazar, P. P. J. van den Bosch
      Pages 273-286
    19. Marius Kloetzer, Calin Belta
      Pages 287-300
    20. Hemant Kowshik, Derek Caveney, P. R. Kumar
      Pages 301-315
    21. YoungMin Kwon, Gul Agha
      Pages 316-329
    22. Fabien Lauer, Gérard Bloch
      Pages 330-343
    23. Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh
      Pages 344-357
    24. Alexandre R. Mesquita, João P. Hespanha, Karl Åström
      Pages 358-371
    25. Mihály Petreczky, René Vidal
      Pages 386-400
    26. Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud
      Pages 401-414
    27. Nacim Ramdani, Nacim Meslem, Yves Candau
      Pages 415-428
    28. Mardavij Roozbehani, Alexandre Megretski, Emilio Frazzoli, Eric Feron
      Pages 443-456
    29. Ricardo G. Sanfelice, Emilio Frazzoli
      Pages 457-470
    30. Lorenzo Sella, Pieter Collins
      Pages 486-499
    31. Yoav Sharon, Daniel Liberzon
      Pages 500-513
    32. Yuichi Tazaki, Jun-ichi Imura
      Pages 514-527
    33. C. Renato Vázquez, Antonio Ramírez, Laura Recalde, Manuel Silva
      Pages 528-541
    34. Wenqi Zhang, Herbert G. Tanner
      Pages 570-583
  3. Short Papers

    1. Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry
      Pages 598-601
    2. Saurabh Amin, Falk M. Hante, Alexandre M. Bayen
      Pages 602-605
    3. Manuela L. Bujorianu, John Lygeros, Rom Langerak
      Pages 610-613
    4. Matthew Daigle, Xenofon Koutsoukos, Gautam Biswas
      Pages 614-617
    5. Andrew Lamperski, Aaron D. Ames
      Pages 622-625

About these proceedings


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.


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