Krein space-based approach to dynamic event-triggered <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" id="d1e411" altimg="si9.svg"><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 a class of nonlinear discrete time systems