Left invertibility of discrete systems with finite inputs and quantized output

The aim of this paper is to address left invertibility for dynamical systems with inputs and outputs in discrete sets. We study systems that evolve in discrete time within a continuous state-space. Quantized outputs are generated by the system according to a given partition of the state-space, while inputs are arbitrary sequences of symbols in a finite alphabet, which are associated to specific actions on the system. We restrict to the case of contractive dynamics for fixed inputs. The problem of left invertibility, i.e. recovering an unknown input sequence from the knowledge of the corresponding output string, is addressed using the theory of Iterated Function Systems (IFS), a tool developed for the study of fractals. We show how the IFS naturally associated to a system and the geometric properties of its attractor are linked to the left invertibility property of the system. Our main results are a necessary and sufficient condition for a given system to be left invertible with probability one on the space of inputs (i.e. for almost all input sequences), and necessary and sufficient conditions for left invertibility and uniform left invertibility under some weak additional hypotheses. A few examples are presented to illustrate the application of the proposed method.

[1]  Mark R. Muldoon,et al.  Iterated function system models of digital channels , 2004, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[2]  J. K. Hunter,et al.  Measure Theory , 2007 .

[3]  A. Granas,et al.  Fixed Point Theory , 2003 .

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

[5]  Thia Kirubarajan,et al.  Markov-jump-system-based secure chaotic communication , 2006, IEEE Transactions on Circuits and Systems I: Regular Papers.

[6]  P. A. P. Moran,et al.  Additive functions of intervals and Hausdorff measure , 1946, Mathematical Proceedings of the Cambridge Philosophical Society.

[7]  R. Curry.  Estimation and Control with Quantized Measurements , 1970 .

[8]  R. Mehra,et al.  Inversion of multivariable linear dynamic systems using optimum smoothing , 1970 .

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

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

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

[12]  Persi Diaconis,et al.  Iterated Random Functions , 1999, SIAM Rev..

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

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

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

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

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

[18]  Antonio Bicchi,et al.  Steering driftless nonholonomic systems by control quanta , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

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

[20]  P. Sacco.  Input–Output Dynamics as an Iterated Function System , 1994 .

[21]  L. Meier.  Estimation and control with quantized measurements , 1971 .

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

[23]  K. Deimling.  Fixed Point Theory , 2008 .

[24]  G. Nicolao,et al.  On almost sure stability of discrete-time Markov jump linear systems , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[25]  H Nijmeijer,et al.  Right-invertibility for a class of nonlinear control systems: A geometric approach , 1986 .

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

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

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

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

[30]  Antonio Bicchi,et al.  Construction of invariant and attractive sets for quantized-input linear systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

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

[32]  J. Elton.  An ergodic theorem for iterated maps , 1987, Ergodic Theory and Dynamical Systems.

[33]  M. Sain.  Inverses of Linear Sequential Circuits: On Beyond Poles and Zeros ... * , 1994 .