Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies