Formation control based on virtual space configuration for multi-robot collective navigation | IEEE Conference Publication | IEEE Xplore