5 papers
Synthesis of State-Attack Strategies for Anonymity and Opacity Violation in Discrete Event Systems
Xiaoyan Li, Christoforos N. Hadjicostis
Attacks, including the manipulation of sensor readings and the modification of actuator commands, pose a significant challenge to the security and privacy of automated systems. Thi…
Decentralized State Estimation and Opacity Verification Based on Partially Ordered Observation Sequences
Dajiang Sun, Christoforos N. Hadjicostis, Zhiwu Li
In this paper, we investigate state estimation and opacity verification problems within a decentralized observation architecture. Specifically, we consider a discrete event system…
Distributed Average Consensus in Wireless Multi-Agent Systems with Over-the-Air Aggregation
Themistoklis Charalambous, Zheng Chen, Christoforos N. Hadjicostis
In this paper, we address the average consensus problem of multi-agent systems over wireless networks. We propose a distributed average consensus algorithm by invoking the concept…
Opacity Enforcement by Edit Functions Under Incomparable Observations
Wei Duan, Ruotian Liu, Maria Pia Fanti +2
As an information-flow privacy property, opacity characterizes whether a malicious external observer (referred to as an intruder) is able to infer the secret behavior of a system.…
Global and Local Error-Tolerant Decentralized State Estimation under Partially Ordered Observations
Dajiang Sun, Christoforos N. Hadjicostis, Zhiwu Li
We investigate decentralized state estimation for a discrete event system in a setting where the information received at a coordinator may be corrupted or tampered by a malicious a…