Advertisement

Attacking the V: On the Resiliency of Adaptive-Horizon MPC

  • Ashish Tiwari
  • Scott A. Smolka
  • Lukas Esterle
  • Anna Lukina
  • Junxing YangEmail author
  • Radu Grosu
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10482)

Abstract

Inspired by the emerging problem of CPS security, we introduce the concept of controller-attacker games. A controller-attacker game is a two-player stochastic game, where the two players, a controller and an attacker, have antagonistic objectives. A controller-attacker game is formulated in terms of a Markov Decision Process (MDP), with the controller and the attacker jointly determining the MDP’s transition probabilities. We also introduce the class of controller-attacker games we call V-formation games, where the goal of the controller is to maneuver the plant (a simple model of flocking dynamics) into a V-formation, and the goal of the attacker is to prevent the controller from doing so. Controllers in V-formation games utilize a new formulation of model-predictive control we have developed called Adaptive-Horizon MPC (AMPC), giving them extraordinary power: we prove that under certain controllability conditions, an AMPC controller can attain V-formation with probability 1. We evaluate AMPC’s performance on V-formation games using statistical model checking. Our experiments demonstrate that (a) as we increase the power of the attacker, the AMPC controller adapts by suitably increasing its horizon, and thus demonstrates resiliency to a variety of attacks; and (b) an intelligent attacker can significantly outperform its naive counterpart.

Notes

Acknowledgments

Research supported in part by the Doctoral Program Logical Methods in Computer Science and the Austrian National Research Network RiSE/SHiNE (S11412-N23) project funded by the Austrian Science Fund (FWF) project W1255-N23, AFOSR Grant FA9550-14-1-0261 and NSF Grants CCF-1423296, CNS-1423298, IIS-1447549, CNS-1446832, CNS-1445770, CNS-1445770.

References

  1. 1.
    Adetola, V., DeHaan, D., Guay, M.: Adaptive model predictive control for constrained nonlinear systems. Syst. Control Lett. 58(5), 320–326 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Checkoway, S., McCoy, D., Kantor, B., Anderson, D., Shacham, H., Savage, S., Koscher, K., an, A.C., Roesner, F., Kohno, T.: Comprehensive experimental analyses of automotive attack surfaces. In: USENIX Security (2011)Google Scholar
  3. 3.
    Condliffe, J.: A 100-drone swarm, dropped from jets, plans its own moves, MIT Technology Review, January 2017Google Scholar
  4. 4.
    Davidson, D., Wu, H., Jellinek, R., Ristenpart, T., Singh, V.: Controlling UAVs with sensor input spoofing attacks. In: Proceedings of 10th USENIX Workshop on Offensive Technologies, WOOT 2016, Austin, TX, August 2016Google Scholar
  5. 5.
    Droge, G., Egerstedt, M.: Adaptive time horizon optimization in model predictive control. In: 2011 American Control Conference (ACC), pp. 1843–1848. IEEE (2011)Google Scholar
  6. 6.
    Fawzi, H., Tabuada, P., Diggavi, S.N.: Secure estimation and control for cyber-physical systems under adversarial attacks. IEEE Trans. Autom. Control 59(6), 1454–1467 (2014). http://dx.doi.org/10.1109/TAC.2014.2303233 MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Grosu, R., Peled, D., Ramakrishnan, C.R., Smolka, S.A., Stoller, S.D., Yang, J.: Using statistical model checking for measuring systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 223–238. Springer, Heidelberg (2014). doi: 10.1007/978-3-662-45231-8_16 Google Scholar
  8. 8.
    Kennedy, J., Eberhart, R.: Particle swarm optimization. In: Proceedings of 1995 IEEE International Conference on Neural Networks, pp. 1942–1948 (1995)Google Scholar
  9. 9.
    Krener, A.J.: Adaptive horizon model predictive control, arXiv preprint (2016). arXiv:1602.08619
  10. 10.
    Lukina, A., et al.: ARES: adaptive receding-horizon synthesis of optimal plans. In: Legay, A., Margaria, T. (eds.) TACAS 2017. LNCS, vol. 10206, pp. 286–302. Springer, Heidelberg (2017). doi: 10.1007/978-3-662-54580-5_17 CrossRefGoogle Scholar
  11. 11.
    Narendra, K.S.: Adaptive control using neural networks. In: Neural Networks for Control, pp. 115–142. MIT Press (1990)Google Scholar
  12. 12.
    Negash, L., Kim, S.H., Choi, H.L.: An unknown-input-observer based approach for cyber attack detection in formation flying UAVs. In: AIAA Infotech (2016)Google Scholar
  13. 13.
    Ogata, K.: Modern Control Engineering: Instrumentation and Controls Series. Prentice Hall, Upper Saddle River (2010)Google Scholar
  14. 14.
    Pajic, M., Weimer, J., Bezzo, N., Tabuada, P., Sokolsky, O., Lee, I., Pappas, G.J.: Robustness of attack-resilient state estimators. In: 5th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) (2014)Google Scholar
  15. 15.
    Park, J., Ivanov, R., Weimer, J., Pajic, M., Lee, I.: Sensor attack detection in the presence of transient faults. In: 6th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) (2015)Google Scholar
  16. 16.
    Pasqualetti, F., Dorfler, F., Bullo, F.: Attack detection and identification in cyber-physical systems. IEEE Trans. Autom. Control 58(11), 2715–2729 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Saulnier, K., Saldana, D., Prorok, A., Pappas, G.J., Kumar, V.: Resilient flocking for mobile robot teams. IEEE Robot. Autom. Lett. 2(2), 1039–1046 (2017)CrossRefGoogle Scholar
  18. 18.
    Shapley, L.S.: Stochastic games. Proc. Nat. Acad. Sci. 39(10), 1095–1100 (1953)MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    Yang, J., Grosu, R., Smolka, S.A., Tiwari, A.: Love thy neighbor: V-formation as a problem of model predictive control. In: LIPIcs-Leibniz International Proceedings in Informatics, vol. 59. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2016)Google Scholar
  20. 20.
    Yang, J., Grosu, R., Smolka, S.A., Tiwari, A.: V-formation as optimal control. In: Proceedings of the Biological Distributed Algorithms Workshop (2016)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Ashish Tiwari
    • 1
  • Scott A. Smolka
    • 2
  • Lukas Esterle
    • 3
  • Anna Lukina
    • 3
  • Junxing Yang
    • 2
    Email author
  • Radu Grosu
    • 2
    • 3
  1. 1.SRI InternationalMenlo ParkUSA
  2. 2.Department of Computer ScienceStony Brook UniversityNew YorkUSA
  3. 3.Cyber-Physical Systems GroupTechnische Universität WienViennaAustria

Personalised recommendations