Hello. If you are still interested in the hierarchical product, there has recently been some work on how the domination number of the product graph is related to the domination number of the factor graphs. This is related to an old open conjecture of Vizing. Here's a link to the paper on Science Direct: Article Domination in the hierarchical product and Vizing’s conjecture