You can connect to a remote lab machine using Vivado Hardware Server product. This is a small sized (<100 MB) standalone download available for install on the lab machine. This option requires intranet or internet access and can be used internally just within your organization as well.
Figure 1. Debug via Internet/Intranet Using Hardware Server
