Modelling Analysis and Control of Hybrid Systems