arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2002.04244cs.NIcs.CC
收藏

大规模IoT网络的快速自顶向下综合

Rapid Top-Down Synthesis of Large-Scale IoT Networks

Pradipta Ghosh, Jonathan Bunton, Dimitrios Pylorof, Marcos Vieira, Kevin Chan, Ramesh Govindan, Gaurav Sukhatme, Paulo Tabuada, Gunjan Verma

摘要:

优化和约束满足技术的进步,以及弹性计算资源的可用性,激发了人们对大规模网络验证和综合的兴趣。受此启发,我们考虑自上而下的自组织物联网网络的合成,用于灾难响应和搜索救援行动。这个综合问题必须满足复杂和竞争的约束:传感器覆盖范围,视线的可见性,和网络连接。我们的合成问题的核心挑战是快速扩展到大区域,同时产生具有成本效益的解决方案。我们探索两个定性不同的表示的综合问题可满足性模凸优化(SMC),和混合整数线性规划(MILP)。对于我们的问题,前者比后者更有表现力,但不太适合解决像我们这样的优化问题。我们展示了如何表达我们的网络合成在这些框架中,并扩展到问题的大小超出了这些框架的能力,开发一个分层的合成技术,独立地合成网络的子区域的部署区域,然后结合这些。我们发现,虽然MILP优于SMC在某些设置较小的问题大小,SMC的表现力匹配我们的问题,确保它均匀地产生更好的质量解决方案,在较大的问题大小的事实。

英文摘要:

Advances in optimization and constraint satisfaction techniques, together with the availability of elastic computing resources, have spurred interest in large-scale network verification and synthesis. Motivated by this, we consider the top-down synthesis of ad-hoc IoT networks for disaster response and search and rescue operations. This synthesis problem must satisfy complex and competing constraints: sensor coverage, line-of-sight visibility, and network connectivity. The central challenge in our synthesis problem is quickly scaling to large regions while producing cost-effective solutions. We explore two qualitatively different representations of the synthesis problems satisfiability modulo convex optimization (SMC), and mixed-integer linear programming (MILP). The former is more expressive, for our problem, than the latter, but is less well-suited for solving optimization problems like ours. We show how to express our network synthesis in these frameworks, and, to scale to problem sizes beyond what these frameworks are capable of, develop a hierarchical synthesis technique that independently synthesizes networks in sub-regions of the deployment area, then combines these. We find that, while MILP outperforms SMC in some settings for smaller problem sizes, the fact that SMC's expressivity matches our problem ensures that it uniformly generates better quality solutions at larger problem sizes.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑