Abstract:One of the fundamental problems of interest for discrete-time linear systems is whether its input sequence may be recovered given its output sequence, a.k.a. the left inversion problem. Many conditions on the state space geometry, dynamics, and spectral structure of a system have been used to characterize the well-posedness of this problem, without assumptions on the inputs. However, certain structural assumptions, such as input sparsity, have been shown to translate to practical gains in the performance of inversion algorithms, surpassing classical guarantees. Establishing necessary and sufficient conditions for left invertibility of systems with sparse inputs is therefore a crucial step toward understanding the performance limits of system inversion under structured input assumptions. In this work, we provide the first necessary and sufficient characterizations of left invertibility for linear systems with sparse inputs, echoing classic characterizations for standard linear systems. The key insight in deriving these results is in establishing the existence of two novel geometric invariants unique to the sparse-input setting, the weakly unobservable and strongly reachable subspace arrangements. By means of a concrete example, we demonstrate the utility of these characterizations. We conclude by discussing extensions and applications of this framework to several related problems in sparse control.

A Consequence of Invertibility on the Normal Form of a MIMO Nonlinear Systems

Global Stabilization of a Class of Invertible MIMO Nonlinear Systems

Stabilization by Output Feedback of Multivariable Invertible Nonlinear Systems.

A Partial-State Observer for a Class of MIMO Nonlinear Systems

Nonlinear Output Regulation for Invertible Nonlinear Mimo Systems

Robust Output Regulation for Invertible Nonlinear MIMO Systems

A Canonical Form Of Completely Uniformly Locally Weakly Observable Multi-Output Nonlinear Systems

Robust Output Feedback Stabilization of MIMO Invertible Nonlinear Systems with Output-Dependent Multipliers (extended version)

Observer normal form design for the nonlinear MIMO systems using coupled auxiliary dynamics

Robust Output Feedback Stabilization of Multivariable Invertible Nonlinear Systems: A Feedback Linearization-Based Method

Multilinear Model Decomposition of MIMO Nonlinear Systems and Its Implication for Multilinear Model-Based Control

MIMO decoupling control based on support vector machines αth-order inversion

Transforming A Nonlinear System To A P-Normal Form Via Coordinates Transformation

Invertibility of Discrete-Time Linear Systems with Sparse Inputs

Transforming Nonlinear Control System to Special P-Normal Form Without Feedback

Output feedback stabilization of nonlinear MIMO systems having uncertain high-frequency gain matrix

Adaptive Observer Design for a Class of MIMO Nonlinear Systems

Mimo Decoupling Control Based On Support Vector Machines Alpha Th-Order Inversion

The Sufficient and Necessary Conditions of Commutative Matrices for MIMO Linear System

Group invertibility of the sum in rings and its applications

On the relative degree and normal forms of linear systems by output transformation with applications to tracking