Behavior-Based Formation Control Digital Twin for Multi-AUG in Edge Computing | IEEE Journals & Magazine | IEEE Xplore