Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings (Lecture Notes in Computer Science)

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.