Stability analysis for multi-agent systems using the incidence matrix: Quantized communication and formation control