Kybernetika 56 no. 2, 261-277, 2020

Switched Stackelberg game analysis of false data injection attacks on networked control systems

Yabing Huang and Jun ZhaoDOI: 10.14736/kyb-2020-2-0261

Abstract:

This paper is concerned with a security problem for a discrete-time linear networked control system of switched dynamics. The control sequence generated by a remotely located controller is transmitted over a vulnerable communication network, where the control input may be corrupted by false data injection attacks launched by a malicious adversary. Two partially conflicted cost functions are constructed as the quantitative guidelines for both the controller and the attacker, after which a switched Stackelberg game framework is proposed to analyze the interdependent decision-making processes. A receding-horizon switched Stackelberg strategy for the controller is derived subsequently, which, together with the corresponding best response of the attacker, constitutes the switched Stackelberg equilibrium. Furthermore, the asymptotic stability of the closed-loop system under the switched Stackelberg equilibrium is guaranteed if the switching signal exhibits a certain average dwell time. Finally, a numerical example is provided to illustrate the effectiveness of the proposed method in this paper.

Keywords:

switched systems, networked control systems, false data injection attacks, switched Stackelberg games, switched Stackelberg equilibrium

Classification:

91A50, 91A65, 91A80

paper.pdf

References:

  1. T. Basar and G. J. Olsder: Dynamic Noncooperative Game Theory. Siam, Philadelphia 1999.   DOI:10.1137/1.9781611971132
  2. Y. Dong and J. Chen: Finite-time outer synchronization between two complex dynamical networks with on-off coupling. Int. J. Modern Phys. C. 26 (2015), 8, 1550095.   DOI:10.1142/s0129183115500953
  3. D. Ding, Q.-L. Han, Z. Wang and X. Ge: A survey on model-based distributed control and filtering for industrial cyber-physical systems. IEEE Trans. Ind. Inf. 15 (2019), 5, 2483-2499.   DOI:10.1109/tii.2019.2905295
  4. J. Engwerda: LQ Dynamic Optimization and Differential Games. John Wiley and Sons, Chichester 2005.   CrossRef
  5. E. Garcia and P. Antsaklis: Model-based event-triggered control for systems with quantization and time-varying network delays. IEEE Trans. Automat. Control 58 (2013), 2, 422-434.   DOI:10.1109/tac.2012.2211411
  6. X. Ge and Q.-L. Han: Consensus of multiagent systems subject to partially accessible and overlapping Markovian network topologies. IEEE Trans. Cybernet. 47 (2017), 8, 1807-1819.   DOI:10.1109/tcyb.2016.2570860
  7. X. Ge, Q.-L. Han and Z. Wang: A threshold-parameter-dependent approach to designing distributed event-triggered $H_{\infty}$ consensus filters over sensor networks. IEEE Trans. Cybernet. 49 (2019), 4, 1148-1159.   DOI:10.1109/tcyb.2017.2789296
  8. X. Ge, Q.-L. Han, X.-M. Zhang, L. Ding and F. Yang: Distributed event-triggered estimation over sensor networks: A survey. IEEE Trans. Cybernet. 50 (2019), 3, 1306-1320.   DOI:10.1109/tcyb.2019.2917179
  9. X. Ge, Q.-L. Han, M. Zhong and X.-M. Zhang: Distributed Krein space-based attack detection over sensor networks under deception attacks. Automatica 109 (2019), 108557, 108557.   DOI:10.1016/j.automatica.2019.108557
  10. J. P. Hespanha and A. S. Morse: Stability of switched systems with average dwell-time. In: Proc. 38th IEEE Conf. Decision Control 1999, pp. 2655-2660.   DOI:10.1109/cdc.1999.831330
  11. L. Hu, Z. Wang, Q.-L. Han and X. Liu: State estimation under false data injection attacks: Security analysis and system protection. Automatica 87 (2018), 176-183.   DOI:10.1016/j.automatica.2017.09.028
  12. S. Hu, D. Yue, Q.-L. Han, X. Xie, X. Chen and C. Dou: Observer-based event-triggered control for networked linear systems subject to denial-of-service attacks. IEEE Trans. Cybernet. 50 (2019), 5, 1952-1964.   DOI:10.1109/tcyb.2019.2903817
  13. Y. Li, D. E. Quevedo, S. Dey and L. Shi: SINR-based dos attack on remote state estimation: A game-theoretic approach. IEEE Trans. Control Netw. Syst. 4 (2017), 632-642.   DOI:10.1109/tcns.2016.2549640
  14. Y. Li, D. Shi and T. Chen: False data injection attacks on networked control systems: A Stackelberg game analysis. IEEE Trans. Automat. Control 63 (2018), 3503-3509.   DOI:10.1109/tac.2018.2798817
  15. Y. Li, L. Shi, P. Cheng, J. Chen and D. .E. Quevedo: Jamming attacks on remote state estimation in cyber-physical systems: A game-theoretic approach. IEEE Trans. Automat. Control 60 (2015), 2831-2836.   DOI:10.1109/tac.2015.2461851
  16. D. Liberzon: Switching in Systems and Control. Birkhauser, Boston 2003.   DOI:10.1007/978-1-4612-0017-8
  17. B. Liu, D. J. Hill and Z. Sun: Input-to-state-kl-stability and criteria for a class of hybrid dynamical systems. Appl. Math. Comput. 326 (2018), 124-140.   DOI:10.1016/j.amc.2018.01.002
  18. B. Liu, D. J. Hill and Z. Sun: Input-to-state exponents and related iss for delayed discrete-time systems with application to impulsive effects. Int. J. Robust Nonlinear Control 28 (2018), 640-660.   DOI:10.1002/rnc.3891
  19. L. Long: Stabilization by forwarding design for switched feedforward systems with unstable modes. Int. J. Robust Nonlinear Control 27 (2017), 4808-4824.   DOI:10.1002/rnc.3832
  20. L. Long: Multiple Lyapunov functions-based small-gain theorems for switched interconnected nonlinear systems. IEEE Trans. Automat. Control 62 (2017), 3943-3958.   DOI:10.1109/tac.2017.2648740
  21. L. Long and T. Si: Small-gain technique-based adaptive nn control for switched pure-feedback nonlinear systems. IEEE Trans. Cybernet. 49 (2019), 1873-1884.   DOI:10.1109/tcyb.2018.2815714
  22. S. J. Rubio: On coincidence of feedback Nash equilibria and Stackelberg equilibria in economic applications of differential games. J. Optim. Theory Appl. 128 (2006), 203-220.   DOI:10.1007/s10957-005-7565-y
  23. X.-M. Sun, G.-P. Liu, D. Rees and W. Wang: Delay-dependent stability for discrete systems with large delay sequence based on switching techniques. Automatica 44 (2008), 2902-2908.   DOI:10.1016/j.automatica.2008.04.006
  24. X.-M. Sun and W. Wang: Integral input-to-state stability for hybrid delayed systems with unstable continuous dynamics. Automatica 48 (2012), 2359-2364.   DOI:10.1016/j.automatica.2012.06.056
  25. X. Sun, D. Wu, G. Liu and W. Wang: Input-to-state stability for networked predictive control with random delays in both feedback and forward channels. IEEE Trans. Ind. Electron. 61 (2014), 3519-3526.   DOI:10.1109/tie.2013.2278953
  26. X.-M. Sun, J. Zhao and D. J. Hill: Stability and l2-gain analysis for switched delay systems: A delay-dependent method. Automatica 42 (2006), 1769-1774.   CrossRef
  27. X. Wang and M. Lemmon: Event-triggering in distributed networked control systems. IEEE Trans. Automat. Control 56 (2011), 3, 586-601.   DOI:10.1109/tac.2010.2057951
  28. J. Wu and T. Chen: Design of networked control systems with packet dropouts. IEEE Trans. Automat. Control 52 (2007), 1314-1319.   DOI:10.1109/tac.2007.900839
  29. S. Xiao, Q.-L. Han, X. Ge and Y. Zhang: Secure distributed finite-time filtering for positive systems over sensor networks under deception attacks. IEEE Trans. Cybernet. 50 (2019), 3, 1220-1229.   DOI:10.1109/tcyb.2019.2900478
  30. X. Xu and P. J. {Antsaklis}: Optimal control of switched systems based on parameterization of the switching instants. IEEE Trans. Automat. Control 49 (2004), 2-16.   DOI:10.1109/tac.2003.821417
  31. K. You, Z. Li and L. Xie: Consensus condition for linear multi-agent systems over randomly switching topologies. Automatica 49 (2013), 10, 3125-3132.   DOI:10.1016/j.automatica.2013.07.024
  32. L. Zhang, H. Gao and O. Kaynak: Network-induced constraints in networked control systems -- A survey. IEEE Trans. Ind. Inf. 9 (2013), 1, 403-416.   DOI:10.1109/tii.2012.2219540
  33. X.-M. Zhang, Q.-L. Han and X. Yu: Survey on recent advances in networked control systems. IEEE Trans. Ind. Inf. 12 (2016), 5, 1740-1752.   DOI:10.1109/tii.2015.2506545
  34. Y. Zhang and Y.-P. Tian: Consentability and protocol design of multi-agent systems with stochastic switching topology. Automatica 45 (2009), 5, 1195-1201.   DOI:10.1016/j.automatica.2008.11.005
  35. J. Zhao and D. J. Hill: Dissipativity theory for switched systems. IEEE Trans. Automat. Control 53 (2008), 941-953.   DOI:10.1109/tac.2008.920237
  36. J. Zhao, D. J. Hill and T. Liu: tability of dynamical networks with non-identical nodes: A multiple $V$-Lyapunov function method. Automatica 47 (2011), 2615-2625.   DOI:10.1016/j.automatica.2011.09.012
  37. M. Zhu and S. Martínez: Stackelberg-game analysis of correlated attacks in cyber-physical systems. In: Proc. Amer. Control Conf. 2011, pp. 4063-4068.   DOI:10.1109/acc.2011.5991463