On the necessity and sufficiency of discrete-time O’Shea–Zames–Falb multipliers

This paper considers the robust stability of a discrete-time Lurye system consisting of the feedback interconnection between a linear system and a bounded and monotone nonlinearity. It has been conjectured that the existence of a suitable linear time-invariant (LTI) O’Shea–Zames–Falb multiplier is n...

Full description

Saved in:
Bibliographic Details
Published inAutomatica (Oxford) Vol. 150; p. 110872
Main Authors Su, Lanlan, Seiler, Peter, Carrasco, Joaquin, Khong, Sei Zhen
Format Journal Article
LanguageEnglish
Published Elsevier Ltd 01.04.2023
Subjects
Lurye systems
Multipliers
Nonlinearities
Robust stability
S-procedure
Lurye systems
Multipliers
Robust stability
Nonlinearities
S-procedure
Online AccessGet full text

Cover

More Information
Summary:This paper considers the robust stability of a discrete-time Lurye system consisting of the feedback interconnection between a linear system and a bounded and monotone nonlinearity. It has been conjectured that the existence of a suitable linear time-invariant (LTI) O’Shea–Zames–Falb multiplier is not only sufficient but also necessary. Roughly speaking, a successful proof of the conjecture would require: (a) a conic parameterisation of a set of multipliers that describes exactly the set of nonlinearities, (b) a lossless S-procedure to show that the non-existence of a multiplier implies that the Lurye system is not uniformly robustly stable over the set of nonlinearities, and (c) the existence of a multiplier in the set of multipliers used in (a) implies the existence of an LTI multiplier. We investigate these three steps, showing the current bottlenecks for proving this conjecture. In addition, we provide an extension of the class of multipliers which may be used to disprove the conjecture.
ISSN:0005-1098
1873-2836
DOI:10.1016/j.automatica.2023.110872