Skip to Main content Skip to Navigation

Input and State Observability of Linear Network Systems with Application to Security of Cyber Physical Systems

Abstract : This thesis deals with the notion of Input and State Observability (ISO) in linear network systems. One seeks graphical characterizations using the notion of structural (resp. s-structural) ISO. We first focus on linear time-invariant network systems ,represented by fixed graphs, and provide characterizations for strong structural ISO. Thereafter, we turn our attention to linear time-varying network systems wherein we first narrow our attention to the particular case of fixed graphs (i.e., the structure of the graph remains fixed; the weights along the edges are allowed to vary, thereby giving rise to time-varying dynamics). We show that, under suitable assumptions on the structure of input, output and feedthrough matrices, ISO of a system is equivalent to observability of a suitably defined subsystem. Subsequently, we exploit this equivalence to obtain graphical characterizations of structural (resp. s-structural) ISO.Thereafter, for the LTV setting, we consider the more general case of time-varying graphs and furthermore make no assumptions on the structure of system matrices. We introduce two suitable descriptions of the whole collection of graphs, which are named as dynamic graph and dynamic bipartite graph. Two equivalent characterizations of structural ISO are then stated in terms of existence of a linking and a matching of suitable size in the dynamic graph and in the dynamic bipartite graph, respectively. For strongly structural ISO, we provide a sufficient condition and a necessary condition, both concerning the existence of a uniquely restricted matching of suitable size in the dynamic bipartite graph and in a subgraph of it. When there is no direct feedthrough of the input on the measurements, the two conditions can be merged to give rise to a necessary and sufficient condition.Finally, we present an unbiased recursive algorithm that simultaneously estimates states and inputs. We focus on delay-ell left invertible systems with intrinsic delay ellgeq, where the input reconstruction is possible only by using outputs up to ell time steps later in the future. By showing an equivalence with a descriptor system, we state conditions under which the time-varying filter converges to a stationary stable filter, involving the solution of a discrete-time algebraic Riccati equation.
Document type :
Complete list of metadatas

Cited literature [99 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Monday, February 25, 2019 - 12:03:08 PM
Last modification on : Wednesday, October 7, 2020 - 11:40:05 AM
Long-term archiving on: : Sunday, May 26, 2019 - 1:55:38 PM


Version validated by the jury (STAR)


  • HAL Id : tel-02047900, version 1


Sebin Gracy. Input and State Observability of Linear Network Systems with Application to Security of Cyber Physical Systems. Automatic. Université Grenoble Alpes, 2018. English. ⟨NNT : 2018GREAT075⟩. ⟨tel-02047900⟩



Record views


Files downloads