-
Consensus Seminorms and their Applications
Authors:
Ron Ofir,
Ji Liu,
A. Stephen Morse,
Brian D. O. Anderson
Abstract:
Consensus is a well-studied problem in distributed sensing, computation and control, yet deriving useful and easily computable bounds on the rate of convergence to consensus remains a challenge. We study the applications of seminorms for this goal. We revisit a previously suggested family of seminorms and correct an error made in their original presentation where it was claimed that the a certain…
▽ More
Consensus is a well-studied problem in distributed sensing, computation and control, yet deriving useful and easily computable bounds on the rate of convergence to consensus remains a challenge. We study the applications of seminorms for this goal. We revisit a previously suggested family of seminorms and correct an error made in their original presentation where it was claimed that the a certain seminorm is equal to the well-known coefficient of ergodicity. We then propose a wider family of seminorms which guarantee convergence at an exponential rate of infinite products of matrices which generalizes known results on stochastic matrices to the class of matrices whose row sums are all equal one. Finally, we show that such seminorms cannot be used to bound the rate of convergence of classes larger than the well-known class of scrambling matrices, and pose several open questions for future research.
△ Less
Submitted 7 May, 2025;
originally announced May 2025.
-
Split-Spectrum Based Distributed State Estimation for Linear Systems
Authors:
Lili Wang,
Ji Liu,
Brian B. O. Anderson,
A. Stephen Morse
Abstract:
This paper studies a distributed state estimation problem for both continuous- and discrete-time linear systems. A simply structured distributed estimator (comprising interconnected local estimators) is first described for estimating the state of a continuous and multi-channel linear system whose sensed outputs are distributed across a fixed multi-agent network. The estimator is then extended to n…
▽ More
This paper studies a distributed state estimation problem for both continuous- and discrete-time linear systems. A simply structured distributed estimator (comprising interconnected local estimators) is first described for estimating the state of a continuous and multi-channel linear system whose sensed outputs are distributed across a fixed multi-agent network. The estimator is then extended to non-stationary networks whose graphs switch according to a switching signal. The estimator is guaranteed to solve the problem, provided a network-widely shared high gain condition achieving a form of spectrum separation is satisfied. As an alternative to sharing a common gain across the network, a fully distributed version of the estimator is also studied in which each agent adaptively adjusts a local gain, though the practicality of this approach is subject to a robustness issue common to adaptive control. A discrete-time version of the distributed state estimation problem is also studied, and a corresponding estimator based again on spectrum separation, but not high gain, is proposed for time-varying networks. For each scenario, it is explained how to construct the estimator so that the state estimation errors in the local estimators all converge to zero exponentially fast at a fixed but arbitrarily chosen rate, provided the network's graph is strongly connected for all time. The proposed estimators are inherently resilient to abrupt changes in the number of agents and communication links in the inter-agent communication graph upon which the algorithms depend, provided the network is redundantly strongly connected and redundantly jointly observable.
△ Less
Submitted 27 October, 2023; v1 submitted 3 October, 2022;
originally announced October 2022.
-
A Distributed Observer for a Continuous-Time Linear System with time-varying network
Authors:
Lili Wang,
Ji Liu,
A. Stephen Morse
Abstract:
A simply structured distributed observer is described for estimating the state of a continuous-time, jointly observable, input-free, linear system whose sensed outputs are distributed across a time-varying network. It is explained how to design a gain $g$ in the observer so that their state estimation errors all converge exponentially fast to zero at a fixed, but arbitrarily chosen rate provided t…
▽ More
A simply structured distributed observer is described for estimating the state of a continuous-time, jointly observable, input-free, linear system whose sensed outputs are distributed across a time-varying network. It is explained how to design a gain $g$ in the observer so that their state estimation errors all converge exponentially fast to zero at a fixed, but arbitrarily chosen rate provided the network's graph is strongly connected for all time. A linear inequality for $g$ is provided when the network's graph is switching according to a switching signal with a dwell time or an average dwell time, respectively. It has also been shown the existence of $g$ when the stochastic matrix of the network's graph is chosen to be doubly stochastic under arbitrarily switching signals. This is accomplished by exploiting several well-known properties of invariant subspaces and properties of perturbed systems.
△ Less
Submitted 3 March, 2020;
originally announced March 2020.
-
Distributed Feedback Control of Multi-Channel Linear Systems
Authors:
Fengjiao Liu,
Lili Wang,
Daniel Fullmer,
A. Stephen Morse
Abstract:
In this paper it is established that any jointly controllable, jointly observable, multi-channel, discrete or continuous time linear system with a strongly connected neighbor (communication) graph can be exponentially stabilized with any pre-specified convergence rate using a time-invariant distributed linear control. As an illustration of how this finding can be used to deal with certain distribu…
▽ More
In this paper it is established that any jointly controllable, jointly observable, multi-channel, discrete or continuous time linear system with a strongly connected neighbor (communication) graph can be exponentially stabilized with any pre-specified convergence rate using a time-invariant distributed linear control. As an illustration of how this finding can be used to deal with certain distributed tracking problems, a solution is given to a distributed set-point control problem for a continuous-time, multi-channel linear system in which each and every agent with access to the system is able to independently adjust its scalar-valued, controlled output to any desired set-point value. To better understand the constraints on controller design, the distributed control problem is recast as a classical decentralized control problem. Armed with the tools of decentralized control, including the notion of a "fixed spectrum", it is possible to show quite surprisingly that if the only information each agent is allowed to share with its neighbors is its measured output, then distributed stabilization in some cases is impossible. Using well-known decentralized control concepts, lower bounds are derived on the dimensions of the shared sub-states of local controllers which, if satisfied, guarantee that there will be no fixed closed-loop system eigenvalues to contend with. The decentralized control perspective also enables one to assert that without imposing a partitioning constraint, the closed-loop spectrum of any jointly controllable, jointly observable multi-channel linear system with a strongly connected neighbor graph, can be freely assigned with distributed feedback control. It is also explained why in the face of finite delays, exponential stabilization at any prescribed convergence rate can still be achieved with distributed control, at least for discrete-time multi-channel linear systems.
△ Less
Submitted 30 November, 2022; v1 submitted 9 December, 2019;
originally announced December 2019.
-
Distributed Control of Linear Multi-Channel Systems
Authors:
L. Wang,
D. Fullmer,
F. Liu,
A. S. Morse
Abstract:
A solution is given to the basic distributed feedback control problem for a multi-channel linear system assuming only that the system is jointly controllable, jointly observable and has an associated neighbor graph which is strongly connected. The solution is an observer-based control system which is implemented in a distributed manner. Using these ideas, a solution is also given to the distribute…
▽ More
A solution is given to the basic distributed feedback control problem for a multi-channel linear system assuming only that the system is jointly controllable, jointly observable and has an associated neighbor graph which is strongly connected. The solution is an observer-based control system which is implemented in a distributed manner. Using these ideas, a solution is also given to the distributed set-point control problem for a multi-channel linear system in which each and every agent with access to the system is able to independently adjust its controlled output to any desired set-point value. An example is given to briefly illustrate how network transmission delays might be dealt with.
△ Less
Submitted 13 March, 2020; v1 submitted 25 September, 2019;
originally announced September 2019.
-
Structural Completeness of a Multi-channel Linear System with Dependent Parameters
Authors:
Fengjiao Liu,
A. Stephen Morse
Abstract:
It is well known that the "fixed spectrum" {i.e., the set of fixed modes} of a multi-channel linear system plays a central role in the stabilization of such a system with decentralized control. A parameterized multi-channel linear system is said to be "structurally complete" if it has no fixed spectrum for almost all parameter values. Necessary and sufficient algebraic conditions are presented for…
▽ More
It is well known that the "fixed spectrum" {i.e., the set of fixed modes} of a multi-channel linear system plays a central role in the stabilization of such a system with decentralized control. A parameterized multi-channel linear system is said to be "structurally complete" if it has no fixed spectrum for almost all parameter values. Necessary and sufficient algebraic conditions are presented for a multi-channel linear system with dependent parameters to be structurally complete. An equivalent graphical condition is also given for a certain type of parameterization.
△ Less
Submitted 5 February, 2020; v1 submitted 2 April, 2019;
originally announced April 2019.
-
On the Existence of a Fixed Spectrum for a Multi-channel Linear System: A Matroid Theory Approach
Authors:
Fengjiao Liu,
A. Stephen Morse
Abstract:
Conditions for the existence of a fixed spectrum \{i.e., the set of fixed modes\} for a multi-channel linear system have been known for a long time. The aim of this paper is to reestablish one of these conditions using a new and transparent approach based on matroid theory.
Conditions for the existence of a fixed spectrum \{i.e., the set of fixed modes\} for a multi-channel linear system have been known for a long time. The aim of this paper is to reestablish one of these conditions using a new and transparent approach based on matroid theory.
△ Less
Submitted 2 April, 2019;
originally announced April 2019.
-
A Distributed Observer for a Discrete-Time Linear System
Authors:
Lili Wang,
Ji Liu,
A. Stephen Morse,
Brian D. O. Anderson
Abstract:
A simply structured distributed observer is described for estimating the state of a discrete-time, jointly observable, input-free, linear system whose sensed outputs are distributed across a time-varying network. It is explained how to construct the local estimators which comprise the observer so that their state estimation errors all converge exponentially fast to zero at a fixed, but arbitrarily…
▽ More
A simply structured distributed observer is described for estimating the state of a discrete-time, jointly observable, input-free, linear system whose sensed outputs are distributed across a time-varying network. It is explained how to construct the local estimators which comprise the observer so that their state estimation errors all converge exponentially fast to zero at a fixed, but arbitrarily chosen rate provided the network's graph is strongly connected for all time. This is accomplished by exploiting several well-known properties of invariant subspaces plus several kinds of suitably defined matrix norms.
△ Less
Submitted 13 March, 2019;
originally announced March 2019.
-
A Generalized Discrete-Time Altafini Model
Authors:
L. Wang,
J. Liu,
A. S. Morse,
B. D. O. Anderson,
D. Fullmer
Abstract:
A discrete-time modulus consensus model is considered in which the interaction among a family of networked agents is described by a time-dependent gain graph whose vertices correspond to agents and whose arcs are assigned complex numbers from a cyclic group. Limiting behavior of the model is studied using a graphical approach. It is shown that, under appropriate connectedness, a certain type of cl…
▽ More
A discrete-time modulus consensus model is considered in which the interaction among a family of networked agents is described by a time-dependent gain graph whose vertices correspond to agents and whose arcs are assigned complex numbers from a cyclic group. Limiting behavior of the model is studied using a graphical approach. It is shown that, under appropriate connectedness, a certain type of clustering will be reached exponentially fast for almost all initial conditions if and only if the sequence of gain graphs is "repeatedly jointly structurally balanced" corresponding to that type of clustering, where the number of clusters is at most the order of a cyclic group. It is also shown that the model will reach a consensus asymptotically at zero if the sequence of gain graphs is repeatedly jointly strongly connected and structurally unbalanced. In the special case when the cyclic group is of order two, the model simplifies to the so-called Altafini model whose gain graph is simply a signed graph.
△ Less
Submitted 23 February, 2018;
originally announced February 2018.
-
A Graphical Characterization of Structurally Controllable Linear Systems with Dependent Parameters
Authors:
Fengjiao Liu,
A. Stephen Morse
Abstract:
One version of the concept of structural controllability defined for single-input systems by Lin and subsequently generalized to multi-input systems by others, states that a parameterized matrix pair $(A, B)$ whose nonzero entries are distinct parameters, is structurally controllable if values can be assigned to the parameters which cause the resulting matrix pair to be controllable. In this paper…
▽ More
One version of the concept of structural controllability defined for single-input systems by Lin and subsequently generalized to multi-input systems by others, states that a parameterized matrix pair $(A, B)$ whose nonzero entries are distinct parameters, is structurally controllable if values can be assigned to the parameters which cause the resulting matrix pair to be controllable. In this paper the concept of structural controllability is broadened to allow for the possibility that a parameter may appear in more than one location in the pair $(A, B)$. Subject to a certain condition on the parameterization called the "binary assumption", an explicit graph-theoretic characterization of such matrix pairs is derived.
△ Less
Submitted 2 April, 2019; v1 submitted 25 July, 2017;
originally announced July 2017.
-
A Hybrid Observer for a Distributed Linear System with a Changing Neighbor Graph
Authors:
L. Wang,
A. S. Morse,
D. Fullmer,
J. Liu
Abstract:
A hybrid observer is described for estimating the state of an $m>0$ channel, $n$-dimensional, continuous-time, distributed linear system of the form $\dot{x} = Ax,\;y_i = C_ix,\;i\in\{1,2,\ldots, m\}$. The system's state $x$ is simultaneously estimated by $m$ agents assuming each agent $i$ senses $y_i$ and receives appropriately defined data from each of its current neighbors. Neighbor relations a…
▽ More
A hybrid observer is described for estimating the state of an $m>0$ channel, $n$-dimensional, continuous-time, distributed linear system of the form $\dot{x} = Ax,\;y_i = C_ix,\;i\in\{1,2,\ldots, m\}$. The system's state $x$ is simultaneously estimated by $m$ agents assuming each agent $i$ senses $y_i$ and receives appropriately defined data from each of its current neighbors. Neighbor relations are characterized by a time-varying directed graph $\mathbb{N}(t)$ whose vertices correspond to agents and whose arcs depict neighbor relations. Agent $i$ updates its estimate $x_i$ of $x$ at "event times" $t_1,t_2,\ldots $ using a local observer and a local parameter estimator. The local observer is a continuous time linear system whose input is $y_i$ and whose output $w_i$ is an asymptotically correct estimate of $L_ix$ where $L_i$ a matrix with kernel equaling the unobservable space of $(C_i,A)$. The local parameter estimator is a recursive algorithm designed to estimate, prior to each event time $t_j$, a constant parameter $p_j$ which satisfies the linear equations $w_k(t_j-τ) = L_kp_j+μ_k(t_j-τ),\;k\in\{1,2,\ldots,m\}$, where $τ$ is a small positive constant and $μ_k$ is the state estimation error of local observer $k$. Agent $i$ accomplishes this by iterating its parameter estimator state $z_i$, $q$ times within the interval $[t_j-τ, t_j)$, and by making use of the state of each of its neighbors' parameter estimators at each iteration. The updated value of $x_i$ at event time $t_j$ is then $x_i(t_j) = e^{Aτ}z_i(q)$. Subject to the assumptions that (i) the neighbor graph $\mathbb{N}(t)$ is strongly connected for all time, (ii) the system whose state is to be estimated is jointly observable, (iii) $q$ is sufficiently large, it is shown that each estimate $x_i$ converges to $x$ exponentially fast as $t\rightarrow \infty$ at a rate which can be controlled.
△ Less
Submitted 13 June, 2017;
originally announced June 2017.
-
A Distributed Observer for a Time-Invariant Linear System
Authors:
L. Wang,
A. S. Morse
Abstract:
A time-invariant, linear, distributed observer is described for estimating the state of an $m>0$ channel, $n$-dimensional continuous-time linear system of the form $ \dot{x} = Ax,\ y_i = C_i x,\ i \in \{1,2,\cdots, m\}$. The state $x$ is simultaneously estimated by $m$ agents assuming each agent $i$ senses $y_i$ and receives the state $z_j$ of each of its neighbors' estimators. Neighbor relations…
▽ More
A time-invariant, linear, distributed observer is described for estimating the state of an $m>0$ channel, $n$-dimensional continuous-time linear system of the form $ \dot{x} = Ax,\ y_i = C_i x,\ i \in \{1,2,\cdots, m\}$. The state $x$ is simultaneously estimated by $m$ agents assuming each agent $i$ senses $y_i$ and receives the state $z_j$ of each of its neighbors' estimators. Neighbor relations are characterized by a constant directed graph $\mathbb{N}$ whose vertices correspond to agents and whose arcs depict neighbor relations. The overall distributed observer consists of $m$ linear estimators, one for each agent; $m-1$ of the estimators are of dimension $n$ and one estimator is of dimension $n+m-1$. Using results from classical decentralized control theory, it is shown that subject to the assumptions that (i) none of the $C_i$ are zero, (ii) the neighbor graph $\mathbb{N}$ is strongly connected, (iii) the system whose state is to be estimated is jointly observable, and nothing more, it is possible to freely assign the spectrum of the overall distributed observer.
△ Less
Submitted 13 March, 2018; v1 submitted 19 September, 2016;
originally announced September 2016.
-
A Distributed Algorithm for Computing a Common Fixed Point of a Family of Paracontractions
Authors:
Daniel Fullmer,
Lili Wang,
A. Stephen Morse
Abstract:
A distributed algorithm is described for finding a common fixed point of a family of $m>1$ nonlinear maps $M_i : \mathbb{R}^n \rightarrow \mathbb{R}^n$ assuming that each map is a paracontraction and that such a common fixed point exists. The common fixed point is simultaneously computed by $m$ agents assuming each agent $i$ knows only $M_i$, the current estimates of the fixed point generated by i…
▽ More
A distributed algorithm is described for finding a common fixed point of a family of $m>1$ nonlinear maps $M_i : \mathbb{R}^n \rightarrow \mathbb{R}^n$ assuming that each map is a paracontraction and that such a common fixed point exists. The common fixed point is simultaneously computed by $m$ agents assuming each agent $i$ knows only $M_i$, the current estimates of the fixed point generated by its neighbors, and nothing more. Each agent recursively updates its estimate of the fixed point by utilizing the current estimates generated by each of its neighbors. Neighbor relations are characterized by a time-dependent directed graph $\mathbb{N}(t)$ whose vertices correspond to agents and whose arcs depict neighbor relations. It is shown that for any family of paracontractions $M_i, i \in \{1,2,\ldots,m\}$ which has at least one common fixed point, and any sequence of strongly connected neighbor graphs $\mathbb{N}(t)$, $t=1,2,\ldots$, the algorithm causes all agent estimates to converge to a common fixed point.
△ Less
Submitted 25 May, 2016; v1 submitted 3 February, 2016;
originally announced February 2016.
-
Decentralized gradient algorithm for solution of a linear equation
Authors:
Brian D. O. Anderson,
Shaoshuai Mou,
A. Stephen Morse,
Uwe Helmke
Abstract:
The paper develops a technique for solving a linear equation $Ax=b$ with a square and nonsingular matrix $A$, using a decentralized gradient algorithm. In the language of control theory, there are $n$ agents, each storing at time $t$ an $n$-vector, call it $x_i(t)$, and a graphical structure associating with each agent a vertex of a fixed, undirected and connected but otherwise arbitrary graph…
▽ More
The paper develops a technique for solving a linear equation $Ax=b$ with a square and nonsingular matrix $A$, using a decentralized gradient algorithm. In the language of control theory, there are $n$ agents, each storing at time $t$ an $n$-vector, call it $x_i(t)$, and a graphical structure associating with each agent a vertex of a fixed, undirected and connected but otherwise arbitrary graph $\mathcal G$ with vertex set and edge set $\mathcal V$ and $\mathcal E$ respectively. We provide differential equation update laws for the $x_i$ with the property that each $x_i$ converges to the solution of the linear equation exponentially fast. The equation for $x_i$ includes additive terms weighting those $x_j$ for which vertices in $\mathcal G$ corresponding to the $i$-th and $j$-th agents are adjacent. The results are extended to the case where $A$ is not square but has full row rank, and bounds are given on the convergence rate.
△ Less
Submitted 15 September, 2015;
originally announced September 2015.
-
Undirected Rigid Formations are Problematic
Authors:
Shaoshuai Mou,
A. Stephen Morse,
Mohamed Ali Belabbas,
Zhiyong Sun,
Brian D. O. Anderson
Abstract:
By an undirected rigid formation of mobile autonomous agents is meant a formation based on graph rigidity in which each pair of "neighboring" agents is responsible for maintaining a prescribed target distance between them. In a recent paper a systematic method was proposed for devising gradient control laws for asymptotically stabilizing a large class of rigid, undirected formations in two dimensi…
▽ More
By an undirected rigid formation of mobile autonomous agents is meant a formation based on graph rigidity in which each pair of "neighboring" agents is responsible for maintaining a prescribed target distance between them. In a recent paper a systematic method was proposed for devising gradient control laws for asymptotically stabilizing a large class of rigid, undirected formations in two dimensional space assuming all agents are described by kinematic point models. The aim of this paper is to explain what happens to such formations if neighboring agents have slightly different understandings of what the desired distance between them is supposed to be or equivalently if neighboring agents have differing estimates of what the actual distance between them is. In either case, what one would expect would be a gradual distortion of the formation from its target shape as discrepancies in desired or sensed distances increase. While this is observed for the gradient laws in question, something else quite unexpected happens at the same time. It is shown that for any rigidity-based, undirected formation of this type which is comprised of three or more agents, that if some neighboring agents have slightly different understandings of what the desired distances between them are suppose to be, then almost for certain, the trajectory of the resulting distorted but rigid formation will converge exponentially fast to a closed circular orbit in two-dimensional space which is traversed periodically at a constant angular speed.
△ Less
Submitted 2 March, 2015;
originally announced March 2015.
-
A Distributed Algorithm for Solving a Linear Algebraic Equation
Authors:
Shaoshuai Mou,
Ji Liu,
A. Stephen Morse
Abstract:
A distributed algorithm is described for solving a linear algebraic equation of the form $Ax=b$ assuming the equation has at least one solution. The equation is simultaneously solved by $m$ agents assuming each agent knows only a subset of the rows of the partitioned matrix $(A,b)$, the current estimates of the equation's solution generated by its neighbors, and nothing more. Each agent recursivel…
▽ More
A distributed algorithm is described for solving a linear algebraic equation of the form $Ax=b$ assuming the equation has at least one solution. The equation is simultaneously solved by $m$ agents assuming each agent knows only a subset of the rows of the partitioned matrix $(A,b)$, the current estimates of the equation's solution generated by its neighbors, and nothing more. Each agent recursively updates its estimate by utilizing the current estimates generated by each of its neighbors. Neighbor relations are characterized by a time-dependent directed graph $\mathbb{N}(t)$ whose vertices correspond to agents and whose arcs depict neighbor relations. It is shown that for any matrix $A$ for which the equation has a solution and any sequence of "repeatedly jointly strongly connected graphs" $\mathbb{N}(t)$, $t=1,2,\ldots$, the algorithm causes all agents' estimates to converge exponentially fast to the same solution to $Ax=b$. It is also shown that the neighbor graph sequence must actually be repeatedly jointly strongly connected if exponential convergence is to be assured. A worst case convergence rate bound is derived for the case when $Ax=b$ has a unique solution. It is demonstrated that with minor modification, the algorithm can track the solution to $Ax = b$, even if $A$ and $b$ are changing with time, provided the rates of change of $A$ and $b$ are sufficiently small. It is also shown that in the absence of communication delays, exponential convergence to a solution occurs even if the times at which each agent updates its estimates are not synchronized with the update times of its neighbors. A modification of the algorithm is outlined which enables it to obtain a least squares solution to $Ax=b$ in a distributed manner, even if $Ax=b$ does not have a solution.
△ Less
Submitted 2 March, 2015;
originally announced March 2015.
