Hybrid systems computation and control proceedings...[of] 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 - Di Benedetto, Maria Domenica; Sangiovanni-Vincentelli, Alberto (Springer, 2001)