Controller synthesis method for multi-agent system based on temporal logic specification