Publisher's Synopsis
These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March 2006. Topics addressed include tools for analysis and verification, control and optimization, modeling, engineering applications, and new directions in language support and implementation.