Hybrid Systems: Computation and Control

9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings

  • João P. Hespanha
  • Ashish Tiwari
Conference proceedings HSCC 2006

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Regular Papers

    1. Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang
      Pages 4-18
    2. Aaron D. Ames, Paulo Tabuada, Shankar Sastry
      Pages 34-48
    3. Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry
      Pages 49-63
    4. Shun-ichi Azuma, Magnus Egerstedt, Yorai Wardi
      Pages 64-78
    5. Andrea Balluchi, Antonio Bicchi, Emanuele Mazzi, Alberto L. Sangiovanni Vincentelli, Gabriele Serra
      Pages 79-92
    6. Alberto Bemporad, Stefano Di Cairano, Jorge Júlvez
      Pages 93-107
    7. Antonio Bicchi, Alessia Marigo, Benedetto Piccoli
      Pages 108-122
    8. Martin De Wulf, Laurent Doyen, Jean-François Raskin
      Pages 153-168
    9. A. D’Innocenzo, M. D. Di Benedetto, S. Di Gennaro
      Pages 169-183
    10. S. Drulhe, G. Ferrari-Trecate, H. de Jong, A. Viari
      Pages 184-199
    11. Michael Emmi, Rupak Majumdar
      Pages 200-211
    12. G. Ferrari-Trecate, M. Egerstedt, A. Buffa, M. Ji
      Pages 212-226
    13. Ioannis A. Fotiou, A. Giovanni Beccuti, Georgios Papafotiou, Manfred Morari
      Pages 227-241

About these proceedings

Keywords

Scala algorithm algorithms dependable systems dynamical systems embedded systems formal verification hybrid control systems hybrid systems model checking modeling real-time real-time systems stochastic hybrid systems systems analysis

Editors and affiliations

  • João P. Hespanha
    • 1
  • Ashish Tiwari
    • 2
  1. 1.Center for Control, Dynamical Systems and ComputationUniversity of CaliforniaSanta BarbaraUSA
  2. 2.SRI InternationalMenlo ParkUSA

Bibliographic information

  • DOI https://doi.org/10.1007/11730637
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-33170-4
  • Online ISBN 978-3-540-33171-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book