State Estimation for Hybrid Systems