The joint network/control design of platooning algorithms can enforce guaranteed safety constraints