TY - GEN
T1 - Continuous-time distributed optimization of homogenous dynamics
AU - Shi, Guodong
AU - Proutiere, Alexandre
AU - Johansson, Karl Henrik
PY - 2013
Y1 - 2013
N2 - This paper makes an attempt to explore the fundamental properties of distributed methods for minimizing a sum of objective functions with each component only known to a particular node, given a certain level of node knowledge and computation capacity. The information each node receives from its neighbors can be any nonlinear function of its neighbors' states as long as the function takes value zero within the local consensus manifold. Each node also observes the gradient of its own objective function at its current state. The update dynamics of each node is a first-order integrator. The admissible control input of each node is homogeneous, given by a binary function with each variable corresponding to the neighboring term and the gradient term, respectively. The function determining the control law is assumed to be injective when the first variable is fixed to zero. It is proven that there exists a control rule which guarantees global optimal consensus if and only if the solution sets of the local objectives admit a nonempty intersection set for fixed strongly connected graphs. Then we show that for any tolerated error, we can find a simple control rule that guarantees global optimal consensus within this error for fixed, bidirectional, and connected graphs under mild conditions. For time-varying graphs, we show that optimal consensus can always be achieved by a simple control rule as long as the graph is uniformly jointly strongly connected and the nonempty intersection condition holds. The results illustrate that nonempty intersection for the local optimal solution sets is a critical condition for distributed optimization using consensus processing to connect the information over the nodes.
AB - This paper makes an attempt to explore the fundamental properties of distributed methods for minimizing a sum of objective functions with each component only known to a particular node, given a certain level of node knowledge and computation capacity. The information each node receives from its neighbors can be any nonlinear function of its neighbors' states as long as the function takes value zero within the local consensus manifold. Each node also observes the gradient of its own objective function at its current state. The update dynamics of each node is a first-order integrator. The admissible control input of each node is homogeneous, given by a binary function with each variable corresponding to the neighboring term and the gradient term, respectively. The function determining the control law is assumed to be injective when the first variable is fixed to zero. It is proven that there exists a control rule which guarantees global optimal consensus if and only if the solution sets of the local objectives admit a nonempty intersection set for fixed strongly connected graphs. Then we show that for any tolerated error, we can find a simple control rule that guarantees global optimal consensus within this error for fixed, bidirectional, and connected graphs under mild conditions. For time-varying graphs, we show that optimal consensus can always be achieved by a simple control rule as long as the graph is uniformly jointly strongly connected and the nonempty intersection condition holds. The results illustrate that nonempty intersection for the local optimal solution sets is a critical condition for distributed optimization using consensus processing to connect the information over the nodes.
KW - Distributed optimization
KW - Dynamical Systems
KW - Multi-agent systems
KW - Optimal consensus
UR - http://www.scopus.com/inward/record.url?scp=84897744582&partnerID=8YFLogxK
U2 - 10.1109/Allerton.2013.6736569
DO - 10.1109/Allerton.2013.6736569
M3 - Conference contribution
SN - 9781479934096
T3 - 2013 51st Annual Allerton Conference on Communication, Control, and Computing, Allerton 2013
SP - 520
EP - 527
BT - 2013 51st Annual Allerton Conference on Communication, Control, and Computing, Allerton 2013
PB - IEEE Computer Society
T2 - 51st Annual Allerton Conference on Communication, Control, and Computing, Allerton 2013
Y2 - 2 October 2013 through 4 October 2013
ER -