Consensus for hybrid multi-agent systems with pulse-modulated protocols. (May 2020)