Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification | IEEE Journals & Magazine | IEEE Xplore