DeepAI AI Chat
Log In Sign Up

Rapid Top-Down Synthesis of Large-Scale IoT Networks

02/11/2020
by   Pradipta Ghosh, et al.
The University of Texas at Austin
Universidade Federal de Minas Gerais
0

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.

READ FULL TEXT

page 4

page 7

page 9

page 11

02/06/2016

Fuzzy Maximum Satisfiability

In this paper, we extend the Maximum Satisfiability (MaxSAT) problem to ...
02/20/2021

Knowledge engineering mixed-integer linear programming: constraint typology

In this paper, we investigate the constraint typology of mixed-integer l...
03/09/2022

Surrogate "Level-Based" Lagrangian Relaxation for Mixed-Integer Linear Programming

Mixed-Integer Linear Programming problems, playing a prominent role in O...
07/25/2022

A Multiresolution approach to solve large-scale optimization problems

General purpose optimization techniques can be used to solve many proble...
06/03/2019

On Modelling the Avoidability of Patterns as CSP

Solving avoidability problems in the area of string combinatorics often ...
08/24/2021

Multi-UAV Assisted Data Gathering in WSN: A MILP Approach For Optimizing Network Lifetime

In this paper, we study the problem of gathering data from large-scale w...