Safety control using barrier certificates for multiagent systems with input saturation and formation constraints. Issue 11 (July 2022)