Maria Domenica Di Benedetto Alberto Sangiovanni-Vincentelli (Eds.) Hybrid Systems: Computation and Control 4th International Workshop, HSCC 2001 Rome, Italy, March 2001 Proceedings