Lyapunov Based Performance Guarantees for the Potential Field Lane-keeping Assistance System | Synapse