Sneak Attack against Mobile Robotic Networks under Formation Control

The security of mobile robotic networks (MRNs) has been an active research topic in recent years. This paper demonstrates that the observable interaction process of MRNs under formation control will present increasingly severe threats. Specifically, we find that an external attack robot, who has only partial observation over MRNs while not knowing the system dynamics or access, can learn the interaction rules from observations and utilize them to replace a target robot, destroying the cooperation performance of MRNs. We call this novel attack as sneak, which endows the attacker with the intelligence of learning knowledge and is hard to be tackled by traditional defense techniques. The key insight is to separately reveal the internal interaction structure within robots and the external interaction mechanism with the environment, from the coupled state evolution influenced by the model-unknown rules and unobservable part of the MRN. To address this issue, we first provide general interaction process modeling and prove the learnability of the interaction rules. Then, with the learned rules, we design an Evaluate-Cut-Restore (ECR) attack strategy considering the partial interaction structure and geometric pattern. We also establish the sufficient conditions for a successful sneak with maximum control impacts over the MRN. Extensive simulations illustrate the feasibility and effectiveness of the proposed attack.

[1]  Christos G. Cassandras,et al.  Optimal dynamic formation control of multi-agent systems in constrained environments , 2016, Autom..

[2]  Eytan Modiano,et al.  Fundamental Limits of Volume-based Network DoS Attacks , 2019, Proc. ACM Meas. Anal. Comput. Syst..

[3]  Yushan Li,et al.  Learning-based Intelligent Attack against Formation Control with Obstacle-avoidance , 2019, 2019 American Control Conference (ACC).

[4]  Guoqiang Hu,et al.  Robust connectivity preserving rendezvous of multi-robot systems under unknown dynamics and disturbances , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[5]  Bruno Sinopoli,et al.  On the Performance Degradation of Cyber-Physical Systems Under Stealthy Integrity Attacks , 2016, IEEE Transactions on Automatic Control.

[6]  Adam Wierman,et al.  Logarithmic Communication for Distributed Optimization in Multi-Agent Systems , 2019, Proc. ACM Meas. Anal. Comput. Syst..

[7]  Zhe Liu,et al.  A gradient-based self-healing algorithm for mobile robot formation , 2015, 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS).

[8]  Craig W. Reynolds Flocks, herds, and schools: a distributed behavioral model , 1987, SIGGRAPH.

[9]  Zhiyong Sun,et al.  Bearing-Based Formation Control of a Group of Agents With Leader-First Follower Structure , 2019, IEEE Transactions on Automatic Control.

[10]  Xiang Yu,et al.  Formation control and coordination of multiple unmanned ground vehicles in normal and faulty situations: A review , 2020, Annu. Rev. Control..

[11]  Fabio Pasqualetti,et al.  Secure Navigation of Robots in Adversarial Environments , 2020, IEEE Control Systems Letters.

[12]  Zhengtao Ding,et al.  Bearing-Only Formation Tracking Control of Multiagent Systems , 2019, IEEE Transactions on Automatic Control.

[13]  Donghua Zhou,et al.  Fault-Tolerant Cooperative Control of Multiagent Systems: A Survey of Trends and Methodologies , 2020, IEEE Transactions on Industrial Informatics.

[14]  Shiyu Zhao,et al.  Affine Formation Maneuver Control of Multiagent Systems , 2018, IEEE Transactions on Automatic Control.

[15]  Guoqiang Hu,et al.  Time-Varying Formation Tracking for Linear Multiagent Systems With Multiple Leaders , 2017, IEEE Transactions on Automatic Control.

[16]  Frank L. Lewis,et al.  Cooperative Control of Multi-Agent Systems: Optimal and Adaptive Design Approaches , 2013 .

[17]  Yushan Li,et al.  Optimal Topology Recovery Scheme for Multi-robot Formation Control , 2019, 2019 IEEE 28th International Symposium on Industrial Electronics (ISIE).

[18]  Yang Xu,et al.  Affine formation maneuver control of high-order multi-agent systems over directed networks , 2020, Autom..

[19]  Yi Shen,et al.  A Self-Repairing Algorithm With Optimal Repair Path for Maintaining Motion Synchronization of Mobile Robot Network , 2020, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[20]  Jianping He,et al.  Topology Inference on Partially Observable Mobile Robotic Networks under Formation Control , 2021, 2021 European Control Conference (ECC).

[21]  Javier Alonso-Mora,et al.  Distributed Multi-Robot Formation Splitting and Merging in Dynamic Environments , 2019, 2019 International Conference on Robotics and Automation (ICRA).

[22]  Antonio Bicchi,et al.  Consensus Computation in Unreliable Networks: A System Theoretic Approach , 2010, IEEE Transactions on Automatic Control.

[23]  Yongdae Kim,et al.  Rocking Drones with Intentional Sound Noise on Gyroscopic Sensors , 2015, USENIX Security Symposium.

[24]  Richard M. Murray,et al.  Consensus problems in networks of agents with switching topology and time-delays , 2004, IEEE Transactions on Automatic Control.

[25]  Sanjay Shakkottai,et al.  Social Learning in Multi Agent Multi Armed Bandits , 2019, Proc. ACM Meas. Anal. Comput. Syst..

[26]  Gonzalo López-Nicolás,et al.  Coordinate-free formation stabilization based on relative position measurements , 2015, Autom..

[27]  Srdjan Capkun,et al.  On the requirements for successful GPS spoofing attacks , 2011, CCS '11.

[28]  Dayal R. Parhi,et al.  Mobile Robot Navigation and Obstacle Avoidance Techniques: A Review , 2017, ICRA 2017.

[29]  Carlos Silvestre,et al.  Stochastic and deterministic fault detection for randomized gossip algorithms , 2017, Autom..

[30]  Damiano Rotondo,et al.  Bibliographical review on cyber attacks from a control oriented perspective , 2019, Annu. Rev. Control..

[31]  Nello Cristianini,et al.  An Introduction to Support Vector Machines and Other Kernel-based Learning Methods , 2000 .

[32]  Eric R. Ziegel,et al.  An Introduction to Generalized Linear Models , 2002, Technometrics.

[33]  Oussama Khatib,et al.  Real-Time Obstacle Avoidance for Manipulators and Mobile Robots , 1985, Autonomous Robot Vehicles.

[34]  Wen-Chuan Lee,et al.  Detecting Attacks Against Robotic Vehicles: A Control Invariant Approach , 2018, CCS.

[35]  Karl Henrik Johansson,et al.  Cyberphysical Security in Networked Control Systems: An Introduction to the Issue , 2015 .

[36]  Warren E. Dixon,et al.  Network Connectivity Preserving Formation Stabilization and Obstacle Avoidance via a Decentralized Controller , 2012, IEEE Transactions on Automatic Control.

[37]  Warren E. Dixon,et al.  Distributed Connectivity Preserving Target Tracking With Random Sensing , 2019, IEEE Transactions on Automatic Control.

[38]  Brian D. O. Anderson,et al.  Localization and Circumnavigation of a Slowly Moving Target Using Bearing Measurements , 2014, IEEE Transactions on Automatic Control.

[39]  Hyo-Sung Ahn,et al.  A survey of multi-agent formation control , 2015, Autom..

[40]  George J. Pappas,et al.  Hybrid Control for Connectivity Preserving Flocking , 2009, IEEE Transactions on Automatic Control.

[41]  Marios M. Polycarpou,et al.  Distributed adaptive fault-tolerant control of uncertain multi-agent systems , 2015, Autom..

[42]  Javier Alonso-Mora,et al.  Distributed multi-robot formation control in dynamic environments , 2018, Auton. Robots.

[43]  Jorge Cortes,et al.  Distributed Control of Robotic Networks: A Mathematical Approach to Motion Coordination Algorithms , 2009 .

[44]  Yunhui Liu,et al.  A Failure-Tolerant Approach to Synchronous Formation Control of Mobile Robots Under Communication Delays , 2018, 2018 IEEE International Conference on Robotics and Automation (ICRA).

[45]  F. Pukelsheim The Three Sigma Rule , 1994 .

[46]  Reza Olfati-Saber,et al.  Consensus and Cooperation in Networked Multi-Agent Systems , 2007, Proceedings of the IEEE.

[47]  Florian Dörfler,et al.  Attack Detection and Identification in Cyber-Physical Systems -- Part II: Centralized and Distributed Monitor Design , 2012, ArXiv.

[48]  Cailian Chen,et al.  Dynamic Topology Inference via External Observation for Multi-Robot Formation Control , 2019, 2019 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (PACRIM).