Adaptive distributed monitors of spatial properties for cyber–physical systems