Title:On Functional Observability and Structural Functional Observability

Abstract:In this paper, functional observability, functional detectability, and structural functional observability are revisited and investigated. It is found that a PBH-like rank condition for functional observability and a similar one for functional detectability in the literature are not always sufficient. Conditions on the system matrices to establish their sufficiency are given. A new concept of modal functional observability is proposed, leading to necessary and sufficient conditions for functional observability and detectability in the general case. Afterward, structural functional observability is redefined rigorously from a generic perspective. A new and complete graph-theoretic characterization for structural functional observability is proposed. Based on these results, the problems of selecting the minimal sensors to achieve functional observability and structural functional observability are shown to be NP-hard. Nevertheless, polynomial-time algorithms are given based on the supermodular set functions to find approximation solutions. A corollary of our results is that, verifying the structural target controllability of $n-1$ state variables is possible in polynomial time, where $n$ is the system state dimension, a problem that may be hard otherwise.