Construction of Periodic Counterexamples to the Discrete-Time Kalman Conjecture

This letter considers the Lurye system of a discrete-time, linear time-invariant plant in negative feedback with a nonlinearity. Both monotone and slope-restricted nonlinearities are considered. The main result is a procedure to construct destabilizing nonlinearities for the Lurye system. If the plant satisfies a certain phase condition then a monotone nonlinearity can be constructed so that the Lurye system has a non-trivial periodic cycle. Several examples are provided to demonstrate the construction. This represents a contribution for absolute stability analysis since the constructed nonlinearity provides a less conservative upper bound than existing bounds in the literature.

[1]  Shuai Wang,et al.  Convex Searches for Discrete-Time Zames–Falb Multipliers , 2018, IEEE Transactions on Automatic Control.

[2]  Bruce Lee,et al.  Finite Step Performance of First-order Methods Using Interpolation Conditions Without Function Evaluations , 2020, ArXiv.

[3]  Matthew C. Turner,et al.  Zames-Falb multipliers for absolute stability: From O'Shea's contribution to convex searches , 2015, 2015 European Control Conference (ECC).

[4]  Arthur Gelb,et al.  Multiple-Input Describing Functions and Nonlinear System Design , 1968 .

[5]  J. Willems.  Mechanisms for the stability and instability in feedback systems , 1976, Proceedings of the IEEE.

[6]  Nikolay V. Kuznetsov,et al.  Algorithms for finding hidden oscillations in nonlinear systems. The Aizerman and Kalman conjectures and Chua’s circuits , 2011 .

[7]  Adrien B. Taylor,et al.  Convex interpolation and performance estimation of first-order methods for convex optimization , 2017 .

[8]  D.L. Elliott,et al.  Feedback systems: Input-output properties , 1976, Proceedings of the IEEE.

[9]  Nikolay V. Kuznetsov,et al.  Hidden attractors in Dynamical Systems. From Hidden oscillations in Hilbert-Kolmogorov, Aizerman, and Kalman Problems to Hidden Chaotic Attractor in Chua Circuits , 2013, Int. J. Bifurc. Chaos.

[10]  Joaquin Carrasco,et al.  Duality bounds for discrete-time Zames-Falb multipliers , 2020, ArXiv.

[11]  William P. Heath,et al.  Phase Limitations of Zames–Falb Multipliers , 2017, IEEE Transactions on Automatic Control.

[12]  Adrien B. Taylor,et al.  Smooth strongly convex interpolation and exact worst-case performance of first-order methods , 2015, Mathematical Programming.

[13]  R. O'Shea.  An improved frequency time domain stability criterion for autonomous continuous systems , 1966, IEEE Transactions on Automatic Control.

[14]  R. Fitts,et al.  Two counterexamples to Aizerman's conjecture , 1966 .

[15]  Van Hien Nguyen,et al.  Finite Convex Integration , 2004 .

[16]  P. Falb,et al.  Stability Conditions for Systems with Monotone and Slope-Restricted Nonlinearities , 1968 .

[18]  Manuel de la Sen,et al.  Second-order counterexamples to the discrete-time Kalman conjecture , 2015, Autom..

[19]  J. Willems,et al.  Some new rearrangement inequalities having application in stability analysis , 1968 .

[20]  Manuel de la Sen,et al.  Second-order counterexample to the discrete-time Kalman conjecture , 2015, 2015 European Control Conference (ECC).

[21]  N. Barabanov,et al.  On the Kalman problem , 1988 .

[22]  R. O'Shea,et al.  A frequency-time domain stability criterion for sampled-data systems , 1967, IEEE Transactions on Automatic Control.