Advertisement

Hybrid Systems: Computation and Control

4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings

  • Maria Domenica Di Benedetto
  • Alberto Sangiovanni-Vincentelli
Conference proceedings HSCC 2001

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

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Manfred Morari
    Pages 1-2
  3. Alberto Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides et al.
    Pages 5-6
  4. Rajeev Alur, Calin Belta, Franjo Ivančić, Vijay Kumar, Max Mintz, George J. Pappas et al.
    Pages 19-32
  5. Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
    Pages 33-48
  6. Rajeev Alur, Salvatore La Torre, George J. Pappas
    Pages 49-62
  7. Hirokazu Anai, Volker Weispfenning
    Pages 63-76
  8. Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler
    Pages 77-88
  9. Eugene Asarin, Gerardo Schneider, Sergio Yovine
    Pages 89-104
  10. Jean-Pierre Aubin, George Haddad
    Pages 119-132
  11. Andrea Balluchi, Philippe Souéres, Antonio Bicchi
    Pages 133-146
  12. Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Larsen, Paul Pettersson, Judi Romijn et al.
    Pages 147-161
  13. Francesco Borrelli, Alberto Bemporad, Michael Fodor, Davor Hrovat
    Pages 162-174
  14. Mireille Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto Sangiovanni-Vincentelli
    Pages 175-188
  15. Joel M. Esposito, Vijay Kumar, George J. Pappas
    Pages 204-217
  16. Giancarlo Ferrari-Trecate, Marco Muselli, Diego Liberati, Manfred Morari
    Pages 218-231
  17. José M. E. González, Antonio E. C. da Cunha, José E. R. Cury, Bruce H. Krogh
    Pages 247-260
  18. Luc C. G. J. M. Habets, Jan H. van Schuppen
    Pages 261-274
  19. Thomas A. Henzinger, Marius Minea, Vinayak Prabhu
    Pages 275-290
  20. João P. Hespanha, Stephan Bohacek, Katia Obraczka, Junsoo Lee
    Pages 291-304
  21. Jianghai Hu, Maria Prandini, Karl Henrik Johansson, Shankar Sastry
    Pages 305-318
  22. Jens Kalkkuhl, Tor Arne Johansen, Jens Lüdemann, Andreas Queda
    Pages 319-332
  23. T. John Koo, George J. Pappas, Shankar Sastry
    Pages 333-346
  24. P. Kowalczyk, M. di Bernardo
    Pages 361-374
  25. Ekaterina S. Lemch, Shankar Sastry, Peter E. Caines
    Pages 375-386
  26. Vishal Bahl, Andreas A. Linninger
    Pages 387-402
  27. Nancy Lynch, Roberto Segala, Frits Vaandrager
    Pages 403-417
  28. Ian Mitchell, Alexandre M. Bayen, Claire J. Tomlin
    Pages 418-432
  29. Thomas Moor, J. M. Davoren
    Pages 433-446
  30. Meeko Oishi, Claire J. Tomlin, Vipin Gopal, Datta Godbole
    Pages 459-472
  31. Jochen Schröderand, Jan Lunze
    Pages 473-486
  32. Omid Shakernia, George J. Pappas, Shankar Sastry
    Pages 487-500
  33. Paulo Tabuada, George J. Pappas
    Pages 501-514
  34. Back Matter
    Pages 515-516

About these proceedings

Introduction

This volume contains the proceedings of the Fourth Workshop on Hybrid - stems: Computation and Control (HSCC 2001) held in Rome, Italy on March 28-30, 2001. The Workshop on Hybrid Systems attracts researchers from in- stry and academia interested in modeling, analysis, synthesis, and implemen- tion of dynamic and reactive systems involving both discrete (integer, logical, symbolic) and continuous behaviors. It is a forum for the discussion of the - test developments in all aspects of hybrid systems, including formal models and computational representations, algorithms and heuristics, computational tools, and new challenging applications. The Fourth HSCC International Workshop continues the series of workshops held in Grenoble, France (HART’97), Berkeley, California, USA (HSCC’98), N- megen, The Netherlands (HSCC’99), and Pittsburgh, Pennsylvania, USA (HSCC 2000). Proceedings of these workshops have been published in the Lecture Notes in Computer Science (LNCS) series by Springer-Verlag. In line with the beautiful work that led to the design of the palace in which the workshop was held, Palazzo Lancellotti in Rome, resulting from the col- boration of many artists and architects of di erent backgrounds, the challenge faced by the hybrid system community is to harmonize and extract the best from two main research areas: computer science and control theory.

Keywords

Hybrid systems algorithm algorithms automata theory control theory dynamical systems embedded systems hybrid control systems hybrid modeling reactive systems real-time systems systems design systems verification

Editors and affiliations

  • Maria Domenica Di Benedetto
    • 1
  • Alberto Sangiovanni-Vincentelli
    • 2
    • 3
  1. 1.Dipartimento di Ingegneria ElettricaUniversitá dell’AquilaL’AquilaItaly
  2. 2.University of California at BerkeleyBerkeley
  3. 3.PARADESItaly

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45351-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-41866-5
  • Online ISBN 978-3-540-45351-2
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering