Hybrid Systems: Computation And Control: 8th International Workshop, Hscc 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings (lecture Notes In Computer Science)

ISBN 10: 3540251081 / ISBN 13: 9783540251088

Published by Springer, 2005

About this Item

This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Seller Inventory # ABBB-256314

Bibliographic Details

• Title: Hybrid Systems: Computation And Control: 8th International Workshop, Hscc 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings (lecture Notes In Computer Science)
• Publisher: Springer
• Publication Date: 2005
• Language: English
• ISBN 10: 3540251081
• ISBN 13: 9783540251088
• Binding: Soft cover
• Condition: New

About this title

Synopsis

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 40 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.