6b98f375c2d51d71.tex
1: \begin{abstract}
2: We solve large-scale mixed-integer linear programs (MILPs) via distributed
3: asynchronous saddle point computation. This is motivated by the MILPs
4: being able to model problems in multi-agent autonomy, e.g., task assignment problems
5: and trajectory planning with collision avoidance constraints in multi-robot
6: systems. To solve a MILP, we relax it with a nonlinear program approximation
7: whose accuracy tightens as the number of agents increases relative
8: to the number of coupled constraints. Next, we form an equivalent
9: Lagrangian saddle point problem, and then regularize 
10: the Lagrangian in both the
11: primal and dual spaces to create a regularized Lagrangian that is
12: strongly-convex-strongly-concave. We then develop a parallelized algorithm
13: to compute saddle points of the regularized Lagrangian. This algorithm
14: partitions problems into blocks, which are either scalars or sub-vectors
15: of the primal or dual decision variables, and it is shown to tolerate
16: asynchrony in the computations and communications of primal and dual
17: variables. Suboptimality bounds and convergence rates are presented
18: for convergence to a saddle point. The suboptimality bound includes
19: (i) the regularization error induced by regularizing the Lagrangian
20: and (ii) the suboptimality gap between solutions to the original MILP
21: and its relaxed form. Simulation results illustrate these theoretical
22: developments in practice, and show that relaxation and regularization
23: together have only a mild impact on the quality of solution obtained. 
24: \end{abstract}
25: