There are various cameras around the space that you can use to see how busy an area is or if a tool is in use.
https://dallasmakerspace.org/cam/