EU ESPRIT-LTR Project ( 26270 ) Verification of Hybrid Systems ( VHS ) Control of Piecewise-Linear Hybrid Systems Intermediate Report