Sparse stabilization and control of the Cucker-Smale model

Marco Caponigro (1) , Massimo Fornasier (2) , Benedetto Piccoli (3) , Emmanuel Trélat (4)

1 M2N - Modélisation mathématique et numérique
2 Fakultät Mathematik
3 Rutgers University, Department of Mathematics
4 LJLL - Laboratoire Jacques-Louis Lions

From a mathematical point of view self-organization can be described as patterns to which certain dynamical systems modeling social dynamics tend spontaneously to be attracted. In this paper we explore situations beyond self-organization, in particular how to externally control such dynamical systems in order to eventually enforce pattern formation also in those situations where this wished phenomenon does not result from spontaneous convergence. Our focus is on dynamical systems of Cucker-Smale type, modeling consensus emergence, and we question the existence of stabilization and optimal control strategies which require the minimal amount of external intervention for nevertheless inducing consensus in a group of interacting agents. First we follow a greedy approach, by designing instantaneous feedback controls with two different sparsity properties: componentwise sparsity, meaning that the controls have at most one nonzero component at every instant of time and their implementation is based on a variational criterion involving $\ell_1$-norm penalization terms; time sparsity, meaning that the number of switchings is bounded on every compact interval of time, and such controls are realized by means of a sample-and-hold procedure. Controls sharing these two sparsity features are very realistic and convenient for practical issues. Moreover we show that among the controls built out of the mentioned variational principle, the maximally sparse ones are instantaneously optimal in terms of the decay rate of a suitably designed Lyapunov functional, measuring the distance from consensus. As a consequence we provide a mathematical justification to the general principle according to which ''sparse is better'' in the sense that a policy maker, who is not allowed to predict future developments, should always consider more favorable to intervene with stronger action on the fewest possible instantaneous optimal leaders rather than trying to control more agents with minor strength in order to achieve group consensus. We then establish local and global sparse controllability properties to consensus. Finally, we analyze the sparsity of solutions of the finite time optimal control problem where the minimization criterion is a combination of the distance from consensus and of the $\ell_1$-norm of the control. Such an optimization models the situation where the policy maker is actually allowed to observe future developments. We show that the lacunarity of sparsity is related to the codimension of certain manifolds in the space of cotangent vectors.

Mots clés: sparse optimal control; Cucker-Smale model; consensus emergence; $\ell_1$-norm minimization; optimal complexity; sparse stabilization; sparse optimal control.

Domaines: Optimisation et contrôle [math.OC]

Marco Caponigro, Massimo Fornasier, Benedetto Piccoli, Emmanuel Trélat. Sparse stabilization and control of the Cucker-Smale model. Mathematical Models and Methods in Applied Sciences, 2015, 25 (3), pp.521--564. ⟨hal-00743792⟩