Key techniques for multi-satellite integrated navigation system modeling and controlling | IEEE Conference Publication | IEEE Xplore