Envelope-constrained<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="mml3" display="inline" overflow="scroll" altimg="si3.gif"><mml:msub><mml:mrow><mml:mi>H</mml:mi></mml:mrow><mml:mrow><mml:mi>∞</mml:mi></mml:mrow></mml:msub></mml:math>filtering for nonlinear systems with quantization effects: The finite horizon case