Hybrid Systems: Computation and Control

5th International Workshop, HSCC 2002 Stanford, CA, USA, March 25–27, 2002 Proceedings

  • Claire J. Tomlin
  • Mark R. Greenstreet
Conference proceedings HSCC 2002

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

Table of contents

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

  3. Papers

    1. Eric Aaron, Franjo Ivančić, Dimitris Metaxas
      Pages 7-20
    2. Claudio Altafini, Alberto Speranzon, Karl Henrik Johansson
      Pages 21-34
    3. Rajeev Alur, Thao Dang, Franjo Ivančić
      Pages 35-48
    4. Eugene Asarin, Gerardo Schneider, Sergio Yovine
      Pages 49-61
    5. Jean-Pierre Aubin, Olivier Dordan
      Pages 61-75
    6. Andrea Balluchi, Luca Benvenuti, Maria D. Di Benedetto, Alberto L. Sangiovanni-Vincentelli
      Pages 76-89
    7. Alberto Bemporad, Francesco Borrelli, Manfred Morari
      Pages 105-119
    8. Franck Cassez, Thomas A. Henzinger, Jean-François Raskin
      Pages 134-148
    9. J. M. Davoren, T. Moor, A. Nerode
      Pages 149-163
    10. Nael H. El-Farra, Panagiotis D. Christofides
      Pages 164-178
    11. Giancarlo Ferrari-Trecate, Francesco A. Cuzzola, Manfred Morari
      Pages 194-208
    12. Giancarlo Ferrari-Trecate, Eduardo Gallestey, Paolo Letizia, Matteo Spedicato, Manfred Morari, Marc Antoine
      Pages 209-224
    13. Robert P. Goldman, David J. Musliner, Michael J. S. Pelican
      Pages 225-238

About these proceedings


This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002, held in Stanford, California, USA, in March 2002.
The 33 revised full papers presented were carefully reviewed and selected from 73 submissions. All current issues in hybrid systems are addressed including formal models and methods and computational representations, algorithms and heuristics, computational tools, and innovative applications.


Automata Theory Bisimulation Composing Control Theory Dynamical Systems Embedded Systems Hybrid Control Systems Hybrid Modeling Simulation Systems Verification architecture automata configuration logic modeling

Editors and affiliations

  • Claire J. Tomlin
    • 1
  • Mark R. Greenstreet
    • 2
  1. 1.Department of Aeronautics and AstronauticsStanford UniversityStanfordUSA
  2. 2.Department of Computer ScienceUniversity of British ColumbiaVancouver BCCanada

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45873-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43321-7
  • Online ISBN 978-3-540-45873-9
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Chemical Manufacturing
Energy, Utilities & Environment