We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.OC

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Optimization and Control

Title: On the minimal driver sets for linear dynamical systems on graphs

Authors: Johannes Maks
Abstract: Let $G=(V,E)$ be a simple, undirected graph on the vertex set $ V=\{1,2,\ldots ,n\}$ and let $A$ be the adjacency matrix of $G.$ A non-empty subset $S=\{i_{1},i_{2},\ldots ,i_{k}\}$ of $V$ is called a driver set for $ G $ if the system $\mathbf{\dot{x}}=A\mathbf{x}+B_{S}\mathbf{u}$, or the pair $(A,B_{S}),$ is controllable, where $B_{S}$ is the $(n\times k)$-matrix with columns $\mathbf{e}_{i_{1}},$ $\mathbf{e}_{i_{2}},\ldots ,\mathbf{e} _{i_{k}}. $ Let $D(G)$ denote the minimum cardinality of a driver set for $G$ and let $M(G)$ denote the maximum of all geometric multiplicities of eigenvalues of $A.$ It is well-known that $D(G)\geq M(G)$ for all graphs $ G.$
Let $\gamma $ denote the Pl\"{u}cker embedding of $Gr(k,n)$ into $\mathbb{P} ^{\binom{n}{k}-1}.$ We prove that in all cases of equality $D(G)=M(G)=k$ a necessary condition for $S$ to be a minimal driver set is the condition that $S$ lies in the support of $\gamma (E_{\lambda })$ for each eigenspace $ E_{\lambda }$ of $A$ of maximal dimension $k.$ We classify the minimal driver sets for the path and cycle graphs $P_{n}$ and $C_{n}$ for all values of $n.$
Let Sym$_{0}(G)$ be the set of symmetric $(n\times n)$-matrices $X$ with zero diagonal and off-diagonal elements $x_{ij}$ unequal to zero if and only if $(i,j)\in E.$ The pair $(G,S)$ is called strongly Sym$_{0}(G)$-controllable if $(X,B_{S})$ is controllable for all $X\in $ Sym$_{0}$($G).$ We show that this property of $(G,S)$ is respected by the automorphism group $Aut(G).$
We determine all orbits of minimal driver sets $S$ for $G=P_{n}$ and $ G=C_{n} $ for which $(G,S)$ is strongly Sym$_{0}(G)$-controllable.
$\textit{Keywords: }$System, graph, (structural) controllability, driver set, Pl\"{u}cker embedding.
$\textit{MSC: }$05C50, 05C69, 15A75, 93B05, 93B25
Subjects: Optimization and Control (math.OC)
Cite as: arXiv:2107.02054 [math.OC]
  (or arXiv:2107.02054v3 [math.OC] for this version)

Submission history

From: Johannes Maks [view email]
[v1] Mon, 5 Jul 2021 14:29:38 GMT (13kb)
[v2] Tue, 3 Aug 2021 13:07:37 GMT (13kb)
[v3] Wed, 4 Aug 2021 10:21:02 GMT (13kb)

Link back to: arXiv, form interface, contact.