filtering error system; slack matrix; Finsler’s lemma; Lyapunov function; matrix inequalities