Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings

Front Cover
Manfred Morari, Lothar Thiele, Francesca Rossi
Springer, Apr 19, 2005 - Hybrid computers - 684 pages
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.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Invited Papers
1
Operational Semantics of Hybrid Systems
25
SOS Methods for Semialgebraic Games and Optimization
54
Copyright

38 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information