×

Designing communication networks for discrete-time consensus for performance and privacy guarantees. (English) Zbl 1530.93480

Summary: Discrete-time consensus plays a key role in multi-agent systems and distributed protocols. Unfortunately, due to the self-loop dynamics of the agents (an agent’s current state depends only on its own immediately previous state, i.e., one time-step in the past), they often lack privacy guarantees. Therefore, in this paper, we propose a novel design that consists of a network augmentation, where each agent uses the previous iteration values and the newly received ones to increase the privacy guarantees. To formally evaluate the privacy of a network of agents, we define the concept of privacy index, which intuitively measures the minimum number of agents that should work in coalition to recover all the initial states. Moreover, we aim to explore if there is a trade-off between privacy and accuracy (rate of convergence) or if we can increase both. We unveil that, with the proposed method, we can design networks with higher privacy index and faster convergence rates. Remarkably, we further ensure that the network always reaches consensus even when the original network does not. Finally, we illustrate the proposed method with examples and present networks that lead to higher privacy levels and, in the majority of the cases, to faster consensus rates.

MSC:

93D50 Consensus
93C55 Discrete-time control/observation systems
93B70 Networked control
93C05 Linear systems in control theory

References:

[1] Bullo, F.; Cortés, J.; Martinez, S., Distributed Control of Robotic Networks: A Mathematical Approach to Motion Coordination Algorithms (2009), Princeton University Press · Zbl 1193.93137
[2] G. Ramos, D. Silvestre, C. Silvestre, A general discrete-time method to achieve resilience in consensus algorithms, in: Proceedings of the 59th IEEE Conference on Decision and Control, 2020, pp. 2702-2707, http://dx.doi.org/10.1109/CDC42340.2020.9304107.
[3] Dibaji, S. M.; Ishii, H., Consensus of second-order multi-agent systems in the presence of locally bounded faults, Systems Control Lett., 79, 23-29 (2015) · Zbl 1326.93081
[4] D. Saldana, A. Prorok, S. Sundaram, M.F.M. Campos, V. Kumar, Resilient consensus for time-varying networks of dynamic agents, in: Proceedings of the American Control Conference, 2017, pp. 252-258, http://dx.doi.org/10.23919/ACC.2017.7962962.
[5] Sundaram, S.; Gharesifard, B., Distributed optimization under adversarial nodes, IEEE Trans. Automat. Control, 1 (2018)
[6] Ramos, G.; Silvestre, D.; Silvestre, C., General resilient consensus algorithms, Internat. J. Control, 95, 6, 1482-1496 (2022) · Zbl 1492.93170
[7] Ramos, G.; Silvestre, D.; Aguiar, A. P., A resilient continuous-time consensus method using a switching topology, Systems Control Lett., 169, Article 105381 pp. (2022) · Zbl 1505.93241
[8] Ramos, G.; Silvestre, D.; Silvestre, C., Node and network resistance to bribery in multi-agent systems, Systems Control Lett., 147, Article 104842 pp. (2021) · Zbl 1454.93019
[9] Ramos, G.; Silvestre, D.; Silvestre, C., A discrete-time reputation-based resilient consensus algorithm for synchronous or asynchronous communications, IEEE Trans. Automat. Control (2023)
[10] Such, J. M.; Espinosa, A.; García-Fornes, A., A survey of privacy in multi-agent systems, Knowl. Eng. Rev., 29, 3, 314-344 (2014)
[11] Pequito, S.; Kar, S.; Sundaram, S.; Aguiar, A. P., Design of communication networks for distributed computation with privacy guarantees, Proceedings of the 53rd IEEE Conference on Decision and Control, 1370-1376 (2014), IEEE
[12] Gupta, N.; Katz, J.; Chopra, N., Privacy in distributed average consensus, IFAC-PapersOnLine, 50, 1, 9515-9520 (2017), Proceedings of the 20th IFAC World Congress
[13] Lazzeretti, R.; Horn, S.; Braca, P.; Willett, P., Secure multi-party consensus gossip algorithms, Proceedings of the IEEE International Conference on Acoustics, Speech and Signal Processing, 7406-7410 (2014), IEEE
[14] Freris, N. M.; Patrinos, P., Distributed computing over encrypted data, Proceedings of the 54th Annual Allerton Conference on Communication, Control, and Computing, 1116-1122 (2016), IEEE
[15] Kishida, M., Encrypted average consensus with quantized control law, Proceedings of the IEEE Conference on Decision and Control, 5850-5856 (2018), IEEE
[16] Yin, T.; Lv, Y.; Yu, W., Accurate privacy preserving average consensus, IEEE Trans. Circuits Syst. II, 67, 4, 690-694 (2019)
[17] Ruan, M.; Gao, H.; Wang, Y., Secure and privacy-preserving consensus, IEEE Trans. Automat. Control, 64, 10, 4035-4049 (2019) · Zbl 1482.91071
[18] Hadjicostis, C. N.; Domínguez-García, A. D., Privacy-preserving distributed averaging via homomorphically encrypted ratio consensus, IEEE Trans. Automat. Control, 65, 9, 3887-3894 (2020) · Zbl 07256491
[19] Lagendijk, R. L.; Erkin, Z.; Barni, M., Encrypted signal processing for privacy protection: Conveying the utility of homomorphic encryption and multiparty computation, IEEE Signal Process. Mag., 30, 1, 82-105 (2012)
[20] Kogiso, K.; Fujita, T., Cyber-security enhancement of networked control systems using homomorphic encryption, Proceedings of the 54th IEEE Conference on Decision and Control, 6836-6843 (2015), IEEE
[21] Cortés, J.; Dullerud, G. E.; Han, S.; Le Ny, J.; Mitra, S.; Pappas, G. J., Differential privacy in control and network systems, Proceedings of the IEEE 55th Conference on Decision and Control, 4252-4272 (2016), IEEE
[22] Z. Huang, S. Mitra, G. Dullerud, Differentially private iterative synchronous consensus, in: Proceedings of the ACM Workshop on Privacy in the Electronic Society, 2012, pp. 81-90, http://dx.doi.org/10.1145/2381966.2381978.
[23] Nozari, E.; Tallapragada, P.; Cortés, J., Differentially private average consensus: Obstructions, trade-offs, and optimal algorithm design, Automatica, 81, 221-231 (2017) · Zbl 1372.93027
[24] Wang, X.; He, J.; Cheng, P.; Chen, J., Privacy preserving average consensus with different privacy guarantee, Proceedings of the Annual American Control Conference, 5189-5194 (2018), IEEE
[25] Gao, L.; Deng, S.; Ren, W., Differentially private consensus with an event-triggered mechanism, IEEE Trans. Control Netw. Syst., 6, 1, 60-71 (2018) · Zbl 1515.93160
[26] Fiore, D.; Russo, G., Resilient consensus for multi-agent systems subject to differential privacy requirements, Automatica, 106, 18-26 (2019) · Zbl 1429.93329
[27] Mo, Y.; Murray, R. M., Privacy preserving average consensus, IEEE Trans. Automat. Control, 62, 2, 753-765 (2016) · Zbl 1364.91048
[28] He, J.; Cai, L.; Cheng, P.; Pan, J.; Shi, L., Consensus-based data-privacy preserving data aggregation, IEEE Trans. Automat. Control, 64, 12, 5222-5229 (2019) · Zbl 1482.93017
[29] He, J.; Cai, L.; Guan, X., Preserving data-privacy with added noises: Optimal estimation and privacy analysis, IEEE Trans. Inform. Theory, 64, 8, 5677-5690 (2018) · Zbl 1401.94159
[30] Nozari, E.; Tallapragada, P.; Cortés, J., Differentially private average consensus: Obstructions, trade-offs, and optimal algorithm design, Automatica, 81, 221-231 (2017) · Zbl 1372.93027
[31] Wang, Y., Privacy-preserving average consensus via state decomposition, IEEE Trans. Automat. Control, 64, 11, 4711-4716 (2019) · Zbl 1482.93029
[32] Yu, F.; Li, L.; Tang, Q.; Cai, S.; Song, Y.; Xu, Q., A survey on true random number generators based on chaos, Discrete Dyn. Nat. Soc., 2019 (2019) · Zbl 1453.65014
[33] Rikos, A. I.; Hadjicostis, C. N.; Johansson, K. H., Finite-time privacy-preserving quantized average consensus with transmission stopping, (2022 IEEE 61st Conference on Decision and Control. 2022 IEEE 61st Conference on Decision and Control, CDC (2022), IEEE), 6762-6768
[34] Boutat, D.; Zheng, G., Observability and observer for dynamical systems, (Observer Design for Nonlinear Dynamical Systems (2021), Springer), 1-29
[35] Gupta, N.; Chopra, N., Confidentiality in distributed average information consensus, (2016 IEEE 55th Conference on Decision and Control. 2016 IEEE 55th Conference on Decision and Control, CDC (2016), IEEE), 6709-6714
[36] Ridgley, I. L.D.; Freeman, R. A.; Lynch, K. M., Private and hot-pluggable distributed averaging, IEEE Control Syst. Lett., 4, 4, 988-993 (2020)
[37] Alaeddini, A.; Morgansen, K.; Mesbahi, M., Adaptive communication networks with privacy guarantees, (2017 American Control Conference. 2017 American Control Conference, ACC (2017), IEEE), 4460-4465
[38] Ramos, G.; Aguiar, A. P.; Pequito, S., An overview of structural systems theory, Automatica, 140, Article 110229 pp. (2022) · Zbl 1485.93021
[39] Olshevsky, A.; Tsitsiklis, J. N., Convergence speed in distributed consensus and averaging, SIAM rev., 53, 4, 747-772 (2011) · Zbl 1229.93007
[40] Perron, O., Zur theorie der matrices, Math. Ann., 64, 2, 248-263 (1907) · JFM 38.0202.01
[41] Metropolis, N.; Rosenbluth, A. W.; Rosenbluth, M. N.; Teller, A. H.; Teller, E., Equation of state calculations by fast computing machines, J. Chem. Phys., 21, 6, 1087-1092 (1953) · Zbl 1431.65006
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.