Hybrid Systems: Computation and Control

Know about the book -

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

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.