Secured formation control for multi-agent systems under DoS attacks | IEEE Conference Publication | IEEE Xplore