Features
- Cover Type: Paperback with 684 pages
- Published by: Springer
- Edition: 1st Edition April 19, 2005
- Written in: English
- ISBN 10 Number: 3540251081
- ISBN 13 Number: 978-3540251088
-
Book Dimensions:
9.1 x 6.1 x 1 inches
- Weighs: 2.1 pounds
Book Description
This book constitutes the refereed proceedings of the 8th International Workshop on Hybrid Systems: Computation and Control, HSCC 2005, held in Zurich, Switzerland in March 2005.
The forty revised full papers presented together with 2 invited papers and the abstract of an invited talk were carefully reviewed and selected from 91 submissions. The papers focus on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. Among the topics addressed are tools for analysis and verification, control and optimization, modeling, engineering applications, and emerging directions in programming language support and implementation.