Advertisement

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
    14. Antoine Girard, Colas Le Guernic, Oded Maler
      Pages 257-271
    15. Antoine Girard, George J. Pappas
      Pages 272-286
    16. Marius Kloetzer, Calin Belta
      Pages 348-362
    17. Chiheb Kossentini, Paul Caspi
      Pages 363-376
    18. Fabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee
      Pages 392-406
    19. Charles Lesire, Catherine Tessier
      Pages 407-420
    20. Daniel Liberzon, Dragan Nešić
      Pages 421-435
    21. John Lygeros, Xuerong Mao, Chenggui Yuan
      Pages 436-450
    22. Sayan Mitra, Nancy Lynch, Daniel Liberzon
      Pages 476-490
    23. Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto Sangiovanni-Vincentelli
      Pages 491-506
    24. Andreas Podelski, Silke Wagner
      Pages 507-521
    25. Ricardo G. Sanfelice, Rafal Goebel, Andrew R. Teel
      Pages 522-536
    26. Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna
      Pages 537-551
    27. Haiyang Zheng, Edward A. Lee, Aaron D. Ames
      Pages 568-582
  4. Back Matter

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