Research on modeling and simulation of semi-autonomous orbit determination for satellite navigation constellation | IEEE Conference Publication | IEEE Xplore