Controllability of Multi-Agent Systems over Finite Fields via Semi-Tensor Product Method | IEEE Conference Publication | IEEE Xplore