Showing 1–25 of 25 results for author: Trentelman, H L

The informativity approach to data-driven analysis and control

Authors: Henk J. van Waarde, Jaap Eising, M. Kanat Camlibel, Harry L. Trentelman

Abstract: The goal of this paper is to provide a tutorial on the so-called informativity framework for direct data-driven analysis and control. This framework achieves certified data-based analysis and control by assessing system properties and determining controllers for sets of systems unfalsified by the data. We will first introduce the informativity approach at an abstract level. Thereafter, we will rep… ▽ More The goal of this paper is to provide a tutorial on the so-called informativity framework for direct data-driven analysis and control. This framework achieves certified data-based analysis and control by assessing system properties and determining controllers for sets of systems unfalsified by the data. We will first introduce the informativity approach at an abstract level. Thereafter, we will report case studies where we highlight the strength of the framework in the context of various problems involving both noiseless and noisy data. In particular, we will treat controllability and stabilizability, and stabilization, linear quadratic regulation, and tracking and regulation using exact input-state measurements. Thereafter, we will treat dissipativity analysis, stabilization, and H_inf control using noisy input-state data. Finally, we will study dynamic measurement feedback stabilization using noisy input-output data. We will provide several examples to illustrate the approach. In addition, we will highlight the main tools underlying the framework, such as quadratic matrix inequalities in robust control and quadratic difference forms in behavioral systems theory. △ Less

Submitted 21 February, 2023; originally announced February 2023.

Comments: 33 pages

A behavioral approach to data-driven control with noisy input-output data

Authors: Henk J. van Waarde, Jaap Eising, M. Kanat Camlibel, Harry L. Trentelman

Abstract: This paper deals with data-driven stability analysis and feedback stabillization of linear input-output systems in autoregressive (AR) form. We assume that noisy input-output data on a finite time-interval have been obtained from some unknown AR system. Data-based tests are then developed to analyse whether the unknown system is stable, or to verify whether a stabilizing dynamic feedback controlle… ▽ More This paper deals with data-driven stability analysis and feedback stabillization of linear input-output systems in autoregressive (AR) form. We assume that noisy input-output data on a finite time-interval have been obtained from some unknown AR system. Data-based tests are then developed to analyse whether the unknown system is stable, or to verify whether a stabilizing dynamic feedback controller exists. If so, stabilizing controllers are computed using the data. In order to do this, we employ the behavioral approach to systems and control, meaning a departure from existing methods in data driven control. Our results heavily rely on a characterization of asymptotic stability of systems in AR form using the notion of quadratic difference form (QDF) as a natural framework for Lyapunov functions of autonomous AR systems. We introduce the concepts of informative data for quadratic stability and quadratic stabilization in the context of input-output AR systems and establish necessary and sufficient conditions for these properties to hold. In addition, this paper will build on results on quadratic matrix inequalties (QMIs) and a matrix version of Yakubovich's S-lemma. △ Less

Submitted 16 June, 2022; originally announced June 2022.

Quadratic matrix inequalities with applications to data-based control

Authors: Henk J. van Waarde, M. Kanat Camlibel, Jaap Eising, Harry L. Trentelman

Abstract: This paper studies several problems related to quadratic matrix inequalities (QMI's), i.e., inequalities in the Loewner order involving quadratic functions of matrix variables. In particular, we provide conditions under which the solution set of a QMI is nonempty, convex, bounded, or has nonempty interior. We also provide a parameterization of the solution set of a given QMI. In addition, we state… ▽ More This paper studies several problems related to quadratic matrix inequalities (QMI's), i.e., inequalities in the Loewner order involving quadratic functions of matrix variables. In particular, we provide conditions under which the solution set of a QMI is nonempty, convex, bounded, or has nonempty interior. We also provide a parameterization of the solution set of a given QMI. In addition, we state results regarding the image of such sets under linear maps, which characterize a subset of ``structured" solutions to a QMI. Thereafter, we derive matrix versions of the classical S-lemma and Finsler's lemma, that provide conditions under which all solutions to one QMI also satisfy another QMI. The results will be compared to related work in the robust control literature, such as the full block S-procedure and Petersen's lemma, and it is demonstrated how existing results can be obtained from the results of this paper as special cases. Finally, we show how the various results for QMI's can be applied to the problem of data-driven stabilization. This problem involves finding a stabilizing feedback controller for an unknown dynamical system influenced by noise on the basis of a finite set of data. We provide general necessary and sufficient conditions for data-based quadratic stabilization. In addition, we demonstrate how to reduce the computational complexity of data-based stabilization by leveraging the aforementioned results. This involves separating the computation of the Lyapunov function and the controller, and also leads to explicit formulas for data-guided feedback gains. △ Less

Submitted 21 February, 2023; v1 submitted 24 March, 2022; originally announced March 2022.

Comments: 29 pages

Data-driven dissipativity analysis: application of the matrix S-lemma

Authors: Henk J. van Waarde, M. Kanat Camlibel, Paolo Rapisarda, Harry L. Trentelman

Abstract: The concept of dissipativity, as introduced by Jan Willems, is one of the cornerstones of systems and control theory. Typically, dissipativity properties are verified by resorting to a mathematical model of the system under consideration. In this paper, we aim at assessing dissipativity by computing storage functions for linear systems directly from measured data. As our main contributions, we pro… ▽ More The concept of dissipativity, as introduced by Jan Willems, is one of the cornerstones of systems and control theory. Typically, dissipativity properties are verified by resorting to a mathematical model of the system under consideration. In this paper, we aim at assessing dissipativity by computing storage functions for linear systems directly from measured data. As our main contributions, we provide conditions under which dissipativity can be ascertained from a finite collection of noisy data samples. Three different noise models will be considered that can capture a variety of situations, including the cases that the data samples are noise-free, the energy of the noise is bounded, or the individual noise samples are bounded. All of our conditions are phrased in terms of data-based linear matrix inequalities, which can be readily solved using existing software packages. △ Less

Submitted 5 September, 2021; originally announced September 2021.

Data-driven output synchronization of heterogeneous leader-follower multi-agent systems

Authors: Junjie Jiao, Henk J. van Waarde, Harry L. Trentelman, M. Kanat Camlibel, Sandra Hirche

Abstract: This paper deals with data-driven output synchronization for heterogeneous leader-follower linear multi-agent systems. Given a multi-agent system that consists of one autonomous leader and a number of heterogeneous followers with external disturbances, we provide necessary and sufficient data-based conditions for output synchronization. We also provide a design method for obtaining such output syn… ▽ More This paper deals with data-driven output synchronization for heterogeneous leader-follower linear multi-agent systems. Given a multi-agent system that consists of one autonomous leader and a number of heterogeneous followers with external disturbances, we provide necessary and sufficient data-based conditions for output synchronization. We also provide a design method for obtaining such output synchronizing protocols directly from data. The results are then extended to the special case that the followers are disturbance-free. Finally, a simulation example is provided to illustrate our results. △ Less

Submitted 23 September, 2021; v1 submitted 22 March, 2021; originally announced March 2021.

Comments: 6 pages, 2 figures. This paper has been accepted by IEEE CDC 2021

Reduced-Order Modeling of Large-Scale Network Systems

Authors: Xiaodong Cheng, Jacquelien M. A. Scherpen, Harry L. Trentelman

Abstract: Large-scale network systems describe a wide class of complex dynamical systems composed of many interacting subsystems. A large number of subsystems and their high-dimensional dynamics often result in highly complex topology and dynamics, which pose challenges to network management and operation. This chapter provides an overview of reduced-order modeling techniques that are developed recently for… ▽ More Large-scale network systems describe a wide class of complex dynamical systems composed of many interacting subsystems. A large number of subsystems and their high-dimensional dynamics often result in highly complex topology and dynamics, which pose challenges to network management and operation. This chapter provides an overview of reduced-order modeling techniques that are developed recently for simplifying complex dynamical networks. In the first part, clustering-based approaches are reviewed, which aim to reduce the network scale, i.e., find a simplified network with a fewer number of nodes. The second part presents structure-preserving methods based on generalized balanced truncation, which can reduce the dynamics of each subsystem. △ Less

Submitted 1 February, 2021; originally announced February 2021.

Comments: Chapter 11 in the book Model Order Reduction: Volume 3 Applications

Scalable controllability analysis of structured networks

Authors: J. Jia, B. M. Shali, H. J. van Waarde, M. K. Camlibel, H. L. Trentelman

Abstract: This paper deals with strong structural controllability of structured networks. A structured network is a family of structured systems (called node systems) that are interconnected by means of a structured interconnection law. The node systems and their structured interconnection law are given by pattern matrices. It is shown that a structured network is strongly structurally controllable if and o… ▽ More This paper deals with strong structural controllability of structured networks. A structured network is a family of structured systems (called node systems) that are interconnected by means of a structured interconnection law. The node systems and their structured interconnection law are given by pattern matrices. It is shown that a structured network is strongly structurally controllable if and only if an associated structured system is. This structured system will in general have a very large state space dimension, and therefore existing tests for verifying strong structural controllability are not tractable. The main result of this paper circumvents this problem. We show that controllability can be tested by replacing the original network by a new network in which all original node systems have been replaced by (auxiliary) node systems with state space dimensions either 1 or 2. Hence, controllability of the original network can be verified by testing controllability of a structured system with state space dimension at most twice the number of node systems, regardless of the state space dimensions of the original node systems. △ Less

Submitted 16 December, 2020; originally announced December 2020.

Properties of pattern matrices with applications to structured systems

Authors: B. M. Shali, H. J. van Waarde, M. K. Camlibel, H. L. Trentelman

Abstract: The exact parameter values of mathematical models are often uncertain or even unknown. Nevertheless, we may have access to crude information about the parameters, e.g., that some of them are nonzero. Such information can be captured by so-called pattern matrices, whose symbolic entries are used to represent the available information about the corresponding parameters. In this paper, we focus on pa… ▽ More The exact parameter values of mathematical models are often uncertain or even unknown. Nevertheless, we may have access to crude information about the parameters, e.g., that some of them are nonzero. Such information can be captured by so-called pattern matrices, whose symbolic entries are used to represent the available information about the corresponding parameters. In this paper, we focus on pattern matrices with three types of symbolic entries: those that represent zero, nonzero, and arbitrary parameters. We formally define and study addition and multiplication of such pattern matrices. The results are then used in the study of three strong structural properties, namely, controllability of linear descriptor systems, and input-state observability and output controllability of linear systems. △ Less

Submitted 24 November, 2020; originally announced November 2020.

An informativity approach to the data-driven algebraic regulator problem

Authors: Harry L. Trentelman, Henk J. van Waarde, M. Kanat Camlibel

Abstract: In this paper, the classical algebraic regulator problem is studied in a data-driven context. The endosystem is assumed to be an unknown system that is interconnected to a known exosystem that generates disturbances and reference signals. The problem is to design a regulator so that the output of the (unknown) endosystem tracks the reference signal, regardless of its initial state and the incoming… ▽ More In this paper, the classical algebraic regulator problem is studied in a data-driven context. The endosystem is assumed to be an unknown system that is interconnected to a known exosystem that generates disturbances and reference signals. The problem is to design a regulator so that the output of the (unknown) endosystem tracks the reference signal, regardless of its initial state and the incoming disturbances. In order to do this, we assume that we have a set of input-state data on a finite time-interval. We introduce the notion of data informativity for regulator design, and establish necessary and sufficient conditions for a given set of data to be informative. Also, formulas for suitable regulators are given in terms of the data. Our results are illustrated by means of two extended examples. △ Less

Submitted 7 December, 2021; v1 submitted 3 September, 2020; originally announced September 2020.

H2 Suboptimal Output Synchronization of Heterogeneous Multi-Agent Systems

Authors: Junjie Jiao, Harry L. Trentelman, M. Kanat Camlibel

Abstract: This paper deals with the H2 suboptimal output synchronization problem for heterogeneous linear multi-agent systems. Given a multi-agent system with possibly distinct agents and an associated H2 cost functional, the aim is to design output feedback based protocols that guarantee the associated cost to be smaller than a given upper bound while the controlled network achieves output synchronization.… ▽ More This paper deals with the H2 suboptimal output synchronization problem for heterogeneous linear multi-agent systems. Given a multi-agent system with possibly distinct agents and an associated H2 cost functional, the aim is to design output feedback based protocols that guarantee the associated cost to be smaller than a given upper bound while the controlled network achieves output synchronization. A design method is provided to compute such protocols. For each agent, the computation of its two local control gains involves two Riccati inequalities, each of dimension equal to the state space dimension of the agent. A simulation example is provided to illustrate the performance of the proposed protocols. △ Less

Submitted 15 June, 2020; originally announced June 2020.

Comments: 9 pages, 2 figures. arXiv admin note: text overlap with arXiv:2001.07590

Strong Structural Controllability of Colored Structured Systems

Authors: Jiajia Jia, Harry L. Trentelman, Nikolaos Charalampidis, M. Kanat Camlibel

Abstract: This paper deals with strong structural controllability of linear structured systems in which the system matrices are given by zero/nonzero/arbitrary pattern matrices. Instead of assuming that the nonzero and arbitrary entries of the system matrices can take their values completely independently, this paper allows equality constraints on these entries, in the sense that {\em a priori} given entrie… ▽ More This paper deals with strong structural controllability of linear structured systems in which the system matrices are given by zero/nonzero/arbitrary pattern matrices. Instead of assuming that the nonzero and arbitrary entries of the system matrices can take their values completely independently, this paper allows equality constraints on these entries, in the sense that {\em a priori} given entries in the system matrices are restricted to take arbitrary but identical values. To formalize this general class of structured systems, we introduce the concepts of colored pattern matrices and colored structured systems. The main contribution of this paper is that it generalizes both the classical results on strong structural controllability of structured systems as well as recent results on controllability of systems defined on colored graphs. In this paper, we will establish both algebraic and graph-theoretic conditions for strong structural controllability of this more general class of structured systems. △ Less

Submitted 4 March, 2020; originally announced March 2020.

Comments: 8 pages, 5 figures

Fault detection and isolation for linear structured systems

Authors: Jiajia Jia, Harry L. Trentelman, M. Kanat Camlibel

Abstract: This paper deals with the fault detection and isolation (FDI) problem for linear structured systems in which the system matrices are given by zero/nonzero/arbitrary pattern matrices. In this paper, we follow a geometric approach to verify solvability of the FDI problem for such systems. To do so, we first develop a necessary and sufficient condition under which the FDI problem for a given particul… ▽ More This paper deals with the fault detection and isolation (FDI) problem for linear structured systems in which the system matrices are given by zero/nonzero/arbitrary pattern matrices. In this paper, we follow a geometric approach to verify solvability of the FDI problem for such systems. To do so, we first develop a necessary and sufficient condition under which the FDI problem for a given particular linear time-invariant system is solvable. Next, we establish a necessary condition for solvability of the FDI problem for linear structured systems. In addition, we develop a sufficient algebraic condition for solvability of the FDI problem in terms of a rank test on an associated pattern matrix. To illustrate that this condition is not necessary, we provide a counterexample in which the FDI problem is solvable while the condition is not satisfied. Finally, we develop a graph-theoretic condition for the full rank property of a given pattern matrix, which leads to a graph-theoretic condition for solvability of the FDI problem. △ Less

Submitted 3 March, 2020; originally announced March 2020.

Comments: 6 pages, 1 figure, 1 table

H2 and H-infinity Suboptimal Distributed Filter Design for Linear Systems

Authors: Junjie Jiao, Harry L. Trentelman, M. Kanat Camlibel

Abstract: This paper investigates the H2 and H-infinity suboptimal distributed filtering problems for continuous time linear systems. Consider a linear system monitored by a number of filters, where each of the filters receives only part of the measured output of the system. Each filter can communicate with the other filters according to an a priori given strongly connected weighted directed graph. The aim… ▽ More This paper investigates the H2 and H-infinity suboptimal distributed filtering problems for continuous time linear systems. Consider a linear system monitored by a number of filters, where each of the filters receives only part of the measured output of the system. Each filter can communicate with the other filters according to an a priori given strongly connected weighted directed graph. The aim is to design filter gains that guarantee the H2 or H-infinity norm of the transfer matrix from the disturbance input to the output estimation error to be smaller than an a priori given upper bound, while all local filters reconstruct the full system state asymptotically. We provide a centralized design method for obtaining such H2 and H-infinity suboptimal distributed filters. The proposed design method is illustrated by a simulation example. △ Less

Submitted 7 February, 2020; originally announced February 2020.

Comments: 13 pages, 5 figures

A Suboptimality Approach to Distributed H2 Control by Dynamic Output Feedback

Authors: Junjie Jiao, Harry L. Trentelman, M. Kanat Camlibel

Abstract: This paper deals with suboptimal distributed H2 control by dynamic output feedback for homogeneous linear multi-agent systems. Given a linear multi-agent system, together with an associated H2 cost functional, the objective is to design dynamic output feedback protocols that guarantee the associated cost to be smaller than an a priori given upper bound while synchronizing the controlled network. A… ▽ More This paper deals with suboptimal distributed H2 control by dynamic output feedback for homogeneous linear multi-agent systems. Given a linear multi-agent system, together with an associated H2 cost functional, the objective is to design dynamic output feedback protocols that guarantee the associated cost to be smaller than an a priori given upper bound while synchronizing the controlled network. A design method is provided to compute such protocols. The computation of the two local gains in these protocols involves two Riccati inequalities, each of dimension equal to the dimension of the state space of the agents. The largest and smallest nonzero eigenvalue of the Laplacian matrix of the network graph are also used in the computation of one of the two local gains.A simulation example is provided to illustrate the performance of the proposed protocols. △ Less

Submitted 21 January, 2020; originally announced January 2020.

Comments: 9 pages, 2 figures

Distributed Linear Quadratic Tracking Control for Leader-Follower Multi-Agent Systems: A Suboptimality Approach

Authors: Junjie Jiao, Harry L. Trentelman, M. Kanat Camlibel

Abstract: In this paper, we extend the results from Jiao et al. (2019) on distributed linear quadratic control for leaderless multi-agent systems to the case of distributed linear quadratic tracking control for leader-follower multi-agent systems. Given one autonomous leader and a number of homogeneous followers, we introduce an associated global quadratic cost functional. We assume that the leader shares i… ▽ More In this paper, we extend the results from Jiao et al. (2019) on distributed linear quadratic control for leaderless multi-agent systems to the case of distributed linear quadratic tracking control for leader-follower multi-agent systems. Given one autonomous leader and a number of homogeneous followers, we introduce an associated global quadratic cost functional. We assume that the leader shares its state information with at least one of the followers and the communication between the followers is represented by a connected simple undirected graph. Our objective is to design distributed control laws such that the controlled network reaches tracking consensus and, moreover, the associated cost is smaller than a given tolerance for all initial states bounded in norm by a given radius. We establish a centralized design method for computing such suboptimal control laws, involving the solution of a single Riccati inequality of dimension equal to the dimension of the local agent dynamics, and the smallest and the largest eigenvalue of a given positive definite matrix involving the underlying graph. The proposed design method is illustrated by a simulation example. △ Less

Submitted 23 November, 2019; originally announced November 2019.

Comments: 7 pages, 3 figures, submitted to a conference. arXiv admin note: text overlap with arXiv:1803.02682

Data informativity: a new perspective on data-driven analysis and control

Authors: Henk J. van Waarde, Jaap Eising, Harry L. Trentelman, M. Kanat Camlibel

Abstract: The use of persistently exciting data has recently been popularized in the context of data-driven analysis and control. Such data have been used to assess system theoretic properties and to construct control laws, without using a system model. Persistency of excitation is a strong condition that also allows unique identification of the underlying dynamical system from the data within a given model… ▽ More The use of persistently exciting data has recently been popularized in the context of data-driven analysis and control. Such data have been used to assess system theoretic properties and to construct control laws, without using a system model. Persistency of excitation is a strong condition that also allows unique identification of the underlying dynamical system from the data within a given model class. In this paper, we develop a new framework in order to work with data that are not necessarily persistently exciting. Within this framework, we investigate necessary and sufficient conditions on the informativity of data for several data-driven analysis and control problems. For certain analysis and design problems, our results reveal that persistency of excitation is not necessary. In fact, in these cases data-driven analysis/control is possible while the combination of (unique) system identification and model-based control is not. For certain other control problems, our results justify the use of persistently exciting data as data-driven control is possible only with data that are informative for system identification. △ Less

Submitted 10 January, 2020; v1 submitted 1 August, 2019; originally announced August 2019.

Comments: 16 pages

A Unifying Framework for Strong Structural Controllability

Authors: Jiajia Jia, Henk J. van Waarde, Harry L. Trentelman, M. Kanat Camlibel

Abstract: This paper deals with strong structural controllability of linear systems. In contrast to existing work, the structured systems studied in this paper have a so-called zero/nonzero/arbitrary structure, which means that some of the entries are equal to zero, some of the entries are arbitrary but nonzero, and the remaining entries are arbitrary (zero or nonzero). We formalize this in terms of pattern… ▽ More This paper deals with strong structural controllability of linear systems. In contrast to existing work, the structured systems studied in this paper have a so-called zero/nonzero/arbitrary structure, which means that some of the entries are equal to zero, some of the entries are arbitrary but nonzero, and the remaining entries are arbitrary (zero or nonzero). We formalize this in terms of pattern matrices whose entries are either fixed zero, arbitrary nonzero, or arbitrary. We establish necessary and sufficient algebraic conditions for strong structural controllability in terms of full rank tests of certain pattern matrices. We also give a necessary and sufficient graph theoretic condition for the full rank property of a given pattern matrix. This graph theoretic condition makes use of a new color change rule that is introduced in this paper. Based on these two results, we then establish a necessary and sufficient graph theoretic condition for strong structural controllability. Moreover, we relate our results to those that exists in the literature, and explain how our results generalize previous work. △ Less

Submitted 8 March, 2019; originally announced March 2019.

Comments: 11 pages, 6 Figures

Distributed Linear Quadratic Optimal Control: Compute Locally and Act Globally

Authors: Junjie Jiao, Harry L. Trentelman, M. Kanat Camlibel

Abstract: In this paper we consider the distributed linear quadratic control problem for networks of agents with single integrator dynamics. We first establish a general formulation of the distributed LQ problem and show that the optimal control gain depends on global information on the network. Thus, the optimal protocol can only be computed in a centralized fashion. In order to overcome this drawback, we… ▽ More In this paper we consider the distributed linear quadratic control problem for networks of agents with single integrator dynamics. We first establish a general formulation of the distributed LQ problem and show that the optimal control gain depends on global information on the network. Thus, the optimal protocol can only be computed in a centralized fashion. In order to overcome this drawback, we propose the design of protocols that are computed in a decentralized way. We will write the global cost functional as a sum of local cost functionals, each associated with one of the agents. In order to achieve 'good' performance of the controlled network, each agent then computes its own local gain, using sampled information of its neighboring agents. This decentralized computation will only lead to suboptimal global network behavior. However, we will show that the resulting network will reach consensus. A simulation example is provided to illustrate the performance of the proposed protocol. △ Less

Submitted 13 May, 2019; v1 submitted 28 February, 2019; originally announced February 2019.

Comments: 7 pages, 2 figures

Strong Structural Controllability of Systems on Colored Graphs

Authors: Jiajia Jia, Harry L. Trentelman, Wouter Baar, Kanat M. Camlibel

Abstract: This paper deals with structural controllability of leader-follower networks. The system matrix defining the network dynamics is a pattern matrix in which a priori given entries are equal to zero, while the remaining entries take nonzero values. The network is called strongly structurally controllable if for all choices of real values for the nonzero entries in the pattern matrix, the system is co… ▽ More This paper deals with structural controllability of leader-follower networks. The system matrix defining the network dynamics is a pattern matrix in which a priori given entries are equal to zero, while the remaining entries take nonzero values. The network is called strongly structurally controllable if for all choices of real values for the nonzero entries in the pattern matrix, the system is controllable in the classical sense. In this paper we introduce a more general notion of strong structural controllability which deals with the situation that given nonzero entries in the system's pattern matrix are constrained to take identical nonzero values. The constraint of identical nonzero entries can be caused by symmetry considerations or physical constraints on the network. The aim of this paper is to establish graph theoretic conditions for this more general property of strong structural controllability. △ Less

Submitted 15 October, 2018; v1 submitted 12 October, 2018; originally announced October 2018.

Comments: 13 pages

A Suboptimality Approach to Distributed $\mathcal{H}_2$ Optimal Control

Authors: Junjie Jiao, Harry L. Trentelman, M. Kanat Camlibel

Abstract: This paper deals with the distributed $\mathcal{H}_2$ optimal control problem for linear multi-agent systems. In particular, we consider a suboptimal version of the distributed $\mathcal{H}_2$ optimal control problem. Given a linear multi-agent system with identical agent dynamics and an associated $\mathcal{H}_2$ cost functional, our aim is to design a distributed diffusive static protocol such t… ▽ More This paper deals with the distributed $\mathcal{H}_2$ optimal control problem for linear multi-agent systems. In particular, we consider a suboptimal version of the distributed $\mathcal{H}_2$ optimal control problem. Given a linear multi-agent system with identical agent dynamics and an associated $\mathcal{H}_2$ cost functional, our aim is to design a distributed diffusive static protocol such that the protocol achieves state synchronization for the controlled network and such that the associated cost is smaller than an a priori given upper bound. We first analyze the $\mathcal{H}_2$ performance of linear systems and then apply the results to linear multi-agent systems. Two design methods are provided to compute such a suboptimal distributed protocol. For each method, the expression for the local control gain involves a solution of a single Riccati inequality of dimension equal to the dimension of the individual agent dynamics, and the smallest nonzero and the largest eigenvalue of the graph Laplacian. △ Less

Submitted 19 April, 2018; originally announced April 2018.

Comments: 7 pages, submitted to a conference

A Suboptimality Approach to Distributed Linear Quadratic Optimal Control

Authors: Junjie Jiao, Harry L. Trentelman, M. Kanat Camlibel

Abstract: This paper is concerned with the distributed linear quadratic optimal control problem. In particular, we consider a suboptimal version of the distributed optimal control problem for undirected multi-agent networks. Given a multi-agent system with identical agent dynamics and an associated global quadratic cost functional, our objective is to design suboptimal distributed control laws that guarante… ▽ More This paper is concerned with the distributed linear quadratic optimal control problem. In particular, we consider a suboptimal version of the distributed optimal control problem for undirected multi-agent networks. Given a multi-agent system with identical agent dynamics and an associated global quadratic cost functional, our objective is to design suboptimal distributed control laws that guarantee the controlled network to reach consensus and the associated cost to be smaller than an a priori given upper bound. We first analyze the suboptimality for a given linear system and then apply the results to linear multiagent systems. Two design methods are then provided to compute such suboptimal distributed controllers, involving the solution of a single Riccati inequality of dimension equal to the dimension of the agent dynamics, and the smallest nonzero and the largest eigenvalue of the graph Laplacian. Furthermore, we relax the requirement of exact knowledge of the smallest nonzero and largest eigenvalue of the graph Laplacian by using only lower and upper bounds on these eigenvalues. Finally, a simulation example is provided to illustrate our design method. △ Less

Submitted 7 March, 2018; originally announced March 2018.

Comments: 11 pages, 2 figures

Towards a minimal order distributed observer for linear systems

Authors: Weixin Han, Harry L. Trentelman, Zhenhua Wang, Yi Shen

Abstract: In this paper we consider the distributed estimation problem for continuous-time linear time-invariant (LTI) systems. A single linear plant is observed by a network of local observers. Each local observer in the network has access to only part of the output of the observed system, but can also receive information on the state estimates of its neigbours. Each local observer should in this way gener… ▽ More In this paper we consider the distributed estimation problem for continuous-time linear time-invariant (LTI) systems. A single linear plant is observed by a network of local observers. Each local observer in the network has access to only part of the output of the observed system, but can also receive information on the state estimates of its neigbours. Each local observer should in this way generate an estimate of the plant state. In this paper we study the problem of existence of a reduced order distributed observer. We show that if the observed system is observable and the network graph is a strongly connected directed graph, then a distributed observer exists with state space dimension equal to $Nn - \sum_{i =1}^N p_i$, where $N$ is the number of network nodes, $n$ is the state space dimension of the observed plant, and $p_i$ is the rank of the output matrix of the observed output received by the $i$th local observer. In the case of a single observer, this result specializes to the well-known minimal order observer in classical observer design. △ Less

Submitted 7 August, 2017; originally announced August 2017.

Comments: 12 pages, 1 figure

A simple approach to distributed observer design for linear systems

Authors: Weixin Han, Harry L. Trentelman, Zhenhua Wang, Yi Shen

Abstract: This note investigates the distributed estimation problem for continuous-time linear time-invariant (LTI) systems observed by a network of observers. Each observer in the network has access to only part of the output of the observed system, and communicates with its neighbors according to a given network graph. In this note we recover the known result that if the observed system is observable and… ▽ More This note investigates the distributed estimation problem for continuous-time linear time-invariant (LTI) systems observed by a network of observers. Each observer in the network has access to only part of the output of the observed system, and communicates with its neighbors according to a given network graph. In this note we recover the known result that if the observed system is observable and the network graph is a strongly connected digraph, then a distributed observer exists. Moreover, the estimation error can be made to converge to zero at any a priori given decay rate. Our approach leads to a relatively straightforward proof of this result, using the mirror of the balanced graph associated with the original network graph. The numerical design of our distributed observer is reduced to solving linear matrix inequalities (LMI's). Each observer in the network has state dimension equal to that of the observed plant. △ Less

Submitted 4 August, 2017; originally announced August 2017.

Comments: 13 pages, 1 figure

Model Reduction of Linear Multi-Agent Systems by Clustering and Associated $\mathcal{H}_2$- and $\mathcal{H}_\infty$-Error Bounds

Authors: Hidde-Jan Jongsma, Petar Mlinarić, Sara Grundel, Peter Benner, Harry L. Trentelman

Abstract: In this paper, we study a model reduction technique for leader-follower networked multi-agent systems defined on weighted, undirected graphs with arbitrary linear multivariable agent dynamics. In the network graph of this network, nodes represent the agents and edges represent communication links between the agents. Only the leaders in the network receive an external input, the followers only exch… ▽ More In this paper, we study a model reduction technique for leader-follower networked multi-agent systems defined on weighted, undirected graphs with arbitrary linear multivariable agent dynamics. In the network graph of this network, nodes represent the agents and edges represent communication links between the agents. Only the leaders in the network receive an external input, the followers only exchange information with their neighbors. The reduced network is obtained by partitioning the set of nodes into disjoint sets, called clusters, and associating with each cluster a single, new, node in a reduced network graph. The resulting reduced network has a weighted, symmetric, directed network graph, and inherits some of the structure of the original network. We establish a priori upper bounds on the $\mathcal{H}_2$ and $\mathcal{H}_\infty$ model reduction error for the special case that the graph partition is almost equitable. These upper bounds depend on the Laplacian eigenvalues of the original and reduced network, an auxiliary system associated with the agent dynamics, and the number of nodes that belong to the same clusters as the leaders in the network. Finally, we consider the problem of obtaining a priori upper bounds if we cluster using arbitrary, possibly non almost equitable, partitions. △ Less

Submitted 7 October, 2016; originally announced October 2016.

Comments: 28 pages, 1 figure

MSC Class: 93C05; 93A15; 94C15

A Distance-Based Approach to Strong Target Control of Dynamical Networks

Authors: Henk J. van Waarde, M. Kanat Camlibel, Harry L. Trentelman

Abstract: This paper deals with controllability of dynamical networks. It is often unfeasible or unnecessary to fully control large-scale networks, which motivates the control of a prescribed subset of agents of the network. This specific form of output control is known under the name target control. We consider target control of a family of linear control systems associated with a network, and provide both… ▽ More This paper deals with controllability of dynamical networks. It is often unfeasible or unnecessary to fully control large-scale networks, which motivates the control of a prescribed subset of agents of the network. This specific form of output control is known under the name target control. We consider target control of a family of linear control systems associated with a network, and provide both a necessary and a sufficient topological condition under which the network is strongly targeted controllable. Furthermore, a leader selection algorithm is presented to compute leader sets achieving target control. △ Less

Submitted 7 August, 2016; originally announced August 2016.

Comments: 10 pages