Stability and Performance Analysis of Spatially Invariant Systems with Networked Communication

• Published in: IEEE transactions on automatic control Vol. 62; no. 10; pp. 4994 - 5009
• Main Authors: Heijmans, S. H. J., Borgers, D. P., Heemels, W. P. M. H.
• Format: Journal Article
• Language: English
• Published: IEEE 01.10.2017
• Subjects: Asymptotic stability; Communication networks; Control systems; Hybrid systems; infinite-dimensionality; Interconnected systems; linear matrix inequalities; networked control systems (NCSs); Protocols; spatial invariance; Stability analysis; Symmetric matrices
• ISSN: 0018-9286; 1558-2523
• DOI: 10.1109/TAC.2017.2676983

In this paper, tractable stability and performance conditions are presented for systems consisting of an infinite number of spatially invariant, i.e., identical subsystems that are described by (non)linear differential equations and interconnected (partly) through packet-based communication networks. These networks transmit packets asynchronously and independently of each other and are equipped with scheduling protocols that determine which actuator, sensor, or controller node is allowed access to the network. The overall system is modeled as an infinite interconnection of spatially invariant hybrid subsystems. To underline the relevance of this framework, it is shown how two well-known and natural system configurations can be captured in this hybrid modeling framework. Moreover, for the resulting overall infinite-dimensional hybrid system, a proper solution concept is introduced, which is necessary as many standard concepts do not apply as Zeno behavior is inevitable for the systems under study. Based on the proposed hybrid modeling framework, conditions leading to a maximally allowable transmission interval (MATI) for all of the individual communication networks are derived such that uniform global asymptotic stability (UGAS) or Lp-stability of the overall system is guaranteed. Interestingly, by exploiting the interconnection structure, the conditions guaranteeing UGAS or Lp-stability can be stated locally in the sense that they only involve the (local) dynamics of one subsystem in the interconnection and local conditions on the scheduling protocol. Finally, it is shown that in the linear case the derived conditions can even be stated in terms of "local" LMIs, making them amenable for computational verification.