Fault tolerance analysis of spacecraft formation via impulsive dimension-varying switched system | IEEE Conference Publication | IEEE Xplore