Chen Chen, HeSuan Hu, Yang Liu. Static and dynamic partitions of inequalities and their application in supervisor simplification. In 2017 IEEE International Conference on Robotics and Automation, ICRA 2017, Singapore, Singapore, May 29 - June 3, 2017. pages 536-542, IEEE, 2017. [doi]
Abstract is missing.