Lecture Notes in Computer Science

Hybrid Systems: Computation and Control

First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings

Editors: Henzinger, Thomas A., Sastry, S.S. (Eds.)

Free Preview

Buy this book

eBook $89.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-69754-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-64358-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, California, USA, in April 1998.
The volume presents 27 revised full papers selected from a total of 55 submissions. The papers focus on mathematical methods for the rigorous and systematic design and analysis of hybrid systems. Hybrid systems consist of digital devices that interact with analog environments; they are particularly important in context with safety-critical systems and dependable computing. The present volume extends the line of hybrid systems research documented in volumes 736, 999, 1066, 1201, and 1273 of the LNCS series.

Table of contents (27 chapters)

  • Equations on timed languages

    Asarin, Eugene

    Pages 1-12

  • Hybrid control for automotive engine management: The cut-off case

    Balluchi, A. (et al.)

    Pages 13-32

  • Hybrid control of automotive powertrain systems: A case study

    Beydoun, Ali (et al.)

    Pages 33-48

  • On the composition of hybrid systems

    Bornot, Sébastien (et al.)

    Pages 49-63

  • An equivalence between a control network and a switched hybrid system

    Bushnell, Linda (et al.)

    Pages 64-79

Buy this book

eBook $89.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-69754-1
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-64358-6
  • 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
First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings
Editors
  • Thomas A. Henzinger
  • S.S. Sastry
Series Title
Lecture Notes in Computer Science
Series Volume
1386
Copyright
1998
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-69754-1
DOI
10.1007/3-540-64358-3
Softcover ISBN
978-3-540-64358-6
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 417
Topics