Advertisement

Hybrid Systems: Computation and Control

6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings

  • Oded Maler
  • Amir Pnueli

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Abstracts of Invited Presentations

  3. Regular Contributions

    1. Rajeev Alur, Thao Dang, Franjo Ivančić
      Pages 4-19
    2. Eugene Asarin, Thao Dang, Antoine Girard
      Pages 20-35
    3. Adam Austin, Magnus Egerstedt
      Pages 36-49
    4. Thomas Bak, Jan Bendtsen, Anders P. Ravn
      Pages 50-65
    5. L. G. Barajas, A. Kansal, A. Saxena, M. Egerstedt, A. Goldstein, E. W. Kamen
      Pages 66-80
    6. Alberto Bemporad, Pandeli Borodani, Massimo Mannelli
      Pages 81-96
    7. Alberto Bemporad, Andrea Garulli, Simone Paoletti, Antonio Vicino
      Pages 97-112
    8. Richard J. Boulton, Ruth Hardy, Ursula Martin
      Pages 113-125
    9. Manuela L. Bujorianu, John Lygeros
      Pages 126-140
    10. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse et al.
      Pages 141-155
    11. Nael H. El-Farra, Panagiotis D. Christo.des
      Pages 172-187
    12. Giancarlo Ferrari-Trecate, Michael Schinkel
      Pages 188-202
    13. Yan Gao, John Lygeros, Marc Quincampoix, Nicolas Seube
      Pages 203-215
    14. Tobias Geyer, Fabio Danilo Torrisi, Manfred Morari
      Pages 216-232
    15. W. P. M. H. Heemels, M. K. Çamlıbel, A. J. van der Schaft, J. M. Schumacher
      Pages 249-266
    16. Hidde de Jong, Jean-Luc Gouzé, Céline Hernandez, Michel Page, Tewfik Sari, Johannes Geiselmann
      Pages 267-282
    17. Jim Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg
      Pages 283-297
    18. Xenofon Koutsoukos, James Kurien, Feng Zhao
      Pages 298-313
    19. Andreas Kwiatkowski, Gerwald Lichtenberg, Axel Schild
      Pages 314-327
    20. Jie Liu, Edward A. Lee
      Pages 328-342
    21. Sayan Mitra, Yong Wang, Nancy Lynch, Eric Feron
      Pages 343-358
    22. Rainer Möbus, Mato Baotic, Manfred Morari
      Pages 359-374
    23. Luigi Palopoli, Luca Abeni, Giuseppe Lipari
      Pages 389-404
    24. Subramanian Ramamoorthy, Benjamin Kuipers
      Pages 417-434
    25. Matthew Senesky, Gabriel Eirea, T. John Koo
      Pages 450-465
    26. Paulo Tabuada, George J. Pappas
      Pages 498-513
    27. Ashish Tiwari
      Pages 514-525
    28. René Vidal, Alessandro Chiuso, Stefano Soatto, Shankar Sastry
      Pages 526-539
  4. Back Matter
    Pages 557-558

About these proceedings

Introduction

This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3–5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which involve the interaction of both discrete and continuous state dynamics. The newest results and latest developments in hybrid system models, formal methods for analysis and control, computational tools, as well as new applications and examples are presented at these annual meetings. The Sixth Workshop continued the series of workshops held in Grenoble, France (HART’97), Berkeley, California, USA (HSCC’98), Nijmegen, The Neth- lands (HSCC’99), Pittsburgh, Pennsylvania, USA (HSCC 2000), Rome, Italy (HSCC 2001), and Stanford, California, USA (HSCC 2002). Proceedings of these workshops have been published by Springer-Verlag in the Lecture Notes in C- puter Science (LNCS) series. This year we assembled a technical program committee with a broad expertise in formal methods in computer science, control theory, applied mathematics, and arti?cial intelligence. We received a set of 75 high-quality submitted papers. After detailed review and discussion of these papers by the program committee, 36 papers were accepted for presentation at the workshop, and the ?nal versions of these papers appear in this volume.

Keywords

Simulation automata calculus control systems dynamical systems embedded systems hybrid modeling hybrid systems hybridization model checking modeling operating system reactive systems robotics systems specification

Editors and affiliations

  • Oded Maler
    • 1
  • Amir Pnueli
    • 2
  1. 1.CNRS-VERIMAGGièresFrance
  2. 2.Weizmann Institute of ScienceRehovotIsrael

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-36580-X
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-00913-9
  • Online ISBN 978-3-540-36580-8
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site