Convergence and H2-Property of the Discrete-Time Extended Kalman Filter Used as a Nonlinear Observer | IEEE Conference Publication | IEEE Xplore