Computation of high-gain observers for nonlinear systems using automatic differentiation