Convex Synthesis of Multivariable Static Discrete-Time Anti-Windup Via the Jury-Lee Criterion

Abstract Due to its ease of application, the circle criterion has been widely used to guarantee the stability of many anti-windup schemes. While the Popov criterion gives less conservative results, it has been conjectured in the literature that it cannot be used for convex anti-windup synthesis. This paper shows that the conjecture does not necessarily apply in the discrete-time setting. We show how the search for optimal parameters corresponding to the Jury-Lee criterion (a discrete counterpart of the Popov criterion) can be formulated as a convex search via a linear matrix inequality (LMI). The result is then extended to two existing multivariable static anti-windup schemes with stable open-loop plants. Two numerical examples of multivariable anti-windup controller synthesis are provided, and it is shown that in both cases the synthesis using the Jury-Lee criterion can allow better performance than existing methods which use the circle criterion alone.

[1]  Manfred Morari,et al.  A unified framework for the study of anti-windup designs , 1994, Autom..

[2]  Zongli Lin,et al.  Stability analysis of discrete-time systems with actuator saturation by a saturation-dependent Lyapunov function , 2003, Autom..

[3]  Andrew G. Sparks,et al.  Control of systems with actuator saturation non-linearities: An LMI approach , 2001 .

[4]  E. Feron,et al.  Analysis and synthesis of robust control systems via parameter-dependent Lyapunov functions , 1996, IEEE Trans. Autom. Control..

[5]  Manfred Morari,et al.  Multivariable anti-windup controller synthesis using linear matrix inequalities , 2001, Autom..

[6]  Masami Saeki,et al.  Synthesis of a Static Anti-Windup Compensator via Linear Matrix Inequalities , 2000 .

[7]  D. S. Bernstein,et al.  Explicit construction of quadratic Lyapunov functions for the small gain, positivity, circle and Popov theorems and their application to robust stability , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[8]  J. Lozier,et al.  A steady state approach to the theory of saturable servo systems , 1956 .

[9]  Manfred Morari,et al.  Multivariable Anti-windup Controller Synthesis Using Bilinear Matrix Inequalities , 2000, Eur. J. Control.

[10]  Sophie Tarbouriech,et al.  Stability regions for linear systems with saturating controls via circle and Popov criteria , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.

[11]  Manfred Morari,et al.  Multiplier theory for stability analysis of anti-windup control systems , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[12]  I. Postlethwaite,et al.  A new perspective on static and low order anti-windup synthesis , 2004 .

[13]  Luca Zaccarian,et al.  Linear discrete-time global and regional anti-windup: an LMI approach , 2009, Int. J. Control.

[14]  Stephen P. Boyd,et al.  Linear Matrix Inequalities in Systems and Control Theory , 1994 .

[15]  Alex Zheng,et al.  Anti-windup design for internal model control , 1994 .

[16]  Dennis S. Bernstein,et al.  Anti-windup compensator synthesis for systems with saturation actuators , 1995 .

[17]  Sophie Tarbouriech,et al.  Anti-windup design with guaranteed regions of stability for discrete-time linear systems , 2004 .

[18]  Manfred Morari,et al.  Robust control of processes subject to saturation nonlinearities , 1990 .

[19]  Guang Li,et al.  LMI-Based Stability Criteria for Discrete-Time Lur'e Systems With Monotonic, Sector- and Slope-Restricted Nonlinearities , 2013, IEEE Transactions on Automatic Control.

[20]  E. I. Jury,et al.  On the absolute stability of nonlinear sample-data systems , 1964 .

[21]  Luca Zaccarian,et al.  The l2 anti-windup problem for discrete-time linear systems: Definition and solutions , 2008, Syst. Control. Lett..

[22]  Michel Kinnaert,et al.  Conditioning technique, a general anti-windup and bumpless transfer method , 1987, Autom..

[23]  D. Bernstein,et al.  Explicit construction of quadratic lyapunov functions for the small gain, positivity, circle, and popov theorems and their application to robust stability. part II: Discrete-time theory , 1993 .

[24]  Vikram Kapila,et al.  Control of discrete-time systems with actuator non-linearities: An LMI approach , 2002, Int. J. Syst. Sci..

[25]  Manfred Morari,et al.  Multiplier theory for stability analysis of anti-windup control systems , 1999, Autom..

[26]  E. Jury,et al.  Discrete-time positive-real lemma revisited: the discrete-time counterpart of the Kalman-Yakubovitch lemma , 1994 .

[27]  Masami Saeki,et al.  Design of a static anti-windup compensator which guarantees robust stability § , 1999 .

[28]  Guido Herrmann,et al.  Incorporating Robustness Requirements Into Antiwindup Design , 2007, IEEE Transactions on Automatic Control.

[29]  E. I. Jury,et al.  On the stability of a certain class of nonlinear sampled-data systems , 1964 .

[31]  Vasile Dragan H∞-norms and disturbance attenuation for systems with fast transients , 1996, IEEE Trans. Autom. Control..

[32]  R. Middleton,et al.  Anti-windup schemes for discrete time systems: an LMI-based design , 2004, 2004 5th Asian Control Conference (IEEE Cat. No.04EX904).

[33]  Matthew C. Turner,et al.  Case studies using linear matrix inequalities for optimal anti-windup synthesis , 2001, 2001 European Control Conference (ECC).

[34]  Vincent R. Marcopoli,et al.  Analysis and synthesis tools for a class of actuator-limited multivariable control systems: A linear matrix inequality approach , 1996 .

[35]  Guido Herrmann,et al.  Discrete-time and sampled-data anti-windup synthesis: stability and performance , 2006, Int. J. Syst. Sci..

[36]  Stephen P. Boyd,et al.  Linear Matrix Inequalities in System and Control Theory , 1994, Studies in Applied Mathematics.