Abstract:This paper investigates the structural functional observability (SFO) and structural output controllability (SOC) of a class of systems with generically diagonalizable state matrices and explores the associated minimal sensor and actuator placement problems. The verification of SOC and the corresponding sensor and actuator placement problems, i.e., the problems of determining the minimum number of outputs and inputs required to achieve SFO and SOC, respectively, are yet open for general systems, which motivates our focus on a class of systems enabling polynomial-time solutions. In this line, we first define and characterize generically diagonalizable systems, referring to structured systems for which almost all realizations of the state matrices are diagonalizable. We then develop computationally efficient criteria for SFO and SOC within the context of generically diagonalizable systems. Our work expands the class of systems amenable to polynomial-time SOC verification. Thanks to the simplicity of the obtained criteria, we derive closed-form solutions for determining the minimal sensor placement to achieve SFO and the minimal actuator deployment to achieve SOC in such systems, along with efficient weighted maximum matching based and weighted maximum flow based algorithms. For more general systems to achieve SFO, an upper bound is given by identifying a non-decreasing property of SFO with respect to a specific class of edge additions, which is shown to be optimal under certain circumstances.

Topology and Subsystem Parameter Based Verification for the Controllability/Observability of a Networked Dynamic System

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

Regularity/Controllability/Observability of an NDS with Descriptor Form Subsystems and Generalized LFTs.

Structural Controllability of a Networked Dynamic System with LFT Parameterized Subsystems

Structural Controllability of an NDS with LFT Parameterized Subsystems.

Output Regulation of a Networked Dynamic System

Controllability Verification for Constrained Networked Dynamic Systems

Relations Between Controllability and Structure of a Networked Dynamic System

Structure Identifiability of an NDS with LFT Parametrized Subsystems

Robust Stability Analysis of Networked Control Systems

A Revisit to the Controllability and Observability of Networked Dynamic Systems

A Reinvestigation On The Controllability And Observability Of Networked Dynamic Systems

On the controllability of networked dynamic systems with bounded inputs

Controllability Analysis for A Networked Dynamic System with Autonomous Subsystems

Controllability of a networked system with input and state constraints

Identifiability of an LFT Structured Descriptor System in the Time Domain

Further on the Controllability of Networked MIMO LTI Systems

Verification of Neural Network Control Systems using Symbolic Zonotopes and Polynotopes

Controllability and Observability of an LSS

Local Identifiability of an LFT Structured State-Space Model

Generic Diagonalizability, Structural Functional Observability and Output Controllability