Ultra-fast formation control of high-order discrete-time multi-agent systems based on multi-step predictive mechanism. (September 2015)