Finite-time stability analysis and synthesis of complex dynamic systems