Nacim Meslem: Set-Valued State Estimation of Linear Discrete-Time Systems with Linear Invariant. CoDIT 2022: 1238-1243