Left invertibility of discrete systems with finite inputs and quantised output

The aim of this article is to address left invertibility for dynamical systems with inputs and outputs in discrete sets. We study systems which evolve in discrete time within a continuous state-space. Quantised 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. Our main results are obtained under some contractivity hypotheses. 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 invertibility property of the system. Our main result is a necessary and sufficient condition for left invertibility and uniform left invertibility for joint contractive systems. In addition, an algorithm is proposed to recover inputs from output strings. 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. Jachymski,et al.  The Hutchinson-Barnsley theory for infinite iterated function systems , 2005, Bulletin of the Australian Mathematical Society.

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

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

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

[6]  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..

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

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

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

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

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

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

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

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

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

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

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

[18]  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).

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

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

[21]  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).

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

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

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

[25]  Attractors of discrete controlled systems in metric spaces , 2000 .

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

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

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

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

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