Hybrid Systems: Computation and Control

7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings

  • Rajeev Alur
  • George J. Pappas
Conference proceedings HSCC 2004

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

Table of contents

  1. Front Matter
  2. Regular Papers

    1. Manindra Agrawal, P. S. Thiagarajan
      Pages 1-15
    2. Aaron D. Ames, Shankar Sastry
      Pages 16-31
    3. Mohamed Babaali, Magnus Egerstedt
      Pages 48-63
    4. Hamsa Balakrishnan, Inseok Hwang, Jung Soon Jang, Claire J. Tomlin
      Pages 64-79
    5. Andrea Balluchi, Federico Di Natale, Alberto Sangiovanni-Vincentelli, Jan H. van Schuppen
      Pages 80-94
    6. Alexandre M. Bayen, Robin L. Raffard, Claire J. Tomlin
      Pages 95-110
    7. Călin Belta, Peter Finin, Luc C. G. J. M. Habets, Ádám M. Halász, Marcin Imieliński, R. Vijay Kumar et al.
      Pages 111-125
    8. Alberto Bemporad, Nicolò Giorgetti
      Pages 126-141
    9. Antonio Bicchi, Alessia Marigo, Benedetto Piccoli
      Pages 157-172
    10. Vincent D. Blondel, Yurii Nesterov, Jacques Theys
      Pages 173-186
    11. Noël Bonneuil, Patrick Saint-Pierre
      Pages 187-202
    12. Patricia Bouyer, Ed Brinksma, Kim G. Larsen
      Pages 203-218
    13. Thomas Brihaye, Christian Michaux, Cédric Rivière, Christophe Troestler
      Pages 219-233
    14. M. K. Çamlıbel, W. P. M. H. Heemels, J. M. Schumacher
      Pages 250-264
    15. Pieter Collins, Jan H. van Schuppen
      Pages 265-279
    16. Jennifer M. Davoren, Vangham Coulthard, Nicolas Markey, Thomas Moor
      Pages 280-295

About these proceedings

Introduction

This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous behaviors. The previous workshops in the HSCC series were held in Berkeley, USA(1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome, Italy (2001), Palo Alto, USA (2002), and Prague, Czech Republic (2003). This year’s HSCC was organized in cooperation with ACM SIGBED (Special Interest Group on Embedded Systems) and was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 4 invited talks and 43 regular papers selected from 117 regular submissions. The program covered topics such as tools for analysis and veri?cation, control and optimization, modeling, and engineering applica- ons, as in past years, and emerging directions in programming language support and implementation. The program also contained one special session focusing on the interplay between biomolecular networks, systems biology, formal methods, andthecontrolofhybridsystems.

Keywords

formal method modeling optimization programming programming language tools verification

Editors and affiliations

  • Rajeev Alur
    • 1
  • George J. Pappas
    • 2
  1. 1.University of Pennsylvania 
  2. 2.School of Engineering and Applied ScienceUniversity of Pennsylvania 

Bibliographic information

  • DOI https://doi.org/10.1007/b96398
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-21259-1
  • Online ISBN 978-3-540-24743-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book