Set Membership Overapproximation of Hybrid Systems with Applications to System Analysis and Estimator and Controller Design