by JoaoHespanha (Editor), Ashish Tiwari (Editor)
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.
Format: Paperback
Pages: 596
Edition: illustrated edition
Publisher: Springer
Published: 20 Mar 2006
ISBN 10: 3540331700
ISBN 13: 9783540331704