A Temporal Logic-Based Hierarchical Network Connectivity Controller