Case studies using linear matrix inequalities for optimal anti-windup synthesis | IEEE Conference Publication | IEEE Xplore