Hybrid systems computation and control ; 4th international workshop, HSCC 2001, Rome, Italy, March 28 - 30, 2001 ; proceedings (Springer, 2001)