A Survey of Resilient Coordination for Cyber-Physical Systems Against Malicious Attacks (2402.10505v1)
Abstract: Cyber-physical systems (CPSs) facilitate the integration of physical entities and cyber infrastructures through the utilization of pervasive computational resources and communication units, leading to improved efficiency, automation, and practical viability in both academia and industry. Due to its openness and distributed characteristics, a critical issue prevalent in CPSs is to guarantee resilience in presence of malicious attacks. This paper conducts a comprehensive survey of recent advances on resilient coordination for CPSs. Different from existing survey papers, we focus on the node injection attack and propose a novel taxonomy according to the multi-layered framework of CPS. Furthermore, miscellaneous resilient coordination problems are discussed in this survey. Specifically, some preliminaries and the fundamental problem settings are given at the beginning. Subsequently, based on a multi-layered framework of CPSs, promising results of resilient consensus are classified and reviewed from three perspectives: physical structure, communication mechanism, and network topology. Next, two typical application scenarios, i.e., multi-robot systems and smart grids are exemplified to extend resilient consensus to other coordination tasks. Particularly, we examine resilient containment and resilient distributed optimization problems, both of which demonstrate the applicability of resilient coordination approaches. Finally, potential avenues are highlighted for future research.
- Resilient distributed vector consensus using centerpoint. Automatica 136 (2022), 110046.
- Resilient consensus protocol in the presence of trusted nodes. In Proc. of the 2014 7th International Symposium on Resilient Control Systems (ISRCS). IEEE, 1–7.
- Leader-follower synchronization of Euler-Lagrange systems with time-varying leader trajectory and constrained discrete-time communication. IEEE Trans. Automat. Control 62, 5 (2016), 2539–2545.
- Neda Amirian and Saeed Shamaghdari. 2021. Distributed resilient flocking control of multi-agent systems through event/self-triggered communication. IET Control Theory & Applications 15, 4 (2021), 559–569.
- Liwei An and Guang-Hong Yang. 2021. Byzantine-resilient distributed state estimation: A min-switching approach. Automatica 129 (2021), 109664.
- Internet of Things: Security vulnerabilities and challenges. In Proc. of the 2015 IEEE symposium on computers and communication (ISCC). IEEE, 180–187.
- A survey of physical layer techniques for secure wireless communications in industry. IEEE Communications Surveys & Tutorials 24, 2 (2022), 810–838.
- Murat Arcak. 2007. Passivity as a design tool for group coordination. IEEE Trans. Automat. Control 52, 8 (2007), 1380–1390.
- An Overview of recent advances of resilient consensus for multiagent systems under attacks. Computational Intelligence and Neuroscience (2022), 1–26.
- Distributed average consensus with dithered quantization. IEEE Transactions on Signal Processing 56, 10 (2008), 4905–4918.
- Yuqi Bai and Jinzhi Wang. 2022. Resilient consensus of continuous-time linear networked systems. IEEE Transactions on Circuits and Systems II: Express Briefs 69, 8 (2022), 3500–3504.
- Yongcan Cao and Wei Ren. 2010. Sampled-data discrete-time coordination algorithms for double-integrator dynamics under dynamic directed interaction. Internat. J. Control 83, 3 (2010), 506–515.
- Gossip consensus algorithms via quantized communication. Automatica 46, 1 (2010), 70–80.
- A Byzantine-resilient distributed peer-to-peer energy management approach. IEEE Transactions on Smart Grid 14, 1 (2022), 623–634.
- Resilient distributed estimation: Sensor attacks. IEEE Trans. Automat. Control 64, 9 (2018), 3772–3779.
- Swarm robotics: A survey from a multi-tasking perspective. Comput. Surveys 56, 2 (2023), 1–38.
- Seyed Mehran Dibaji and Hideaki Ishii. 2015. Consensus of second-order multi-agent systems in the presence of locally bounded faults. Systems & Control Letters 79 (2015), 23–29.
- Seyed Mehran Dibaji and Hideaki Ishii. 2017. Resilient consensus of second-order agent networks: Asynchronous update rules with delays. Automatica 81 (2017), 123–132.
- Resilient randomized quantized consensus. IEEE Trans. Automat. Control 63, 8 (2017), 2508–2522.
- Distributed self-triggered control for multi-agent systems. In Proc. of the 49th IEEE Conference on Decision and Control (CDC). IEEE, 6716–6721.
- Distributed event-triggered control for multi-agent systems. IEEE Transactions on Automatic C ontrol 57, 5 (2011), 1291–1297.
- Distributed resilient finite-time secondary control for heterogeneous battery energy storage systems under denial-of-service attacks. IEEE Transactions on Industrial Informatics 16, 7 (2019), 4909–4919.
- Danny Dolev. 1982. The Byzantine generals strike again. Journal of Algorithms 3, 1 (1982), 14–30.
- Resilient distributed DC optimal power flow against data integrity attack. IEEE Transactions on Smart Grid 9, 4 (2016), 3543–3552.
- Resilient stabilization of multi-hop control networks subject to malicious attacks. Automatica 71 (2016), 1–9.
- Design and analysis of distributed averaging with quantized communication. IEEE Trans. Automat. Control 61, 12 (2016), 3870–3884.
- Self-triggered consensus for multi-agent systems with zeno-free triggers. IEEE Trans. Automat. Control 60, 10 (2015), 2779–2784.
- Davide Fiore and Giovanni Russo. 2019. Resilient consensus for multi-agent systems subject to differential privacy requirements. Automatica 106 (2019), 18–26.
- A resilient control strategy for cyber-physical systems subject to denial of service attacks: A leader-follower set-theoretic approach. IEEE/CAA Journal of Automatica Sinica 7, 5 (2020), 1204–1214.
- Resilient consensus-based distributed optimization under deception attacks. International Journal of Robust and Nonlinear Control 31, 6 (2021), 1803–1816.
- Distributed cyber-attack detection in the secondary control of DC microgrids. In Proc. of the 2018 European Control Conference (ECC). IEEE, 344–349.
- Survey on architectural attacks: A unified classification and attack model. Comput. Surveys 56, 2 (2023), 1–32.
- Antoine Girard. 2014. Dynamic triggering mechanisms for event-triggered control. IEEE Trans. Automat. Control 60, 7 (2014), 1992–1997.
- Resilient output formation-tracking of heterogeneous multiagent systems against general Byzantine attacks: A twin-layer approach. IEEE Transactions on Cybernetics (2023), 1–13.
- Evan Gravelle and Sonia Martínez. 2014. Quantized distributed load balancing with capacity constraints. In Proc. of the 53rd IEEE Conference on Decision and Control. IEEE, 3866–3871.
- Design guarantees for resilient robot formations on lattices. IEEE Robotics and Automation Letters 4, 1 (2018), 89–96.
- Byzantine fault-tolerance in decentralized optimization under 2f-redundancy. In Proc. of the 2021 American Control Conference (ACC). IEEE, 3632–3637.
- Nirupam Gupta and Nitin H Vaidya. 2020. Fault-tolerance in distributed optimization: The case of redundancy. In Proc. of the 39th Symposium on Principles of Distributed Computing. 365–374.
- Azwirman Gusrialdi. 2023. Resilient and privacy-preserving leader-follower consensus in presence of cyber-attacks. IEEE Control Systems Letters 7 (2023), 3211–3216.
- Assessing Aircraft Security: A comprehensive survey and methodology for evaluation. Comput. Surveys 56, 4 (2023), 1–40.
- Sofie Haesaert and Sadegh Soudjani. 2020. Robust dynamic programming for temporal logic control of stochastic systems. IEEE Trans. Automat. Control 66, 6 (2020), 2496–2511.
- Sparse malicious false data injection attacks and defense mechanisms in smart grids. IEEE Transactions on Industrial Informatics 11, 5 (2015), 1–12.
- Kim Hartmann and Christoph Steup. 2013. The vulnerability of UAVs to cyber attacks: An approach to the risk assessment. In Proc. of the 2013 5th international conference on cyber conflict (CYCON 2013). IEEE, 1–23.
- Secure control of multiagent systems against malicious attacks: A brief survey. IEEE Transactions on Industrial Informatics 18, 6 (2021), 3595–3608.
- Consensus of linear multi-agent systems by distributed event-triggered strategy. IEEE Transactions on Cybernetics 46, 1 (2015), 148–157.
- Output consensus of heterogeneous linear multi-agent systems by distributed event-triggered/self-triggered strategy. IEEE Transactions on Cybernetics 47, 8 (2016), 1914–1924.
- Resilient consensus with switching networks and heterogeneous agents. Neurocomputing 341 (2019), 70–79.
- An overview on multi-agent consensus under adversarial attacks. Annual Reviews in Control 53 (2022), 252–272.
- Wenhao Jia and Jinzhi Wang. 2020. Partial-nodes-based distributed fault detection and isolation for second-order multiagent systems with exogenous disturbances. IEEE Transactions on Cybernetics 52, 4 (2020), 2518–2530.
- Quantized consensus. Automatica 43, 7 (2007), 1192–1203.
- Roger M. Kieckhafer and Mohammad H. Azadmanesh. 1994. Reaching approximate agreement with mixed-mode faults. IEEE Transactions on Parallel and Distributed Systems 5, 1 (1994), 53–63.
- Fault-tolerant clock synchronization over unreliable channels in wireless sensor networks. IEEE Transactions on Control of Network Systems 5, 4 (2017), 1551–1562.
- Kyoung-Dae Kim and Panganamala R Kumar. 2012. Cyber–physical systems: A perspective at the centennial. Proc. IEEE 100, Special Centennial Issue (2012), 1287–1308.
- On counteracting Byzantine attacks in network coded peer-to-peer networks. IEEE Journal on Selected Areas in Communications 28, 5 (2010), 692–702.
- Javad Lavaei and Richard M Murray. 2011. Quantized consensus by means of gossip algorithm. IEEE Trans. Automat. Control 57, 1 (2011), 19–32.
- Resilient asymptotic consensus in robust networks. IEEE Journal on Selected Areas in Communications 31, 4 (2013), 766–781.
- Resilient time-varying formation tracking for heterogeneous high-order multiagent systems with multiple dynamic leaders. IEEE Transactions on Control of Network Systems (2023), 1–12.
- Adaptive event-triggered consensus of multiagent systems on directed graphs. IEEE Trans. Automat. Control 66, 4 (2020), 1670–1685.
- A Survey of robustness and safety of 2D and 3D deep learning models against adversarial attacks. Comput. Surveys 56, 6 (2023), 1–37.
- Resilient bipartite consensus for multi-agent networks with antagonistic interactions. In Proc. of the 2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE). IEEE, 1262–1269.
- Distributed multi-UAV trajectory optimization over directed networks. Journal of the Franklin Institute 358, 10 (2021), 5470–5487.
- Secure multi-dimensional consensus algorithm against malicious attacks. Automatica 157 (2023), 111224.
- Amit K Maitra. 2015. Offensive cyber-weapons: technical, legal, and strategic aspects. Environment Systems and Decisions 35, 1 (2015), 169–182.
- Ali Maknouninejad and Zhihua Qu. 2014. Realizing unified microgrid voltage profile and loss minimization: A cooperative distributed optimization and control approach. IEEE Transactions on Smart Grid 5, 4 (2014), 1621–1630.
- Design of a mathematical model for the Stuxnet virus in a network of critical control infrastructure. Computers & Security 87 (2019), 101565.
- Resilient self/event-triggered consensus based on ternary control. Nonlinear Analysis: Hybrid Systems 42 (2021), 101091.
- Mehran Mesbahi and Magnus Egerstedt. 2010. Graph theoretic methods in multiagent networks. Princeton University Press.
- Rajiv Kumar Mishra and Hideaki Ishii. 2023. Event-triggered control for discrete-time multi-agent average consensus. International Journal of Robust and Nonlinear Control 33, 1 (2023), 159–176.
- On the impact of trusted nodes in resilient distributed state estimation of LTI systems. In Proc. of the 2018 IEEE Conference on Decision and Control (CDC). IEEE, 4547–4552.
- Aritra Mitra and Shreyas Sundaram. 2016. Secure distributed observers for a class of linear time invariant systems in the presence of Byzantine adversaries. In Proc. of the 2016 IEEE 55th Conference on Decision and Control (CDC). IEEE, 2709–2714.
- Eduardo Montijano and Alejandro R Mosteo. 2014. Efficient multi-robot formations using distributed optimization. In Proc. of the 53rd IEEE Conference on Decision and Control. IEEE, 6167–6172.
- On distributed averaging algorithms and quantization effects. IEEE Trans. Automat. Control 54, 11 (2009), 2506–2517.
- Angelia Nedic and Asuman Ozdaglar. 2009. Distributed subgradient methods for multi-agent optimization. IEEE Trans. Automat. Control 54, 1 (2009), 48–61.
- Constrained consensus and optimization in multi-agent networks. IEEE Trans. Automat. Control 55, 4 (2010), 922–938.
- Halil Yiğit Öksüz and Mehmet Akar. 2019. Resilient nonlinear consensus in continuous time networks. In Proc. of the 2019 American Control Conference (ACC). IEEE, 3764–3769.
- Consensus and cooperation in networked multi-agent systems. Proc. IEEE 95, 1 (2007), 215–233.
- Resilient Output Consensus to Cyber-Attacks in Continuous-Time Cyber-Physical Systems. IEEE Transactions on Network Science and Engineering 10, 4 (2023), 2190–2200.
- Graph-theoretic approaches for analyzing the resilience of distributed control systems: A tutorial and survey. Automatica 157 (2023), 1–34.
- Jiahu Qin and Huijun Gao. 2012. A sufficient condition for convergence of sampled-data consensus for double-integrator dynamics with nonuniform and time-varying communication delays. IEEE Trans. Automat. Control 57, 9 (2012), 2417–2422.
- Wei Ren. 2009. Distributed leaderless consensus algorithms for networked Euler–Lagrange systems. Internat. J. Control 82, 11 (2009), 2137–2149.
- Wei Ren and Randal W Beard. 2005. Consensus seeking in multiagent systems under dynamically changing interaction topologies. IEEE Trans. Automat. Control 50, 5 (2005), 655–661.
- Information consensus in multivehicle cooperative control. IEEE Control systems magazine 27, 2 (2007), 71–82.
- Wei Ren and Yongcan Cao. 2011. Distributed coordination of multi-agent networks: emergent problems, models, and issues. Vol. 1. Springer.
- Resiliency in dynamic leader–follower multiagent systems. Automatica 125 (2021), 109384.
- Resilient consensus for time-varying networks of dynamic agents. In Proc. of the 2017 American control conference (ACC). IEEE, 252–258.
- Dynamic resilient containment control in multirobot systems. IEEE Transactions on Robotics 38, 1 (2021), 57–70.
- Secure rendezvous and static containment in multi-agent systems with adversarial intruders. Automatica 143 (2022), 110456.
- Resilient flocking for mobile robot teams. IEEE Robotics and Automation letters 2, 2 (2017), 1039–1046.
- Resilience against misbehaving nodes in asynchronous networks. Automatica 104 (2019), 26–33.
- Yilun Shang. 2021. Median-based resilient consensus over time-varying random networks. IEEE Transactions on Circuits and Systems II: Express Briefs 69, 3 (2021), 1203–1207.
- Yilun Shang. 2023a. Resilient tracking consensus over dynamic random graphs: A linear system approach. European Journal of Applied Mathematics 34, 2 (2023), 408–423.
- Yilun Shang. 2023b. Resilient Vector Consensus Over Random Dynamic Networks Under Mobile Malicious Attacks. Comput. J. (2023), 1–11.
- Guodong Shi and Yiguang Hong. 2009. Global target aggregation and state agreement of nonlinear multi-agent systems with switching topologies. Automatica 45, 5 (2009), 1165–1175.
- Extra: An exact first-order algorithm for decentralized consensus optimization. SIAM Journal on Optimization 25, 2 (2015), 944–966.
- Joint-transformation-based detection of false data injection attacks in smart grid. IEEE Transactions on Industrial Informatics 14, 1 (2017), 89–97.
- John A Stankovic. 2014. Research directions for the internet of things. IEEE Internet of Things Journal 1, 1 (2014), 3–9.
- Yuan Gong Sun and Long Wang. 2009. Consensus of multi-agent systems in directed networks with nonuniform time-varying delays. IEEE Trans. Automat. Control 54, 7 (2009), 1607–1613.
- Zhiyong Sun. 2018. Cooperative coordination and formation control for multi-agent systems. Springer.
- Event-Based Multiagent Consensus Control: Zeno-Free Triggering via ℒpsuperscriptℒ𝑝\mathcal{L}^{p}caligraphic_L start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT Signals. IEEE Transactions on Cybernetics 50, 1 (2018), 284–296.
- Exponential stability for formation control systems with generalized controllers: A unified approach. Systems & Control Letters 93 (2016), 50–57.
- Shreyas Sundaram and Bahman Gharesifard. 2016. Secure local filtering algorithms for distributed optimization. In Proc. of the 2016 IEEE 55th Conference on Decision and Control (CDC). IEEE, 1871–1876.
- Shreyas Sundaram and Bahman Gharesifard. 2018. Distributed optimization under adversarial nodes. IEEE Trans. Automat. Control 64, 3 (2018), 1063–1076.
- Linear system security—Detection and correction of adversarial sensor attacks in the noise-free case. Automatica 101 (2019), 53–59.
- James Usevitch and Dimitra Panagou. 2018. Resilient leader-follower consensus to arbitrary reference values. In Proc. of the 2018 Annual American Control Conference (ACC). IEEE, 1292–1298.
- James Usevitch and Dimitra Panagou. 2019. Resilient leader-follower consensus to arbitrary reference values in time-varying graphs. IEEE Trans. Automat. Control 65, 4 (2019), 1755–1762.
- Newton-Raphson consensus for distributed convex optimization. IEEE Trans. Automat. Control 61, 4 (2015), 994–1009.
- Transportation 5.0: The DAO to safe, secure, and sustainable intelligent transportation systems. IEEE Transactions on Intelligent Transportation Systems 24, 10 (2023), 10262–10278.
- Resilient consensus control for multi-agent systems: A comparative survey. Sensors 23, 6 (2023), 2904.
- Distributed adaptive asymptotically consensus tracking control of nonlinear multi-agent systems with unknown parameters and uncertain disturbances. Automatica 77 (2017), 133–142.
- A resilient convex combination for consensus-based distributed algorithms. Numerical Algebra, Control and Optimization 9, 3 (2019), 269–281.
- Yuan Wang and Hideaki Ishii. 2019a. Resilient consensus through asynchronous event-based communication. In Proc. of the 2019 American Control Conference (ACC). IEEE, 1842–1847.
- Yuan Wang and Hideaki Ishii. 2019b. Resilient consensus through event-based communication. IEEE Transactions on Control of Network Systems 7, 1 (2019), 471–482.
- Yuan Wang and Hideaki Ishii. 2020. An event-triggered approach to quantized resilient consensus. International Journal of Robust and Nonlinear Control 30, 11 (2020), 4188–4204.
- Resilient real-valued consensus in spite of mobile malicious agents on directed graphs. IEEE Transactions on Parallel and Distributed Systems 33, 3 (2021), 586–603.
- Resilient consensus for multi-agent systems under adversarial spreading processes. IEEE Transactions on Network Science and Engineering 9, 5 (2022), 3316–3331.
- Joint Robustness of Time-Varying Networks and Its Applications to Resilient Consensus. IEEE Trans. Automat. Control 68, 11 (2023), 6466–6480.
- Resilient bipartite consensus of second-order multiagent systems with event-triggered communication. IEEE Systems Journal 17, 1 (2021), 146–153.
- Robust routing optimization for smart grids considering cyber-physical interdependence. IEEE Transactions on Smart Grid 10, 5 (2018), 5620–5629.
- A networked multirobot CPS with artificial immune fuzzy optimization for distributed formation control of embedded mobile robots. IEEE Transactions on Industrial Informatics 16, 1 (2019), 414–422.
- Resilient output regulation in heterogeneous networked systems under Byzantine agents. Automatica 133 (2021), 109872.
- Resilient multi-dimensional consensus in adversarial environment. Automatica 145 (2022), 110530.
- A “safe kernel” approach for resilient multi-dimensional consensus. IFAC-PapersOnLine 53, 2 (2020), 2507–2512.
- Resilient Vector Consensus: An Event-based Approach. In Proc. of the 2020 IEEE 16th International Conference on Control & Automation (ICCA). IEEE, 889–894.
- Jiaqi Yan and Changyun Wen. 2020. Resilient containment control in adversarial environment. IEEE Transactions on Control of Network Systems 7, 4 (2020), 1951–1959.
- A survey of distributed optimization. Annual Reviews in Control 47 (2019), 278–305.
- Dynamic event-triggered and self-triggered control for multi-agent systems. IEEE Trans. Automat. Control 64, 8 (2018), 3300–3307.
- Privacy-Preserving Adaptive Resilient Consensus for Multi-Agent Systems under Cyber Attacks. IEEE Transactions on Industrial Informatics 20, 2 (2023), 1630–1640.
- Liwei Yuan and Hideaki Ishii. 2023. Event-triggered approximate Byzantine consensus with multi-hop communication. IEEE Transactions on Signal Processing 71 (2023), 1742–1754.
- Robust optimization-based resilient distribution network planning against natural disasters. IEEE Transactions on Smart Grid 7, 6 (2016), 2817–2826.
- Event-triggered approximate leader-follower consensus with resilience to Byzantine adversaries. In Proc. of the 2019 IEEE 58th Conference on Decision and Control (CDC). IEEE, 6412–6417.
- Reaching consensus in the byzantine empire: A comprehensive review of bft consensus algorithms. Comput. Surveys 56, 5 (2022), 1–41.
- A general alignment repulsion algorithm for flocking of multi-agent systems. IEEE Trans. Automat. Control 56, 2 (2010), 430–435.
- Self-reconfigurable hierarchical frameworks for formation control of robot swarms. IEEE Transactions on Cybernetics 54, 1 (2023), 87–100.
- Ya Zhang and Yu-Ping Tian. 2009. Consentability and protocol design of multi-agent systems with stochastic switching topology. Automatica 45, 5 (2009), 1195–1201.
- 3D hybrid formation control of an underwater robot swarm: Switching topologies, unmeasurable velocities, and system constraints. ISA transactions 136 (2023), 345–360.
- Distributed bearing-based formation control of unmanned aerial vehicle swarm via global orientation estimation. Chinese Journal of Aeronautics 35, 1 (2022), 44–58.
- A general approach to coordination control of mobile agents with motion constraints. IEEE Trans. Automat. Control 63, 5 (2017), 1509–1516.
- Zirui Liao (2 papers)
- Jian Shi (53 papers)
- Yuwei Zhang (48 papers)
- Shaoping Wang (2 papers)
- Zhiyong Sun (73 papers)