Sum-of-squares approach to feedback control of laminar wake flows

In this paper a novel nonlinear feedback control design methodology for incompressible fluid flows aiming at the optimisation of long-time averages of flow quantities is presented. It applies to reduced-order finite-dimensional models of fluid flows, expressed as a set of first-order nonlinear ordinary differential equations with the right-hand side being a polynomial function in the state variables and in the controls. The key idea, first discussed in Chernyshenko et al. (Phil. Trans. R. Soc. Lond. A, vol. 372, 2014, 20130350), is that the difficulties of treating and optimising long-time averages of a cost are relaxed by using the upper/lower bounds of such averages as the objective function. In this setting, control design reduces to finding a 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 and efficient approach to the solution of such optimisation problems, based on sum-of-squares techniques and semidefinite programming, is proposed. To showcase the methodology, the mitigation of the fluctuation kinetic energy in the unsteady wake behind a circular cylinder in the laminar regime at $Re=100$ , via controlled angular motions of the surface, is numerically investigated. A compact reduced-order model that resolves 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, feedback controllers are then designed to reduce the long-time average of the resolved kinetic energy associated with the limit cycle. These controllers are then implemented in direct numerical simulations of the actuated flow. Control performance, total energy efficiency and the physical control mechanisms identified are analysed in detail. Key elements of the methodology, implications and future work are finally discussed.

[1]  B. R. Noack,et al.  Wake stabilization using POD Galerkin models with interpolated modes , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

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

[3]  E. Berger Suppression of Vortex Shedding and Turbulence behind Oscillating Cylinders , 1967 .

[4]  Peter J. Schmid,et al.  Closed-loop control of an open cavity flow using reduced-order models , 2009, Journal of Fluid Mechanics.

[5]  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..

[6]  Paolo Luchini,et al.  Feedback control of vortex shedding using a full-order optimal compensator , 2015 .

[7]  J. Weller,et al.  Feedback control by low-order modelling of the laminar flow past a bluff body , 2009, Journal of Fluid Mechanics.

[8]  B. Teng,et al.  Numerical investigations of lift suppression by feedback rotary oscillation of circular cylinder at low Reynolds number , 2011 .

[9]  Gilead Tadmor,et al.  On the need of nonlinear control for efficient model-based wake stabilization , 2014 .

[10]  B. R. Noack,et al.  Optimal nonlinear eddy viscosity in Galerkin models of turbulent flows , 2014, Journal of Fluid Mechanics.

[11]  Hiroshi Naito,et al.  Active control of vortex shedding: an explanation of the gain window. , 2014, Physical review. E, Statistical, nonlinear, and soft matter physics.

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

[13]  Charles-Henri Bruneau,et al.  Enablers for robust POD models , 2009, J. Comput. Phys..

[14]  B. R. Noack,et al.  Closed-Loop Turbulence Control: Progress and Challenges , 2015 .

[15]  Roger Temam,et al.  On the nonlinear Galerkin methods , 1989 .

[16]  Roger Temam,et al.  DNS-based predictive control of turbulence: an optimal benchmark for feedback algorithms , 2001, Journal of Fluid Mechanics.

[17]  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.

[18]  P. Luchini,et al.  Structural sensitivity of the first instability of the cylinder wake , 2007, Journal of Fluid Mechanics.

[19]  Weehong Tan,et al.  Nonlinear Control Analysis and Synthesis using Sum-of-Squares Programming , 2006 .

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

[21]  O. Marquet,et al.  Sensitivity analysis and passive control of cylinder flow , 2008, Journal of Fluid Mechanics.

[22]  Thomas Corke,et al.  Plasma Actuators for Cylinder Flow Control and Noise Reduction , 2008 .

[23]  Paul J. Goulart,et al.  Global Stability Analysis of Fluid Flows using Sum-of-Squares , 2010, ACC 2010.

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

[25]  D. Rempfer,et al.  On Low-Dimensional Galerkin Models for Fluid Flow , 2000 .

[26]  Bernd R. Noack,et al.  A global stability analysis of the steady and periodic cylinder wake , 1994, Journal of Fluid Mechanics.

[27]  J. Lofberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004, 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508).

[28]  B. R. Noack,et al.  On long-term boundedness of Galerkin models , 2013, Journal of Fluid Mechanics.

[29]  M. Provansal,et al.  Bénard-von Kármán instability: transient and forced regimes , 1987, Journal of Fluid Mechanics.

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

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

[32]  B. R. Noack Turbulence, Coherent Structures, Dynamical Systems and Symmetry , 2013 .

[33]  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.

[34]  Turgut Sarpkaya,et al.  A critical review of the intrinsic nature of vortex-induced vibrations , 2004 .

[35]  Bartosz Protas,et al.  Optimal rotary control of the cylinder wake in the laminar regime , 2002 .

[36]  R. D. Blevins,et al.  Review of sound induced by vortex shedding from cylinders , 1984 .

[37]  G. Karniadakis,et al.  A spectral viscosity method for correcting the long-term behavior of POD models , 2004 .

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

[39]  Nobuyuki Fujisawa,et al.  Feedback Control of Vortex Shedding from a Circular Cylinder by Rotational Oscillations , 2001 .

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

[41]  P. Sagaut,et al.  Calibrated reduced-order POD-Galerkin system for fluid flow modelling , 2005 .

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

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

[44]  Jean-Luc Aider,et al.  Closed-loop separation control using machine learning , 2014, Journal of Fluid Mechanics.

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

[46]  Bernd R. Noack,et al.  Identification strategies for model-based control , 2013 .

[47]  Steven L. Brunton,et al.  Frequency selection by feedback control in a turbulent shear flow , 2016, Journal of Fluid Mechanics.

[48]  Tim Colonius,et al.  Optimal control of circular cylinder wakes using long control horizons , 2015, 1504.03949.

[49]  Inertial manifolds , 1990 .

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

[51]  Thomas Bewley,et al.  The decay of stabilizability with Reynolds number in a linear model of spatially developing flows , 2003, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[52]  Charles-Henri Bruneau,et al.  Low-order modelling of laminar flow regimes past a confined square cylinder , 2004, Journal of Fluid Mechanics.

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

[54]  B. Fornberg Steady Viscous Flow Past a Circular Cylinder up to Reynolds Number 600 , 1985 .

[55]  P. Holmes,et al.  The Proper Orthogonal Decomposition in the Analysis of Turbulent Flows , 1993 .

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

[57]  B. R. Noack,et al.  A Finite-Time Thermodynamics of Unsteady Fluid Flows , 2008 .

[58]  Sophie Papst,et al.  Computational Methods For Fluid Dynamics , 2016 .

[59]  C. Williamson,et al.  Vortex-Induced Vibrations , 2004, Wind Effects on Structures.

[60]  Angelo Iollo,et al.  Feedback control of the vortex-shedding instability based on sensitivity analysis , 2010 .

[61]  M. Amaouche On some mixed convection flows described by exact solutions of Prandtl equations , 1991 .

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

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

[64]  E. W. Hendricks,et al.  Feedback control of von Kármán vortex shedding behind a circular cylinder at low Reynolds numbers , 1994 .

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

[66]  A Mehmood,et al.  Linear and nonlinear active feedback controls for vortex-induced vibrations of circular cylinders , 2014 .

[67]  J. Timmer,et al.  Parameter estimation in ordinary differential equations for biochemical processes using the method of multiple shooting. , 2007, IET systems biology.

[68]  B. R. Noack,et al.  On the need for a nonlinear subscale turbulence term in POD models as exemplified for a high-Reynolds-number flow over an Ahmed body , 2013, Journal of Fluid Mechanics.

[69]  Kelly Cohen,et al.  Numerical Simulations of a Feedback-Controlled Circular Cylinder Wake , 2006 .

[70]  Ionel M. Navon,et al.  Suppression of vortex shedding for flow around a circular cylinder using optimal control , 2002 .

[71]  Azeddine Kourta,et al.  Closed-loop separation control over a sharp edge ramp using genetic programming , 2015, 1508.05268.

[72]  Nadine Aubry,et al.  On the symmetry breaking instability leading to vortex shedding , 1997 .

[73]  R. Henderson,et al.  Three-dimensional Floquet stability analysis of the wake of a circular cylinder , 1996, Journal of Fluid Mechanics.

[74]  J. Wesfreid,et al.  Drag force in the open-loop control of the cylinder wake in the laminar regime , 2002 .

[75]  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.

[76]  R. Temam,et al.  On some control problems in fluid mechanics , 1990 .

[77]  Kimon Roussopoulos,et al.  Feedback control of vortex shedding at low Reynolds numbers , 1993, Journal of Fluid Mechanics.

[78]  Paul J. Goulart,et al.  Stability analysis of fluid flows using sum-of-squares , 2010, Proceedings of the 2010 American Control Conference.

[79]  Gilead Tadmor,et al.  Mean field representation of the natural and actuated cylinder wake , 2010 .

[80]  Gilead Tadmor,et al.  Reduced-order models for closed-loop wake control , 2011, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[81]  Robert J. Renka,et al.  Algorithm 624: Triangulation and Interpolation at Arbitrarily Distributed Points in the Plane , 1984, TOMS.