A Convex Reformulation of the Controller Synthesis Problem for Infinite-Dimensional Systems using Linear Operator Inequalities (LOIs) with Application to MIMO Multi-Delay Systems

In this paper, we propose a formal duality and operator-based framework for controller synthesis of infinite-dimensional systems using convex optimization. Specifically, we propose a class of what we call Linear Operator Inequalities (LOIs) and give conditions under which LOIs are solvable and under which they can be used for controller synthesis. Within this LOI framework, the first technical contribution of the paper is a new dual stability condition under which we can reformulate the controller synthesis problem as an LOI. The second technical contribution is LOIs for both primal and dual stability of systems with multiple delays. The third technical contribution is to show that both these LOIs are solvable. Finally, we use an LMI-based framework to solve these LOIs and demonstrate numerically that the primal and dual stability conditions are functionally equivalent for MIMO systems with multiple delays.

[1]  F. Gouaisbaut,et al.  Robust stability of polytopic time-delay systems with delays defined in intervals , 2008 .

[2]  P. Parrilo.  Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization , 2000 .

[3]  V. Barbu.  Mathematical Methods in Optimization of Differential Systems , 1994 .

[4]  Matthew M. Peet.  LMI parametrization of Lyapunov functions for infinite-dimensional systems: A framework , 2014, 2014 American Control Conference.

[5]  Zhou Luan-jie,et al.  Delay-Dependent Robust Stabilization of Uncertain State-Delayed Systems , 2004 .

[6]  M. Krstić.  Boundary Control of PDEs: A Course on Backstepping Designs , 2008 .

[7]  Mark J. Balas,et al.  Stability of distributed parameter systems with finite-dimensional controller-compensators using singular perturbations , 1984 .

[8]  Frédéric Gouaisbaut,et al.  Wirtinger-based integral inequality: Application to time-delay systems , 2013, Autom..

[9]  Antonis Papachristodoulou,et al.  Stability analysis of linear systems with time-varying delays: Delay uncertainty and quenching , 2007, 2007 46th IEEE Conference on Decision and Control.

[10]  Yasuaki Oishi,et al.  A Matrix-Dilation Approach to Robust Semidefinite Programming and Its Error Bound , 2010 .

[11]  Karl Pearson F.R.S..  LIII. On lines and planes of closest fit to systems of points in space , 1901 .

[12]  Onur Toker,et al.  Mathematics of Control , Signals , and Systems Complexity Issues in Robust Stability of Linear Delay-Differential Systems * , 2005 .

[13]  K. Gu.  Discretized LMI set in the stability problem of linear uncertain time-delay systems , 1997 .

[14]  Matthew M. Peet,et al.  Inversion of Separable Kernel Operators in Coupled Differential-Functional Equations and Application to Controller Synthesis , 2017, ArXiv.

[15]  Aditya Gahlawat,et al.  A Convex Sum-of-Squares Approach to Analysis, State Feedback and Output Feedback Control of Parabolic PDEs , 2015, IEEE Transactions on Automatic Control.

[16]  Emilia Fridman,et al.  Introduction to Time-Delay Systems: Analysis and Control , 2014 .

[17]  I. Lasiecka.  Control of systems governed by partial differential equations: a historical perspective , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[18]  Rifat Sipahi,et al.  Delay Systems: From Theory to Numerics and Applications , 2013 .

[19]  Alexandre Seuret,et al.  Stability Analysis of Sampled-Data Systems Using Sum of Squares , 2013, IEEE Transactions on Automatic Control.

[20]  Hans Zwart,et al.  An Introduction to Infinite-Dimensional Linear Systems Theory , 1995, Texts in Applied Mathematics.

[21]  Matthew M. Peet.  Full-State Feedback of Delayed Systems Using SOS: A New Theory of Duality , 2013, TDS.

[22]  R. Kress.  Linear Integral Equations , 1989 .

[23]  Alain Bensoussan,et al.  Representation and Control of Infinite Dimensional Systems, 2nd Edition , 2007, Systems and control.

[24]  Keqin Gu,et al.  Stability problem of systems with multiple delay channels , 2010, Autom..

[25]  Frédéric Mazenc,et al.  Backstepping design for time-delay nonlinear systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[26]  S. Lall,et al.  Constructing Lyapunov Functions for nonlinear delay-differential equations using semidefinite programming , 2004 .

[27]  Aditya Gahlawat,et al.  Optimal state feedback boundary control of parabolic PDEs using SOS polynomials , 2016, 2016 American Control Conference (ACC).

[28]  Matthew M. Peet,et al.  A convex reformulation of the controller synthesis problem for MIMO single-delay systems with implementation in SOS , 2017, 2017 American Control Conference (ACC).