10 citations · 55 across the 37 of their papers we have counts for
3 papers · 1 filter
Reduced-Complexity Verification for K-Step and Infinite-Step Opacity in Discrete Event Systems
Xiaoyan Li, Christoforos N. Hadjicostis, Zhiwu Li
Opacity is a property that captures security concerns in cyber-physical systems and its verification plays a significant role. This paper investigates the verifications of K-step a…
Trustworthy Distributed Average Consensus based on Locally Assessed Trust Evaluations
Christoforos N. Hadjicostis, Alejandro D. Dominguez-Garcia
This paper proposes a distributed algorithm for average consensus in a multi-agent system under a fixed bidirectional communication topology, in the presence of malicious agents (n…
Distributed Optimization for Quadratic Cost Functions over Large-Scale Networks with Quantized Communication and Finite-Time Convergence
Apostolos I. Rikos, Andreas Grammenos, Evangelia Kalyvianaki +3
We propose two distributed iterative algorithms that can be used to solve, in finite time, the distributed optimization problem over quadratic local cost functions in large-scale n…