Lecture Notes in Computer Science

Hybrid Systems: Computation and Control

7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings

Editors: Alur, Rajeev, Pappas, George (Eds.)

Buy this book

eBook $129.00
price for USA (gross)
  • ISBN 978-3-540-24743-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $169.00
price for USA
  • ISBN 978-3-540-21259-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous behaviors. The previous workshops in the HSCC series were held in Berkeley, USA(1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome, Italy (2001), Palo Alto, USA (2002), and Prague, Czech Republic (2003). This year’s HSCC was organized in cooperation with ACM SIGBED (Special Interest Group on Embedded Systems) and was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 4 invited talks and 43 regular papers selected from 117 regular submissions. The program covered topics such as tools for analysis and veri?cation, control and optimization, modeling, and engineering applica- ons, as in past years, and emerging directions in programming language support and implementation. The program also contained one special session focusing on the interplay between biomolecular networks, systems biology, formal methods, andthecontrolofhybridsystems.

Table of contents (44 chapters)

  • Lazy Rectangular Hybrid Automata

    Agrawal, Manindra (et al.)

    Pages 1-15

  • Affine Hybrid Systems

    Ames, Aaron D. (et al.)

    Pages 16-31

  • Abstraction by Projection and Application to Multi-affine Systems

    Asarin, Eugene (et al.)

    Pages 32-47

  • Observability of Switched Linear Systems

    Babaali, Mohamed (et al.)

    Pages 48-63

  • Inference Methods for Autonomous Stochastic Linear Hybrid Systems

    Balakrishnan, Hamsa (et al.)

    Pages 64-79

Buy this book

eBook $129.00
price for USA (gross)
  • ISBN 978-3-540-24743-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $169.00
price for USA
  • ISBN 978-3-540-21259-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Hybrid Systems: Computation and Control
Book Subtitle
7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings
Editors
  • Rajeev Alur
  • George Pappas
Series Title
Lecture Notes in Computer Science
Series Volume
2993
Copyright
2004
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-24743-2
DOI
10.1007/b96398
Softcover ISBN
978-3-540-21259-1
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 674
Topics