Title: Optimal discrete observers