Solvability conditions and design for state synchronization of multi-agent systems | IEEE Conference Publication | IEEE Xplore