Static and dynamic partitions of inequalities and their application in supervisor simplification | IEEE Conference Publication | IEEE Xplore