Fixed-time stability of switched systems with application to a problem of formation control. (May 2021)