A 2D, stochastic model of a phase-detection autofocus

A 2D stochastic model of a phase-detection autofocus is proposed. A comprehensive analysis of its formal properties is conducted and its validity for a wide class of stochastic processes is proved. Moreover, formal properties of the phase-detection autofocus are analysed, together with assumptions necessary for its unimodality. Lastly, practical experiments, incorporating thermographic camera, which confirm theoretical findings, are described.