Distributed verification of sparse systems
Anders Rantzer, Lund University
Abstract:
In the study of distributed control systems, it is of fundamental interest to understand how specifications on local interconnections influence properties of the global system. In this paper, we consider linear continuous time systems described by sparse state space representations. Properties of interest are for example stability, passivity and input-output gain. For system matrices with sparsity structure corresponding to a chordal graph, we show that the global properties can always be restated in terms of local specifications on individual components and their interaction with neighbors. In particular, a local model can be modified subject to the local specification without jeopardizing the global system property.