Abstract:This paper studies two related topology design problems: given a collection of links, including links among state variables or from existing inputs to state variables, each link with a cost, how to construct a system with the minimal link cost under structural controllability constraint; and conversely, how to determine the minimal cost of a link subset whose deletion eliminates the existence of a structural controllable system from the remaining links. We prove that both of these two problems are NP-hard. As for approximation, there exists a 2-approximation algorithm for the first problem, and any multiplicative factor approximation for the minimal cost 1-block problem for bipartite graphs is also the approximation factor for the second problem. We also study two subproblems of the above problems, where the link candidates compose of Cartesian product among state variables and between state variables and existing inputs, and each link has a 0 - 1 cost. From a graph-theoretical perspective, these subproblems can also be addressed equivalently as determining the graph edit distance of a linear structurally uncontrollable (respectively, controllable) system to its "nearest" structurally controllable (respectively, uncontrollable) system with the same state variables and inputs, which extends the concept "controllability distance" for numerical systems to linear structural systems. We give a polynomial time algorithm for the first subproblem, while the latter subproblem remains NP-hard. The complexity status of some variants of the above subproblems are also studied, where the insertable links are restricted in state links, or the deletable links are restricted in input ones.

On Strong Structural Controllability and Observability of Linear Time-Varying Systems: a Constructive Method.

Robust stabilization of feedback linearizable time-delay systems

Dynamic Output Feedback Stabilizing Control For Linear Time-Varying Uncertain Systems With Delayed State And Control

Control Via Interconnection and Damping Assignment of Linear Time–Invariant Systems is Equivalent to Stabilizability

A Reinvestigation On The Controllability And Observability Of Networked Dynamic Systems

Controllability of generalized linear time-invariant systems

Asymptotic Controllability for Linear Hyperbolic Systems

Controllability Of A Class Of Singular Systems

Controllability of Infinite Dimensional Linear Systems in Banach Spaces

Nonlinear stochastic optimal control of partially observable linear structures

New Meaning Of Exact Controllability Of Linear Systems In Hilbert Spaces

New Meaning of Exact Controllability of Linear Sytems in Hilbert Spaces

A Constructive Method to Controllability and Observability for Quasilinear Hyperbolic Systems

Controllability and Observability of an LSS

Rank condition for the controllability of a linear time-varying system

On the Edge Insertion/deletion and Controllability Distance of Linear Structural Systems.

Sparse Linear Ensemble Systems and Structural Controllability

Necessary and Sufficient Condition for Global Controllability of a Class of Affine Nonlinear Systems

Affine Dependence of Network Observability/Controllability on Its Subsystem Parameters and Connections

Controllability and observability of a class of linear impulsive systems

Structural Controllability of a Networked Dynamic System with LFT Parameterized Subsystems