10 citations · 55 across the 37 of their papers we have counts for
38 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…
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…
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…
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.…
Average Consensus over Directed Networks in Open Multi-Agent Systems with Acknowledgement Feedback
Evagoras Makridis, Andreas Grammenos, Gabriele Oliva +3
In this paper, we address the distributed average consensus problem over directed networks in open multi-agent systems (OMAS), where the stability of the network is disrupted by fr…
Invariant Properties of Linear-Iterative Distributed Averaging Algorithms and Application to Error Detection
Christoforos N. Hadjicostis, Alejandro D. Dominguez-Garcia
We consider the problem of average consensus in a distributed system comprising a set of nodes that can exchange information among themselves. We focus on a class of algorithms for…