Lecture Notes in Computer Science

Hybrid Systems: Computation and Control

6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Editors: Wiedijk, Freek, Maler, Oded, Pnueli, Amir (Eds.)

Buy this book

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

This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3–5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis, control, and implementation of systems which involve the interaction of both discrete and continuous state dynamics. The newest results and latest developments in hybrid system models, formal methods for analysis and control, computational tools, as well as new applications and examples are presented at these annual meetings. The Sixth Workshop continued the series of workshops held in Grenoble, France (HART’97), Berkeley, California, USA (HSCC’98), Nijmegen, The Neth- lands (HSCC’99), Pittsburgh, Pennsylvania, USA (HSCC 2000), Rome, Italy (HSCC 2001), and Stanford, California, USA (HSCC 2002). Proceedings of these workshops have been published by Springer-Verlag in the Lecture Notes in C- puter Science (LNCS) series. This year we assembled a technical program committee with a broad expertise in formal methods in computer science, control theory, applied mathematics, and arti?cial intelligence. We received a set of 75 high-quality submitted papers. After detailed review and discussion of these papers by the program committee, 36 papers were accepted for presentation at the workshop, and the ?nal versions of these papers appear in this volume.

Table of contents (7 chapters)

  • The Mathematics of Matter and the Mathematics of Mind

    David Berlinski

    Pages 1-1

  • Reachability Analysis of Nonlinear Systems Using Conservative Approximation

    Eugene Asarin, Thao Dang, Antoine Girard

    Pages 20-35

  • Hybrid Control of an Automotive Robotized Gearbox for Reduction of Consumptions and Emissions

    Alberto Bemporad, Pandeli Borodani, Massimo Mannelli

    Pages 81-96

  • A Greedy Approach to Identification of Piecewise Affine Models

    Alberto Bemporad, Andrea Garulli, Simone Paoletti, Antonio Vicino

    Pages 97-112

  • Multi-object Adaptive Cruise Control

    Rainer Möbus, Mato Baotic, Manfred Morari

    Pages 359-374

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-540-36580-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-540-00913-9
  • 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
6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Editors
  • Freek Wiedijk
  • Oded Maler
  • Amir Pnueli
Series Title
Lecture Notes in Computer Science
Series Volume
2623
Copyright
2003
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-36580-8
DOI
10.1007/3-540-36580-X
Softcover ISBN
978-3-540-00913-9
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 564
Topics