In this paper, we consider networks of static sensors with integrated sensing and communication capabilities. The goal of the sensors is to propagate their collected information to every other agent in the network and possibly a human operator. Such a task requires constant communication among all agents which may result in collisions and congestion in wireless communication. To mitigate this issue, we impose locally non-interfering communication constraints that must be respected by every agent. We show that these constraints along with the requirement of propagating information in the network can be captured by a Linear Temporal Logic (LTL) framework. Existing temporal logic control synthesis algorithms can be used to design correct-by-construction communication schedules that satisfy the considered LTL formula. Nevertheless, such approaches are centralized and scale poorly with the size of the network. We propose a distributed LTL-based algorithm that designs communication schedules that determine which agents should communicate while maximizing network usage. We show that the proposed algorithm is complete and demonstrate its efficiency and scalability through numerical experiments.

中文翻译：

---

通过线性时间逻辑的分布式本地无干扰连接

在本文中，我们考虑具有集成传感和通信功能的静态传感器网络。传感器的目标是将它们收集的信息传播给网络中的每个其他代理，可能还有人类操作员。这样的任务需要所有代理之间的持续通信，这可能会导致无线通信中的冲突和拥塞。为了缓解这个问题，我们强加了每个代理都必须遵守的本地非干扰通信约束。我们表明，这些约束以及在网络中传播信息的要求可以通过线性时间逻辑 (LTL) 框架捕获。现有的时间逻辑控制综合算法可用于设计满足所考虑的 LTL 公式的按结构正确的通信调度。尽管如此，这种方法是集中式的，并且随着网络的规模而扩展性很差。我们提出了一种基于分布式 LTL 的算法，该算法设计了通信时间表，以确定哪些代理应该在最大化网络使用率的同时进行通信。我们证明了所提出的算法是完整的，并通过数值实验证明了其效率和可扩展性。