Tree-Structured Polyhedral Invariant Set Calculations | IEEE Journals & Magazine | IEEE Xplore