“…Since the product automaton captures the behavior of the DES and the DFA at the same time, our goal turns out to reach an accepting state of the product automaton. For that purpose, we introduce a ranking function with the existence of uncontrollable transitions (Sakakibara and Ushio, 2020), which decreases its value if an accepting state is being approached. Definition 3.…”