Zonotopic set-membership state estimation for switched systems