Stability analysis of a wind turbine tower using reachability properties of switched systems | IEEE Journals & Magazine | IEEE Xplore