1 citations · 1 across the 7 of their papers we have counts for
3 papers · 1 filter
Complexity reduction for resilient state estimation of uniformly observable nonlinear systems
Junsoo Kim, Jin Gyu Lee, Henrik Sandberg +1
A resilient state estimation scheme for uniformly observable nonlinear systems, based on a method for local identification of sensor attacks, is presented. The estimation problem i…
Secure State Estimation with Asynchronous Measurements against Malicious Measurement-data and Time-stamp Manipulation
Zishuo Li, Anh Tung Nguyen, André Teixeira +2
This paper proposes a secure state estimation scheme with non-periodic asynchronous measurements for linear continuous-time systems under false data attacks on the measurement tran…
Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions
Amr Alanwar, Frank J. Jiang, Samy Amin +1
A logical zonotope, which is a new set representation for binary vectors, is introduced in this paper. A logical zonotope is constructed by XOR-ing a binary vector with a combinati…