A distributed approach for traffic signal synchronization problem