Controlling fluid flows with positive polynomials

A novel nonlinear feedback control design methodology for incompressible fluid flows aiming at the optimisation of long-time averages of key flow quantities is presented. The key idea, first outlined in Ref. [1], is that the difficulties of treating and optimising long-time averages are relaxed by shifting the analysis to upper/lower bounds for minimisation/maximisation problems, respectively. In this setting, control design reduces to finding the polynomial-type state-feedback controller that optimises the bound, subject to a polynomial inequality constraint involving the cost function, the nonlinear system, the controller itself and a tunable polynomial function. A numerically tractable approach, based on Sum-of-Squares of polynomials techniques and semidefinite programming, is proposed. As a prototypical example of control of separated flows, the mitigation of the fluctuation kinetic energy in the unsteady two-dimensional wake past a circular cylinder at a Reynolds number equal to 100, via controlled angular motions of the surface, is investigated. A compact control-oriented reduced-order model, resolving the long-term behaviour of the fluid flow and the effects of actuation, is first derived using Proper Orthogonal Decomposition and Galerkin projection. In a full-information setting, linear state-feedback controllers are then designed to reduce the long-time average of the resolved kinetic energy associated to the limit cycle of the system. Controller performance is then assessed in direct numerical simulations.

[1]  B. R. Noack,et al.  A hierarchy of low-dimensional models for the transient and post-transient cylinder wake , 2003, Journal of Fluid Mechanics.

[2]  A. Papachristodoulou,et al.  On the construction of Lyapunov functions using the sum of squares decomposition , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[3]  L. Sirovich TURBULENCE AND THE DYNAMICS OF COHERENT STRUCTURES PART I : COHERENT STRUCTURES , 2016 .

[4]  P. Holmes,et al.  Turbulence, Coherent Structures, Dynamical Systems and Symmetry , 1996 .

[5]  F. Fuentes,et al.  Sum-of-squares of polynomials approach to nonlinear stability of fluid flows: an example of application , 2015, Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[6]  Davide Lasagna,et al.  Wall‐based reduced‐order modelling , 2016 .

[7]  L. Cordier,et al.  Optimal rotary control of the cylinder wake using proper orthogonal decomposition reduced-order model , 2005 .

[8]  Aleksandar Jemcov,et al.  OpenFOAM: A C++ Library for Complex Physics Simulations , 2007 .

[9]  Sophie Tarbouriech,et al.  Design of Polynomial Control Laws for Polynomial Systems Subject to Actuator Saturation , 2013, IEEE Transactions on Automatic Control.

[10]  C. Fletcher Computational Galerkin Methods , 1983 .

[11]  L. Sirovich Turbulence and the dynamics of coherent structures. I. Coherent structures , 1987 .

[12]  A. Papachristodoulou,et al.  Polynomial sum of squares in fluid dynamics: a review with a look ahead , 2014, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[13]  Andrea Serrani,et al.  Control input separation by actuation mode expansion for flow control problems , 2008, Int. J. Control.

[14]  Johan Löfberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004 .

[15]  Johan Löfberg,et al.  Pre- and Post-Processing Sum-of-Squares Programs in Practice , 2009, IEEE Transactions on Automatic Control.

[16]  Dan Zhao,et al.  Robust static output feedback design for polynomial nonlinear systems , 2010 .

[17]  Laurent Cordier,et al.  Calibration of POD reduced‐order models using Tikhonov regularization , 2009 .

[18]  Optimal rotary control of the cylinder wake in the laminar regime , 2002 .

[19]  On the power required to control the circular cylinder wake by rotary oscillations , 2006 .

[20]  A. Garulli,et al.  Positive Polynomials in Control , 2005 .

[21]  Peter J Seiler,et al.  SOSTOOLS: Sum of squares optimization toolbox for MATLAB , 2002 .

[22]  Pablo A. Parrilo,et al.  Semidefinite programming relaxations for semialgebraic problems , 2003, Math. Program..

[23]  S. Nguang,et al.  Nonlinear static output feedback controller design for uncertain polynomial systems: An iterative sums of squares approach , 2011, 2011 6th IEEE Conference on Industrial Electronics and Applications.

[24]  J. Peraire,et al.  OPTIMAL CONTROL OF VORTEX SHEDDING USING LOW-ORDER MODELS. PART II-MODEL-BASED CONTROL , 1999 .

[25]  Haecheon Choi,et al.  CONTROL OF FLOW OVER A BLUFF BODY , 2008, Proceeding of Fifth International Symposium on Turbulence and Shear Flow Phenomena.