Left invertibility of discrete-time output-quantized systems: the linear case with finite inputs

This paper studies left invertibility of discrete-time linear output-quantized systems. Quantized outputs are generated according to a given partition of the state-space, while inputs are sequences on a finite alphabet. Left invertibility, i.e. injectivity of I/O map is reduced to left D-invertibility, under suitable conditions. While left invertibility takes into account membership to sets of a given partition, left D-invertibility considers only membership to a single set and is much easier to detect. The condition under which left invertibility and left D-invertibility are equivalent is that the elements of the dynamic matrix of the system form an algebraically independent set. Our main result is a method to compute left D-invertibility for all linear systems with no eigenvalue of modulus one. Therefore, we are able to check left invertibility of output-quantized linear systems for a full measure set of matrices. Some examples are presented to show the application of the proposed method.

[1]  Jan H. van Schuppen.  Decentralized control with communication between controllers , 2003 .

[2]  Daniel Liberzon,et al.  On Invertibility of Switched Linear Systems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[3]  L. Silverman.  Inversion of multivariable linear systems , 1969 .

[4]  Sekhar Tatikonda,et al.  Control under communication constraints , 2004, IEEE Transactions on Automatic Control.

[5]  Kenneth Falconer,et al.  Fractal Geometry: Mathematical Foundations and Applications , 1990 .

[6]  Daniel Liberzon,et al.  Invertibility of switched nonlinear systems , 2010, Autom..

[7]  Antonio Bicchi,et al.  On the Stabilization of Linear Systems Under Assigned I/O Quantization , 2007, IEEE Transactions on Automatic Control.

[8]  J. Massey,et al.  Invertibility of linear time-invariant dynamical systems , 1969 .

[9]  D. Delchamps.  Stabilizing a linear system with quantized state feedback , 1990 .

[10]  Antonio Bicchi,et al.  Left invertibility of discrete systems with finite inputs and quantised output , 2010, Int. J. Control.

[11]  Antonio Bicchi,et al.  On the reachability of quantized control systems , 2002, IEEE Trans. Autom. Control..

[12]  Michael F. Barnsley,et al.  Fractals everywhere , 1988 .

[13]  Benedetto Piccoli,et al.  Controllability for Discrete Systems with a Finite Control Set , 2001, Math. Control. Signals Syst..

[14]  A. Morse,et al.  Status of noninteracting control , 1971 .

[15]  Daniel Liberzon,et al.  On Invertibility of Switched Linear Systems , 2006, CDC.

[16]  J. Jachymski,et al.  The Hutchinson-Barnsley theory for infinite iterated function systems , 2005, Bulletin of the Australian Mathematical Society.

[17]  Ruggero Carli,et al.  Communication constraints in the average consensus problem , 2008, Autom..

[18]  M. Sznaier,et al.  Feedback control of quantized constrained systems with applications to neuromorphic controllers design , 1994, IEEE Trans. Autom. Control..

[19]  J. Bokor,et al.  INPUT RECONSTRUCTION BY MEANS OF SYSTEM INVERSION: A GEOMETRIC APPROACH TO FAULT DETECTION AND ISOLATION IN NONLINEAR SYSTEMS , 2004 .

[20]  Eduardo D. Sontag,et al.  Mathematical Control Theory: Deterministic Finite Dimensional Systems , 1990 .

[21]  E. T..  An Introduction to the Theory of Numbers , 1946, Nature.

[22]  R. Brockett,et al.  The reproducibility of multivariable systems , 1964 .

[23]  Toshimitsu Ushio,et al.  Chaos communication using unknown input observers , 2001 .

[24]  James L. Massey,et al.  Inverses of Linear Sequential Circuits , 1968, IEEE Transactions on Computers.

[25]  R. Carli,et al.  Communication constraints in the state agreement problem , 2005 .

[26]  Antonio Bicchi,et al.  Left invertibility of discrete systems with finite inputs and quantized output , 2008, 2008 47th IEEE Conference on Decision and Control.