Hybrid Systems : Computation and Control ; Vol.3927 ; 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings

The focus is on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors. Topics addressed include tools for analysis and verification, control and optimization, modeling, engineering applications, and new directions in language support and implementation.