Advertisement

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
    12. R. Grosu, S. Mitra, P. Ye, E. Entcheva, I. V. Ramakrishnan, S. A. Smolka
      Pages 245-258
    13. Sumit K. Jha, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke
      Pages 287-300
    14. Erik Johannesson, Toivo Henningsson, Anton Cervin
      Pages 301-314
    15. A. Jokic, M. Lazar, P. P. J. van den Bosch
      Pages 315-328
    16. A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas
      Pages 329-342
    17. Koichi Kobayashi, Jun-ichi Imura
      Pages 343-356
    18. Jesper A. Larsen, Rafael Wisniewski, Roozbeh Izadi-Zamanabadi
      Pages 357-370
    19. Michael Lemmon, Thidapat Chantem, Xiaobo Sharon Hu, Matthew Zyskowski
      Pages 371-384
    20. John Lygeros, Marc Quincampoix, Tadeusz Rzezuchowski
      Pages 385-398
    21. Federico Mari, Enrico Tronci
      Pages 399-412
    22. John-Michael McNew, Eric Klavins, Magnus Egerstedt
      Pages 413-427
    23. Mihály Petreczky, René Vidal
      Pages 459-472
    24. André Platzer, Edmund M. Clarke
      Pages 473-486
    25. Kaushik Roy, Claire J. Tomlin
      Pages 487-500
    26. Danielle C. Tarraf, Alexandre Megretski, Munther A. Dahleh
      Pages 543-556
    27. Vladimiro Vacca, Francesco Vasca, Luigi Iannelli
      Pages 573-586
    28. D. A. van Beek, M. A. Reniers, R. R. H. Schiffelers, J. E. Rooda
      Pages 587-600
    29. Gera Weiss, Rajeev Alur
      Pages 601-613
    30. Kerim Yunt, Christoph Glocker
      Pages 614-627
  4. Short Papers

    1. Alessandro Abate, Alessandro D’Innocenzo, Giordano Pola, Maria Domenica Di Benedetto, Shankar Sastry
      Pages 628-632

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-71493-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-71492-7
  • Online ISBN 978-3-540-71493-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site