Hybrid model formulation and stability analysis of a PID-controlled motion system with Coulomb friction