Multi-lane Formation Control in Mixed Traffic Environment | IEEE Conference Publication | IEEE Xplore