A Proof of a Separation Theorem for Nonlinear Measurements | part of Estimation and Control with Quantized Measurements | MIT Press books | IEEE Xplore