Input-output stability of interconnected systems using decompositions: An improved formulation

We study the input-output stability of an arbitrary interconnection of multi-input, multi-output subsystems which may be either continuous-time or discrete-time. We consider throughout three types of dynamics: nonlinear time-varying, linear time-invariant distributed and linear time-invariant lumped. First, we use the strongly connected component decomposition to aggregate the subsystems into strongly-connected sub-systems (SCS's) and interconnection-subsystems (IS's). These SCS's and IS's are then aggregated into column subsystems (CS's) so that the overall system becomes a hierarchy of CS's. The basic structural result states that the overall systems is stable if and only if every CS is stable. We then use the minimum-essentialset decomposition on each SCS so that it can be viewed as a feedback interconnection of aggregated subsystems where one of them is itself a hierarchy of subsystems. Based on this decomposition, we present the results which lead to sufficient conditions for the stability of an SCS. For linear time-invariant (transfer function) dynamics, we obtain a characteristic function which gives the necessary and sufficient condition for the overall system stability. We point out the computational saving due to the decompositions in calculating this characteristic function.

[1]  F. Harary.  A graph theoretic approach to matrix inversion by partitioning , 1962 .

[2]  N. Munro,et al.  Applications of the inverse Nyquist array design method , 1976, 1976 IEEE Conference on Decision and Control including the 15th Symposium on Adaptive Processes.

[3]  C. Desoer,et al.  Feedback Systems: Input-Output Properties , 1975 .

[4]  Frank Harary,et al.  Graph Theory , 2016 .

[5]  U. Ozguner,et al.  On the multilevel structure of large-scale composite systems , 1975 .

[6]  M. Courvoisier,et al.  A note on minimal and quasi-minimal essential sets in complex directed graphs , 1972 .

[7]  W. Wolovich.  State-space and multivariable theory , 1972 .

[8]  R. G. Cooke.  Functional Analysis and Semi-Groups , 1949, Nature.

[9]  Lap-Kit Cheung,et al.  The bordered triangular matrix and minimum essential sets of a digraph , 1974 .

[10]  J. Willems.  Mechanisms for the stability and instability in feedback systems , 1976, Proceedings of the IEEE.

[11]  R. Saeks,et al.  The analysis of feedback systems , 1972 .

[12]  P. Lin,et al.  Matrix signal flow graphs and an optimum topological method for evaluating their gains , 1972 .

[13]  N. Adachi,et al.  Macroscopic Stability of Interconnected Systems , 1975 .

[14]  A. S. Morse,et al.  Introduction to linear system theory , 1972 .

[15]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[16]  Guido O. Guardabassi,et al.  A note on minimal essential sets , 1971 .

[17]  C. Desoer,et al.  Input-output stability theory of interconnected systems using decomposition techniques , 1976 .

[18]  Richard M. Karp,et al.  On the Computational Complexity of Combinatorial Problems , 1975, Networks.

[19]  D. Siljak.  Stability of Large-Scale Systems , 1972 .

[20]  M. Araki,et al.  Stability and transient behavior of composite nonlinear systems , 1972 .

[21]  C. Desoer,et al.  The feedback interconnection of lumped linear time-invariant systems☆ , 1975 .

[22]  L. Divieti,et al.  On the Determination of Minimum Feedback Arc and Vertex Sets , 1968 .

[23]  S. Deo.  Functional Differential Equations , 1968 .

[24]  F. Callier,et al.  Necessary and sufficient conditions for the complete controllability and observability of systems in series using the coprime factorization of a rational matrix , 1975 .

[25]  L. Schwartz.  Théorie des distributions , 1966 .

[26]  A. Michel,et al.  Stability of interconnected dynamical systems described on Banach spaces , 1976 .

[27]  C. Desoer,et al.  Lp -Stability (1 ≤ p ≤ ∞) of multivariable non-linear time-varying feedback systems that are open-loop unstable† , 1974 .

[28]  A. Lempel,et al.  Minimum Feedback Arc and Vertex Sets of a Directed Graph , 1966 .

[29]  C. Desoer,et al.  The feedback interconnection of multivariable systems: Simplifying theorems for stability , 1976, Proceedings of the IEEE.

[30]  Jan C. Willems,et al.  Feedback systems: Input-output properties , 1976, Proceedings of the IEEE.

[31]  A. Michel,et al.  Input-output stability of interconnected systems , 1976 .

[32]  F. Donati,et al.  Control of norm uncertain systems , 1974, CDC 1974.

[33]  A. Michel.  Stability and trajectory behavior of composite systems , 1975 .

[34]  A. Michel.  Stability Analysis of Interconnected Systems , 1974 .

[35]  Charles A. Desoer,et al.  Cancellations in multivariable continuous-time and discrete-time feedback systems treated by greatest common divisor extraction , 1973 .

[36]  A. Sangiovanni-Vincentelli,et al.  A two levels algorithm for tearing , 1976 .

[37]  G. Zames.  On the input-output stability of time-varying nonlinear feedback systems Part one: Conditions derived using concepts of loop gain, conicity, and positivity , 1966 .

[38]  N.R. Malik,et al.  Graph theory with applications to engineering and computer science , 1975, Proceedings of the IEEE.

[39]  Charles A. Desoer,et al.  Open-loop unstable convolution feedback systems with dynamical feedbacks , 1976, Autom..

[40]  D. Porter,et al.  Input-output stability of time-varying nonlinear multiloop feedback systems , 1974 .

[41]  Graeme Smith,et al.  The identification of a minimal feedback vertex set of a directed graph , 1975 .

[42]  Frank Harary,et al.  On minimal feedback vertex sets of a digraph , 1975 .

[43]  A. Kevorkian,et al.  Structural Aspects of Large Dynamic Systems , 1975 .

[44]  Charles A. Desoer,et al.  Robustness of stability conditions for linear time-invariant feedback systems , 1977 .

[45]  M. Araki,et al.  Input-output stability of composite feedback systems , 1976 .