Theoretical Computer Science and General Issues

Hybrid Systems: Computation and Control

12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings

Editors: Majumdar, Rupak, Tabuada, Paulo (Eds.)

Free Preview

Buy this book

eBook $109.00
price for USA in USD
  • ISBN 978-3-642-00602-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA in USD
  • ISBN 978-3-642-00601-2
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
About this book

This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Systems: Computation and Control, HSCC 2009, held in San Francisco, CA, USA, in April 2009.

The 30 revised full papers and 10 revised short papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers focus on research in embedded reactive systems involving the interplay between symbolic/discrete and continuous dynamical behaviors and feature the latest developments of applications and theoretical advancements in the analysis, design, control, optimization, and implementation of hybrid systems.

Table of contents (40 chapters)

Table of contents (40 chapters)
  • Applications of MetiTarski in the Verification of Control and Hybrid Systems

    Pages 1-15

    Akbarpour, Behzad (et al.)

  • Three-Dimensional Kneed Bipedal Walking: A Hybrid Geometric Approach

    Pages 16-30

    Ames, Aaron D. (et al.)

  • Safe and Secure Networked Control Systems under Denial-of-Service Attacks

    Pages 31-45

    Amin, Saurabh (et al.)

  • Actors without Directors: A Kahnian View of Heterogeneous Systems

    Pages 46-60

    Caspi, P. (et al.)

  • Simultaneous Optimal Control and Discrete Stochastic Sensor Selection

    Pages 61-75

    Bernardini, D. (et al.)

Buy this book

eBook $109.00
price for USA in USD
  • ISBN 978-3-642-00602-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA in USD
  • ISBN 978-3-642-00601-2
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Hybrid Systems: Computation and Control
Book Subtitle
12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings
Editors
  • Rupak Majumdar
  • Paulo Tabuada
Series Title
Theoretical Computer Science and General Issues
Series Volume
5469
Copyright
2009
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-00602-9
DOI
10.1007/978-3-642-00602-9
Softcover ISBN
978-3-642-00601-2
Edition Number
1
Number of Pages
XIV, 492
Topics