Advertisement

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
    17. Martin De Wulf, Laurent Doyen, Jean-François Raskin
      Pages 296-310
    18. Domitilla Del Vecchio, Richard M. Murray
      Pages 311-325
    19. Ansgar Fehnker, Franjo Ivančić
      Pages 326-341
    20. Tobias Geyer, Georgios Papafotiou, Manfred Morari
      Pages 342-356
    21. Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido
      Pages 357-371
    22. William Glover, John Lygeros
      Pages 372-386
    23. Timothy J. Hickey, David K. Wittenberg
      Pages 402-416
    24. Jianghai Hu, Wei-Chung Wu, Shankar Sastry
      Pages 417-431
    25. Yerang Hur, Jesung Kim, Insup Lee, Jin-Young Choi
      Pages 432-447
    26. Michal Kvasnica, Pascal Grieder, Mato Baotić, Manfred Morari
      Pages 448-462
    27. Stephen Prajna, Ali Jadbabaie
      Pages 477-492
    28. William C. Rounds
      Pages 508-522
    29. Rene Sanchez, Roberto Horowitz, Masayoshi Tomizuka, Slobodan N. Simić
      Pages 523-538
    30. Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
      Pages 539-554
    31. Arjan van der Schaft
      Pages 555-569
    32. Dharmashankar Subramanian, Kartik Ariyur, Nitin Lamba, Ranjana Deshpande, Sonja Glavaski
      Pages 570-584
    33. Shreyas Sundaram, Christoforos N. Hadjicostis
      Pages 585-599
    34. Ashish Tiwari, Gaurav Khanna
      Pages 600-614
    35. Christos A. Yfoulis, Robert Shorten
      Pages 631-645
    36. Chenggui Yuan, John Lygeros
      Pages 646-659
  3. Invited Contribution

  4. Back Matter

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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications