An Algorithm to Prove Contraction, Consensus, and Network Synchronization

This paper introduces a new algorithm to prove contraction of nonlinear dynamical systems. The algorithm is then used to devise novel strategies to achieve synchronization and consensus of networked control systems. Numerical simulations illustrate the results on a set of representative examples.