Hybrid Systems: Computation and Control

12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

  • Rupak Majumdar
  • Paulo Tabuada
Conference proceedings HSCC 2009

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

Table of contents

  1. Front Matter
  2. Regular Papers

    1. Behzad Akbarpour, Lawrence C. Paulson
      Pages 1-15
    2. Aaron D. Ames, Ryan W. Sinnet, Eric D. B. Wendel
      Pages 16-30
    3. Saurabh Amin, Alvaro A. Cárdenas, S. Shankar Sastry
      Pages 31-45
    4. P. Caspi, A. Benveniste, R. Lublinerman, S. Tripakis
      Pages 46-60
    5. D. Bernardini, D. Muñoz de la Peña, A. Bemporad, E. Frazzoli
      Pages 61-75
    6. Alessandro Borri, Maria Domenica Di Benedetto, Maria-Gabriella Di Benedetto
      Pages 76-89
    7. Franck Cassez, Jan J. Jessen, Kim G. Larsen, Jean-François Raskin, Pierre-Alain Reynier
      Pages 90-104
    8. Eugenio Cinquemani, Andreas Milias-Argeitis, Sean Summers, John Lygeros
      Pages 105-119
    9. M. C. F. Donkers, L. Hetel, W. P. M. H. Heemels, N. van de Wouw, M. Steinbuch
      Pages 150-164
    10. Alexandre Donzé, Bruce Krogh, Akshay Rajhans
      Pages 165-179
    11. Daniele Fontanelli, Luigi Palopoli, Roberto Passerone
      Pages 180-193
    12. A. Agung Julius, George J. Pappas
      Pages 223-236
    13. Jens Oehlerking, Oliver Theel
      Pages 276-290
    14. G. Ripaccioli, A. Bemporad, F. Assadian, C. Dextreit, S. Di Cairano, I. V. Kolmanovsky
      Pages 321-335
    15. Joris Sijs, Mircea Lazar
      Pages 336-350
    16. Gera Weiss, Sebastian Fischmeister, Madhukar Anand, Rajeev Alur
      Pages 381-395
    17. Tichakorn Wongpiromsarn, Sayan Mitra, Richard M. Murray, Andrew Lamperski
      Pages 396-410
  3. Short Papers

    1. Pau Martí, Manel Velasco, Enrico Bini
      Pages 441-444
    2. Nadir Matringe, Arnaldo Vieira Moura, Rachid Rebiha
      Pages 445-449
    3. Katsunori Nakamura, Akira Fusaoka
      Pages 450-454
    4. Derek Riley, Xenofon Koutsoukos, Kasandra Riley
      Pages 460-464
    5. Michael Schuresko, Jorge Cortés
      Pages 470-474
    6. Vladimeros Vladimerou, Pavithra Prabhakar, Mahesh Viswanathan, Geir Dullerud
      Pages 480-484
  4. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009.

The 30 revised full papers and 10 revised short papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers focus on research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors and feature the latest developments of applications and theoretical advancements in the analysis, design, control, optimization, and implementation of hybrid systems.


Cisco algorithms biological systems branching bisimulation cooperative control design discrete abstractions dynamical systems embedded systems formal verification hybrid automata hybrid control systems hybrid systems optimization structured analysis

Editors and affiliations

  • Rupak Majumdar
    • 1
  • Paulo Tabuada
    • 2
  1. 1.Department of Computer ScienceUniversity of CaliforniaLos AngelesUSA
  2. 2.Department of Electrical EngineeringUniversity of CaliforniaLos AngelesUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-00601-2
  • Online ISBN 978-3-642-00602-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences