Recent Advances in Control and Verification for Hybrid Systems Generalised L 2 -gain of switched non-linear systems