Nonlinear observability formulation for shipboard power systems incorporating converter dynamics | IEEE Conference Publication | IEEE Xplore