Hybrid Systems: Computation and Control 4th International Workshop, HSCC 2001 Rome, Italy, March 28-30, 2001 Proceedings - Di Benedetto, Maria D.; Di Benedetto, Maria D.; Sangiovanni-Vincentelli, Alberto L.; Sangiovanni-Vincentelli, Alberto L. (Springer Berlin Heidelberg : Imprint: Springer, 2001)