Static and Dynamic Partitions of Inequalities: A Unified Methodology for Supervisor Simplification | IEEE Journals & Magazine | IEEE Xplore