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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-642-00602-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-00601-2
  • Online ISBN 978-3-642-00602-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book