© 2007

Hybrid Systems: Computation and Control

10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

  • Editors
  • Alberto Bemporad
  • Antonio Bicchi
  • Giorgio Buttazzo
Conference proceedings HSCC 2007

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

Table of contents

  1. Front Matter
  2. Keynote Speeches

  3. Regular Papers

    1. Alessandro Abate, Saurabh Amin, Maria Prandini, John Lygeros, Shankar Sastry
      Pages 4-17
    2. A. Balluchi, E. Mazzi, A. L. Sangiovanni Vincentelli
      Pages 46-60
    3. Grégory Batt, Calin Belta, Ron Weiss
      Pages 61-75
    4. Mikhail Bernadsky, Rajeev Alur
      Pages 90-103
    5. Lars Blackmore, Askar Bektassov, Masahiro Ono, Brian C. Williams
      Pages 104-117
    6. Paolo Bolzern, Patrizio Colaneri, José Claudio Geromel
      Pages 118-130
    7. Tommaso Cucinotta, Luigi Palopoli
      Pages 131-144
    8. J. M. Davoren, Paulo Tabuada
      Pages 145-158
    9. Alexandre Donzé, Oded Maler
      Pages 174-189
    10. Magnus Egerstedt, Todd Murphey, Jon Ludwig
      Pages 190-202
    11. Georgios E. Fainekos, Antoine Girard, George J. Pappas
      Pages 203-216

About these proceedings


This book constitutes the refereed proceedings of the 10th International Conference on Hybrid Systems: Computation and Control, HSCC 2007, held in Pisa, Italy in April 2007.

The 44 revised full papers and 39 revised short papers presented together with the abstracts of 3 keynote talks were carefully reviewed and selected from 167 submissions. Among the topics addressed are models of heterogeneous systems, computability and complexity issues, real-time computing and control, embedded and resource-aware control, control and estimation over wireless networks, tools for analysis, verification, control, and design, programming languages support and implementation, applications, including automotive, communication networks, avionics, energy systems, transportation networks, biology and other sciences, manufacturing, and robotics.


D programming language complexity programming programming language real-time robot robotics tools verification

Bibliographic information