Hybrid Systems: Computation and Control - 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Paperback, 2001 ed.)

This book constitutes the refereed proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, HSCC 2001, held in Rome, Italy, in March 2001. The 36 revised full papers presented were carefully reviewed and selected from a total of 82 submissions. All current aspects of hybrid systems are addressed including formal models and methods and computational representations, algorithms and heuristics, computational tools, and innovative applications.