Flexible formation using two kinds of cellular automaton in obstacle environment | IEEE Conference Publication | IEEE Xplore