Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings (Lecture Notes in Computer Science)

Alur, Rajeev [Editor]; Pappas, George [Editor];

ISBN 10: 3540212590 / ISBN 13: 9783540212591

Published by Springer, 2009

About this Item

Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.

Seller Inventory # UTD14a2463

Bibliographic Details

• Title: Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings (Lecture Notes in Computer Science)
• Publisher: Springer
• Publication Date: 2009
• Language: English
• ISBN 10: 3540212590
• ISBN 13: 9783540212591
• Binding: Paperback
• Condition: Very Good
• Weight: 34 ounces

About this title

Synopsis

This volume contains the proceedings of the 7th Workshop on Hybrid Systems: Computation and Control (HSCC 2004) held in Philadelphia, USA, from March 25 to 27, 2004. The annual workshop on hybrid systems attracts researchers from academia and industry interested in modeling, analysis, and implemen- tion of dynamic and reactive systems involving both discrete and continuous behaviors. The previous workshops in the HSCC series were held in Berkeley, USA(1998),Nijmegen,TheNetherlands(1999),Pittsburgh,USA(2000),Rome, Italy (2001), Palo Alto, USA (2002), and Prague, Czech Republic (2003). This year’s HSCC was organized in cooperation with ACM SIGBED (Special Interest Group on Embedded Systems) and was technically co-sponsored by the IEEE Control Systems Society. The program consisted of 4 invited talks and 43 regular papers selected from 117 regular submissions. The program covered topics such as tools for analysis and veri?cation, control and optimization, modeling, and engineering applica- ons, as in past years, and emerging directions in programming language support and implementation. The program also contained one special session focusing on the interplay between biomolecular networks, systems biology, formal methods, andthecontrolofhybridsystems.