Don’t miss it: Get 40% off Education & Linguistics books! Save through November 30, 2018.

Lecture Notes in Computer Science

Hybrid Systems: Computation and Control

Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings

Editors: Lynch, Nancy, Krogh, Bruce (Eds.)

Buy this book

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

Table of contents (37 chapters)

  • Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision

    Butts, Ken

    Pages 1-2

  • Experiences in Designing and Using Formal Specification Languages for Embedded Control Software

    Leveson, Nancy G.

    Pages 3-3

  • Model-Based Autonomous Systems for Robotic Space Exploration

    Williams, Brian

    Pages 4-4

  • Models of Computation and Simulation of Hybrid Systems

    Sangiovanni-Vincentelli, Alberto

    Pages 5-5

  • Modular Specification of Hybrid Systems in Charon

    Alur, Rajeev (et al.)

    Pages 6-19

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-540-46430-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-67259-3
  • 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
Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings
Editors
  • Nancy Lynch
  • Bruce Krogh
Series Title
Lecture Notes in Computer Science
Series Volume
1790
Copyright
2000
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-46430-3
DOI
10.1007/3-540-46430-1
Softcover ISBN
978-3-540-67259-3
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 465
Topics