Secure and Resilient Control Design for Cloud Enabled Networked Control Systems

Cloud computing enables resource-constrained Networked Control Systems (NCSs) to outsource heavy computations to a cloud server with massive computational resources. However, Cloud-enabled NCSs (CE-NCSs) introduce new challenges arising from the trustworthiness of the cloud and the cyber-physical connections between the control system and the cloud. To address these concerns, this paper presents a secure and resilient mechanism, which employs customized cryptographic tools to encrypt the data of a control problem and develops verification methods to guarantee the integrity of the computational results from the cloud. In addition, our design enables a Switching Mode Mechanism (SMM) to provide resiliency to the NCSs when the system successively fails to receive correct control inputs from the cloud. We demonstrate that the mechanism can achieve the data confidentiality and integrity, guarantee the stability, and enhance the resiliency. Finally, an Unmanned Aerial Vehicle (UAV) example is used to corroborate these properties.

[1]  Yi Li,et al.  An efficient and tunable matrix-disguising method toward privacy-preserving computation , 2015, Secur. Commun. Networks.

[2]  Eduardo Sontag,et al.  Input-to-state stability for discrete-time nonlinear systems , 1999, at - Automatisierungstechnik.

[3]  Tingwen Huang,et al.  Cloud Computing Service: The Caseof Large Matrix Determinant Computation , 2015, IEEE Transactions on Services Computing.

[4]  Dmitry Berenson,et al.  A robot path planning framework that learns from experience , 2012, 2012 IEEE International Conference on Robotics and Automation.

[5]  Stephen J. Wright,et al.  Distributed MPC Strategies With Application to Power System Automatic Generation Control , 2008, IEEE Transactions on Control Systems Technology.

[6]  Moritz Diehl,et al.  Model Predictive Control of Autonomous Vehicles , 2014 .

[7]  Dmitry Berenson,et al.  Toward cloud-based grasping with uncertainty in shape: Estimating lower bounds on achieving force closure with zero-slip push grasps , 2012, 2012 IEEE International Conference on Robotics and Automation.

[8]  Taskin Koçak,et al.  Smart Grid Technologies: Communication Technologies and Standards , 2011, IEEE Transactions on Industrial Informatics.

[9]  Karl Henrik Johansson,et al.  Event-triggered model predictive control of discrete-time linear systems subject to disturbances , 2013, 2013 European Control Conference (ECC).

[10]  Goran Andersson,et al.  Model Predictive Control of Energy Storage including Uncertain Forecasts , 2011 .

[11]  Gustavus J. Simmons,et al.  Symmetric and Asymmetric Encryption , 1979, CSUR.

[12]  Tong Heng Lee,et al.  Design and implementation of a robust and nonlinear flight control system for an unmanned helicopter , 2011 .

[13]  Dario Pompili,et al.  Dynamic Collaboration Between Networked Robots and Clouds in Resource-Constrained Environments , 2015, IEEE Transactions on Automation Science and Engineering.

[14]  Louis Turnbull,et al.  Cloud robotics: Formation control of a multi robot system utilizing cloud infrastructure , 2013, 2013 Proceedings of IEEE Southeastcon.

[15]  P. Cochat,et al.  Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.

[16]  Quanyan Zhu,et al.  Game theory meets network security and privacy , 2013, CSUR.

[17]  Claudio De Persis,et al.  Input-to-state stabilizing MPC for neutrally stable linear systems subject to input constraints , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[18]  Peter J Seiler,et al.  Analysis of communication losses in vehicle control problems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[19]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[20]  Pieter Abbeel,et al.  Image Object Label 3 D CAD Model Candidate Grasps Google Object Recognition Engine Google Cloud Storage Select Feasible Grasp with Highest Success Probability Pose EstimationCamera Robots Cloud 3 D Sensor , 2014 .

[21]  Tingwen Huang,et al.  Outsourcing Large Matrix Inversion Computation to A Public Cloud , 2013, IEEE Transactions on Cloud Computing.

[22]  Senchun Chai,et al.  Design and stability analysis of networked control systems with random communication time delay using the modified MPC , 2006 .

[23]  Yinong Chen,et al.  Robot as a Service in Cloud Computing , 2010, 2010 Fifth IEEE International Symposium on Service Oriented System Engineering.

[24]  Cong Wang,et al.  Secure and practical outsourcing of linear programming in cloud computing , 2011, 2011 Proceedings IEEE INFOCOM.

[25]  David G. Luenberger,et al.  Linear and nonlinear programming , 1984 .

[26]  Xiaojun Wu,et al.  DAvinCi: A cloud computing framework for service robots , 2010, 2010 IEEE International Conference on Robotics and Automation.

[27]  Kenneth Y. Goldberg,et al.  Cloud-based robot grasping with the google object recognition engine , 2013, 2013 IEEE International Conference on Robotics and Automation.

[28]  Todd E. Humphreys,et al.  Unmanned Aircraft Capture and Control Via GPS Spoofing , 2014, J. Field Robotics.

[29]  Tamer Başar,et al.  H1-Optimal Control and Related Minimax Design Problems , 1995 .

[30]  T. Basar,et al.  H∞-0ptimal Control and Related Minimax Design Problems: A Dynamic Game Approach , 1996, IEEE Trans. Autom. Control..

[31]  Quanyan Zhu,et al.  Game-Theoretic Methods for Robustness, Security, and Resilience of Cyberphysical Control Systems: Games-in-Games Principle for Optimal Cross-Layer Resilient Control Systems , 2015, IEEE Control Systems.

[32]  Huiping Li,et al.  Networked min–max model predictive control of constrained nonlinear systems with delays and packet dropouts , 2013, Int. J. Control.

[33]  Alexandre M. Bayen,et al.  Scaling the mobile millennium system in the cloud , 2011, SoCC.

[34]  Tianmiao Wang,et al.  Remote surgery case: robot-assisted teleneurosurgery , 2004, IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004.