Safety control using barrier certificates for multiagent systems with input saturation and formation constraints. - Xiaowu Yang; Xiaoping Fan; Fei Long; Ganrong Li (J. Frankl. Inst., 2022)