Sparse stabilization and optimal control of the Cucker-Smale model

This article is mainly based on the work [7], and it is dedicated to the 60th anniversary of B. Bonnard, held in Dijon in June 2012. We focus on a controlled Cucker--Smale model in finite dimension. Such dynamics model self-organization and consensus emergence in a group of agents. We explore how it is possible to control this model in order to enforce or facilitate pattern formation or convergence to consensus. In particular, we are interested in designing control strategies that are componentwise sparse in the sense that they require a small amount of external intervention, and also time sparse in the sense that such strategies are not chattering in time. These sparsity features are desirable in view of practical issues. We first show how very simple sparse feedback strategies can be designed with the use of a variational principle, in order to steer the system to consensus. These feedbacks are moreover optimal in terms of decay rate of some functional, illustrating the general principle according to which ''sparse is better''. We then combine these results with local controllability properties to get global controllability results. Finally, we explore the sparsity properties of the optimal control minimizing a combination of the distance from consensus and of a norm of the control.

[1]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[2]  C. Patlak.  Random walk with persistence and external bias , 1953 .

[3]  T. Mann.  The Black Swan , 1954 .

[4]  L. S. Pontryagin,et al.  Mathematical Theory of Optimal Processes , 1962 .

[5]  I. Flügge-Lotz,et al.  Investigation of Optimal Control With a Minimum-Fuel Consumption Criterion for a Fourth-Order Plant With Two Control Inputs; Synthesis of an Efficient Suboptimal Control , 1965 .

[6]  M. L. Chambers.  The Mathematical Theory of Optimal Processes , 1965 .

[7]  Richard Bellman,et al.  Introduction to the mathematical theory of control processes , 1967 .

[8]  D. Wishart.  Introduction to the Mathematical Theory of Control Processes. Volume 1—Linear Equations and Quadratic Criteria , 1969 .

[9]  L. Segel,et al.  Initiation of slime mold aggregation viewed as an instability. , 1970, Journal of theoretical biology.

[10]  Lamberto Cesari,et al.  Optimization-Theory And Applications , 1983 .

[11]  조준학,et al.  Growth of human bronchial epithelial cells at an air-liquid interface alters the response to particle exposure , 2013, Particle and Fibre Toxicology.

[12]  Hiro-Sato Niwa.  Self-organizing Dynamic Model of Fish Schooling , 1994 .

[13]  M. I. Zelikin,et al.  Theory of Chattering Control: with applications to Astronautics, Robotics, Economics, and Engineering , 1994 .

[14]  Vladimir Borisov,et al.  Theory of Chattering Control , 1994 .

[15]  Tu,et al.  Long-Range Order in a Two-Dimensional Dynamical XY Model: How Birds Fly Together. , 1995, Physical review letters.

[16]  Vicsek,et al.  Novel type of phase transition in a system of self-driven particles. , 1995, Physical review letters.

[17]  W. L. Romey.  Individual differences make a difference in the trajectories of simulated schools of fish , 1996 .

[18]  Yu. S. Ledyaev,et al.  Asymptotic controllability implies feedback stabilization , 1997, IEEE Trans. Autom. Control..

[19]  Ken Sugawara,et al.  Cooperative acceleration of task performance: foraging behavior of interacting multi-robots system , 1997 .

[20]  S. Mallat.  A wavelet tour of signal processing , 1998 .

[21]  L. Edelstein-Keshet,et al.  Complexity, pattern, and evolutionary trade-offs in animal aggregation. , 1999, Science.

[22]  Naomi Ehrich Leonard,et al.  Virtual leaders, artificial potentials and coordinated control of groups , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[23]  Steven V. Viscido,et al.  Self-Organized Fish Schools: An Examination of Emergent Properties , 2002, The Biological Bulletin.

[24]  James W. Minett,et al.  Self-organization and selection in the emergence of vocabulary , 2002, Complex..

[25]  Jie Lin,et al.  Correction to "Coordination of groups of mobile autonomous agents using nearest neighbor rules" , 2003, IEEE Trans. Autom. Control..

[26]  Dirk Horstmann,et al.  F ¨ Ur Mathematik in Den Naturwissenschaften Leipzig from 1970 until Present: the Keller-segel Model in Chemotaxis and Its Consequences from 1970 until Present: the Keller-segel Model in Chemotaxis and Its Consequences , 2022 .

[27]  Guy Theraulaz,et al.  Self-Organization in Biological Systems , 2001, Princeton studies in complexity.

[28]  I D Couzin,et al.  Self-organized lane formation and optimized traffic flow in army ants , 2003, Proceedings of the Royal Society of London. Series B: Biological Sciences.

[29]  Jie Lin,et al.  Coordination of groups of mobile autonomous agents using nearest neighbor rules , 2003, IEEE Trans. Autom. Control..

[30]  Felipe Cucker,et al.  Modeling Language Evolution , 2004, Found. Comput. Math..

[31]  Emmanuel Trélat,et al.  Global Steady-State Controllability of One-Dimensional Semilinear Heat Equations , 2004, SIAM J. Control. Optim..

[32]  Emmanuel Trélat,et al.  Contrôle optimal : théorie & applications , 2005 .

[33]  E. Candès,et al.  Stable signal recovery from incomplete and inaccurate measurements , 2005, math/0503066.

[34]  I. Couzin,et al.  Effective leadership and decision-making in animal groups on the move , 2005, Nature.

[35]  J. Urry.  Complexity , 2006, Interpreting Art.

[36]  Emmanuel Trélat,et al.  GLOBAL STEADY-STATE STABILIZATION AND CONTROLLABILITY OF 1D SEMILINEAR WAVE EQUATIONS , 2006 .

[37]  B. Perthame.  Transport Equations in Biology , 2006 .

[38]  H. Maurer,et al.  On L1‐minimization in optimal control and applications to robotics , 2006 .

[39]  Naomi Ehrich Leonard,et al.  Stabilization of Planar Collective Motion: All-to-All Communication , 2007, IEEE Transactions on Automatic Control.

[40]  P. Lions,et al.  Mean field games , 2007 .

[41]  Andrea L. Bertozzi,et al.  Multi-Vehicle Flocking: Scalability of Cooperative Control Algorithms using Pairwise Potentials , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.

[42]  Felipe Cucker,et al.  Emergent Behavior in Flocks , 2007, IEEE Transactions on Automatic Control.

[43]  S. Smale,et al.  On the mathematics of emergence , 2007 .

[44]  Stéphane Mallat,et al.  A Wavelet Tour of Signal Processing - The Sparse Way, 3rd Edition , 2008 .

[45]  Massimo Fornasier,et al.  Recovery Algorithms for Vector-Valued Data with Joint Sparsity Constraints , 2008, SIAM J. Numer. Anal..

[46]  Andrea L. Bertozzi,et al.  c ○ World Scientific Publishing Company A STATISTICAL MODEL OF CRIMINAL BEHAVIOR , 2008 .

[47]  Stphane Mallat,et al.  A Wavelet Tour of Signal Processing, Third Edition: The Sparse Way , 2008 .

[48]  Giuseppe Toscani,et al.  Kinetic equations modelling wealth redistribution: a comparison of approaches. , 2008, Physical review. E, Statistical, nonlinear, and soft matter physics.

[49]  G. Parisi,et al.  Interaction ruling animal collective behavior depends on topological rather than metric distance: Evidence from a field study , 2007, Proceedings of the National Academy of Sciences.

[50]  M. Mew.  A black swan? , 2009, BDJ.

[51]  Magnus Egerstedt,et al.  Controllability of Multi-Agent Systems from a Graph-Theoretic Perspective , 2009, SIAM J. Control. Optim..

[52]  Christian A. Yates,et al.  Inherent noise can facilitate coherence in collective swarm motion , 2009, Proceedings of the National Academy of Sciences.

[53]  Pedro Elosegui,et al.  Extension of the Cucker-Smale Control Law to Space Flight Formations , 2009 .

[54]  Georg Stadler,et al.  Elliptic optimal control problems with L1-control cost and applications for the placement of control devices , 2009, Comput. Optim. Appl..

[55]  Yonina C. Eldar,et al.  Average Case Analysis of Multichannel Sparse Recovery Using Convex Relaxation , 2009, IEEE Transactions on Information Theory.

[56]  Massimo Fornasier,et al.  Particle, kinetic, and hydrodynamic models of swarming , 2010 .

[57]  Benedetto Piccoli,et al.  Modeling self-organization in pedestrians and animal groups from macroscopic and microscopic viewpoints , 2009, 0906.4702.

[58]  Seung-Yeal Ha,et al.  Emergent Behavior of a Cucker-Smale Type Particle Model With Nonlinear Velocity Couplings , 2010, IEEE Transactions on Automatic Control.

[59]  Eric Carlen,et al.  Functional inequalities, thick tails and asymptotics for the critical mass Patlak–Keller–Segel model , 2010, 1009.0134.

[60]  K. Kunisch,et al.  A duality-based approach to elliptic control problems in non-reflexive Banach spaces , 2011 .

[61]  Benedetto Piccoli,et al.  Multiscale Modeling of Granular Flows with Application to Crowd Dynamics , 2010, Multiscale Model. Simul..

[62]  Gerd Wachsmuth,et al.  Convergence and regularization results for optimal control problems with sparsity functional , 2011 .

[63]  Marie-Therese Wolfram,et al.  On a mean field game approach modeling congestion and aversion in pedestrian crowds , 2011 .

[64]  O. Scherzer.  Handbook of mathematical methods in imaging , 2011 .

[65]  Cécile Appert-Rolland,et al.  Traffic Instabilities in Self-Organized Pedestrian Crowds , 2012, PLoS Comput. Biol..

[66]  Karl Kunisch,et al.  Approximation of Elliptic Control Problems in Measure Spaces with Sparse Solutions , 2012, SIAM J. Control. Optim..

[67]  Karl Kunisch,et al.  A measure space approach to optimal source placement , 2012, Comput. Optim. Appl..

[68]  Massimo Fornasier,et al.  Sparse Stabilization and Control of the Cucker-Smale Model , 2012 .

[69]  Cécile Appert-Rolland,et al.  Realistic following behaviors for crowd simulation , 2012, Comput. Graph. Forum.

[70]  Roland Herzog,et al.  Directional Sparsity in Optimal Control of Partial Differential Equations , 2012, SIAM J. Control. Optim..

[71]  Nicola Bellomo,et al.  On the dynamics of social conflicts: looking for the Black Swan , 2012, ArXiv.

[72]  E. Zuazua,et al.  Optimal Observation of the One-dimensional Wave Equation , 2013 .

[73]  Boris Vexler,et al.  A Priori Error Analysis for Discretization of Sparse Elliptic Optimal Control Problems in Measure Space , 2013, SIAM J. Control. Optim..

[74]  Enrique Zuazua,et al.  Optimal location of controllers for the one-dimensional wave equation , 2013 .

[75]  Enrique Zuazua,et al.  Complexity and regularity of maximal energy domains for the wave equation with fixed initial data , 2015 .

[76]  Otmar Scherzer,et al.  Handbook of Mathematical Methods in Imaging , 2015, Handbook of Mathematical Methods in Imaging.

[77]  S. Frick,et al.  Compressed Sensing , 2014, Computer Vision, A Reference Guide.