Advertisement

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
    14. Michael W. Hofbaur, Brian C. Williams
      Pages 253-266
    15. Jianghai Hu, Shankar Sastry
      Pages 267-280
    16. Benjamin Kuipers, Subramanian Ramamoorthy
      Pages 294-307
    17. Sriram Narasimhan, Gautam Biswas
      Pages 308-322
    18. Luigi Palopoli, Claudio Pinello, Alberto Sangiovanni Vincentelli, Laurent Elghaoui, Antonio Bicchi
      Pages 337-350
    19. Stefania Pancanti, Laura Leonardi, Lucia Pallottino, Antonio Bicchi
      Pages 351-363
    20. James A. Sethian, Alexander Vladimirsky
      Pages 393-406
    21. Thomas Stauner
      Pages 407-420
    22. Olaf Stursberg, Sebastian Panek
      Pages 421-435
    23. Paulo Tabuada, George J. Pappas, Pedro Lima
      Pages 436-450
    24. Ashish Tiwari, Gaurav Khanna
      Pages 465-478
  4. Back Matter
    Pages 479-480

About these proceedings

Introduction

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.

Keywords

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
  • Buy this book on publisher's site