On Consensus of Second-Order Multiagent Systems With Actuator Saturations: A Generalized-Nyquist-Criterion-Based Approach | Synapse