A graph-theoretic method to find decentralized fixed modes of LTI systems

This paper deals with the decentralized pole assignability of interconnected systems by means of linear time-invariant (LTI) controllers. A simple graph-theoretic approach is proposed to identify the distinct decentralized fixed modes (DFMs) of the system, i.e., the unrepeated modes which cannot be moved by means of a LTI decentralized controller. The state-space representation of the system is transformed to the decoupled form using a proper change of coordinates. For any unrepeated mode, a matrix is then computed which resembles the transfer function matrix of the system at some point in the complex plane. A bipartite graph is constructed accordingly in terms of the computed matrix. Now, the problem of verifying if this mode is a DFM of the system reduces to checking if the constructed graph has a complete bipartite subgraph with a certain property. The sole restriction of this work is that it is only capable of identifying the distinct DFMs of a system. However, it is axiomatic that most of the modes of the real-world systems are normally distinct. The primary advantage of the present paper is its simplicity, compared to the existing ones which often require evaluating the rank of several matrices

Time Complexity of Decentralized Fixed-Mode Verification

Given an interconnected system, this note is concerned with the time complexity of verifying whether an unrepeated mode of the system is a decentralized fixed mode (DFM). It is shown that checking the decentralized fixedness of any distinct mode is tantamount to testing the strong connectivity of a digraph formed based on the system. It is subsequently proved that the time complexity of this decision problem using the proposed approach is the same as the complexity of matrix multiplication. This work concludes that the identification of distinct DFMs (by means of a deterministic algorithm, rather than a randomized one) is computationally very easy, although the existing algorithms for solving this problem would wrongly imply that it is cumbersome. This note provides not only a complexity analysis, but also an efficient algorithm for tackling the underlying problem

Static Output Feedback: On Essential Feasible Information Patterns

In this paper, for linear time-invariant plants, where a collection of possible inputs and outputs are known a priori, we address the problem of determining the communication between outputs and inputs, i.e., information patterns, such that desired control objectives of the closed-loop system (for instance, stabilizability) through static output feedback may be ensured. We address this problem in the structural system theoretic context. To this end, given a specified structural pattern (locations of zeros/non-zeros) of the plant matrices, we introduce the concept of essential information patterns, i.e., communication patterns between outputs and inputs that satisfy the following conditions: (i) ensure arbitrary spectrum assignment of the closed-loop system, using static output feedback constrained to the information pattern, for almost all possible plant instances with the specified structural pattern; and (ii) any communication failure precludes the resulting information pattern from attaining the pole placement objective in (i). Subsequently, we study the problem of determining essential information patterns. First, we provide several necessary and sufficient conditions to verify whether a specified information pattern is essential or not. Further, we show that such conditions can be verified by resorting to algorithms with polynomial complexity (in the dimensions of the state, input and output). Although such verification can be performed efficiently, it is shown that the problem of determining essential information patterns is in general NP-hard. The main results of the paper are illustrated through examples

Complexity of checking the existence of a stabilizing decentralized controller

Given an interconnected system, this paper is concerned with the time complexity of verifying if any given unrepeated mode of the system is a decentralized fixed mode (DFM). It is shown that checking the decentralized fixedness of any distinct mode is tantamount to testing the strong connectivity of a digraph formed based on the system. It is subsequently proved that the time complexity of this decision problem using the proposed approach is the same as the complexity of matrix multiplication. This work concludes that the identification of distinct decentralized fixed modes (by means of a deterministic algorithm, rather than a randomized one) is computationally very easy, although the existing algorithms for solving this problem would wrongly imply that it is cumbersome. This paper provides not only a complexity analysis, but also an efficient algorithm for tackling the underlying problem

Decentralized Implementation of Centralized Controllers for Interconnected Systems

Given a centralized controller associated with a linear time-invariant interconnected system, this paper is concerned with designing a parameterized decentralized controller such that the state and input of the system under the obtained decentralized controller can become arbitrarily close to those of the system under the given centralized controller, by tuning the controller's parameters. To this end, a two-level decentralized controller is designed, where the upper level captures the dynamics of the centralized closed-loop system, and the lower level is an observed-based sub-controller designed based on the new notion of structural initial value observability. The proposed method can decentralize every generic centralized controller, provided the interconnected system satisfies very mild conditions. The efficacy of this work is elucidated by some numerical examples