1 citations · 1 across the 7 of their papers we have counts for
7 papers
Polynomial Logical Zonotope: A Set Representation for Reachability Analysis of Logical Systems
Amr Alanwar, Frank J. Jiang, Karl H. Johansson
In this paper, we introduce a set representation called polynomial logical zonotopes for performing exact and computationally efficient reachability analysis on logical systems. We…
Differentially Private Set-Based Estimation Using Zonotopes
Mohammed M. Dawoud, Changxin Liu, Amr Alanwar +1
For large-scale cyber-physical systems, the collaboration of spatially distributed sensors is often needed to perform the state estimation process. Privacy concerns naturally arise…
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…
Distributed Empirical Risk Minimization With Differential Privacy
Changxin Liu, Karl H. Johansson, Yang Shi
This work studies the distributed empirical risk minimization (ERM) problem under differential privacy (DP) constraint. Standard distributed algorithms achieve DP typically by pert…
Comparison of encrypted control approaches and tutorial on dynamic systems using LWE-based homomorphic encryption
Junsoo Kim, Dongwoo Kim, Yongsoo Song +3
Encrypted control has been introduced to protect controller data by encryption at the stage of computation and communication, by performing the computation directly on encrypted da…
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…