A paper on formation control was accepted to IEEE Robotics and Automation Letters. This paper proposes a novel safety-guaranteed distributed control algorithm for a formation of multi-robot systems with a mixed of rigid and flexible distance constraints to navigate in an unknown environment using onboard sensor measurements.