Hybrid Systems: Computation and Control

Know about the book -

Hybrid Systems: Computation and Control is written by Joao Hespanha and published by Springer Science & Business Media. It's available with International Standard Book Number or ISBN identification 3540331700 (ISBN 10) and 9783540331704 (ISBN 13).

This book constitutes the refereed proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, held in Santa Barbara, CA, USA in March 2006. The 39 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 79 submissions. 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. The papers focus on modeling, analysis, and implementation of dynamic and reactive systems involving both discrete and continuous behaviors.