Controllability Analysis and Verification for High-Order DC–DC Converters Using Switched Linear Systems Theory | IEEE Journals & Magazine | IEEE Xplore