Observers for systems with implicit output

We prove the convergence of Luenberger-type observers for systems with implicitly defined outputs.