Dynamic Controllability of Temporal Networks via Supervisory Control