Optimal control of discrete-time interval type-2 fuzzy-model-based systems with <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si0024.gif" overflow="scroll"><mml:mi mathvariant="script">D</mml:mi></mml:math>-stability constraint and control saturation