Convergent discrete-time nonlinear systems: The case of PWA systems

In this paper we extend the notion of convergence, as defined for continuous-time dynamical systems, to the realm of discrete-time systems. A system is said to be convergent if it exhibits a unique, globally asymptotically stable solution that is defined and bounded on the entire time axis. The convergence property is highly instrumental in solving output regulation, tracking, synchronization and observer design problems. First, we provide a general sufficient condition for the convergence of nonlinear discrete-time systems. Next, we propose constructive sufficient conditions for convergence of discrete-time piecewise afflne (PWA) systems. These conditions are given in the form of matrix inequalities. The proposed results are illustrated by an example in which a tracking control problem for a discrete-time PWA system is tackled.

[1]  Nathan van de Wouw,et al.  Convergent dynamics, a tribute to Boris Pavlovich Demidovich , 2004, Syst. Control. Lett..

[2]  Jozef Vörös,et al.  Modeling and parameter identification of systems with multisegment piecewise-linear characteristics , 2002, IEEE Trans. Autom. Control..

[3]  Alberto Bemporad,et al.  Dynamic programming for constrained optimal control of discrete-time linear hybrid systems , 2005, Autom..

[4]  David Q. Mayne,et al.  Optimal Control of Constrained Piecewise Affine Discrete-Time Systems , 2003, Comput. Optim. Appl..

[5]  Nathan van de Wouw,et al.  Frequency Response Functions for Nonlinear Convergent Systems , 2007, IEEE Transactions on Automatic Control.

[6]  de B Bart Schutter,et al.  On the equivalence of classes of hybrid systems : mixed logical dynamical and complementarity systems , 2000 .

[7]  Manfred Morari,et al.  Analysis of discrete-time piecewise affine and hybrid systems , 2002, Autom..

[8]  M. Morari,et al.  A survey on stability analysis of discrete-time piecewise affine systems , 2005 .

[9]  Nathan van de Wouw,et al.  Global nonlinear output regulation: Convergence-based controller design , 2007, Autom..

[10]  Bart De Schutter,et al.  Equivalence of hybrid dynamical models , 2001, Autom..

[11]  Nathan van de Wouw,et al.  On convergence properties of piecewise affine systems , 2007, Int. J. Control.

[12]  Mato Baotic,et al.  Constrained Optimal Control of Hybrid Systems With a Linear Performance Index , 2006, IEEE Transactions on Automatic Control.

[13]  N. Wouw,et al.  Uniform Output Regulation of Nonlinear Systems: A Convergent Dynamics Approach , 2005 .

[14]  R. Coutinho,et al.  Discrete time piecewise affine models of genetic regulatory networks , 2005, Journal of mathematical biology.

[15]  Mato Baotic,et al.  Hybrid Theory-Based Time-Optimal Control of an Electronic Throttle , 2007, IEEE Transactions on Industrial Electronics.

[16]  Alberto Bemporad,et al.  Stabilizing Model Predictive Control of Hybrid Systems , 2006, IEEE Transactions on Automatic Control.

[17]  Manfred Morari,et al.  Lagrange stability and performance analysis of discrete-time piecewise affine systems with logic states , 2003 .

[18]  W. Heemels,et al.  On the dynamic analysis of piecewise-linear networks , 2002 .

[19]  D. Mayne,et al.  Model predictive control of constrained piecewise affine discrete‐time systems , 2003 .

[20]  Eduardo Sontag Nonlinear regulation: The piecewise linear approach , 1981 .

[21]  Manfred Morari,et al.  Analysis of Discrete-Time PWA Systems with Logic States , 2002, HSCC.