Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Introduction Kapitel lesen Erstes Kapitel lesen

2020 | OriginalPaper | Buchkapitel

4. Secure and Resilient Design of Could-Enabled CPS

verfasst von : Quanyan Zhu, Zhiheng Xu

Erschienen in: Cross-Layer Design for Secure and Resilient Cyber-Physical Systems

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Cloud computing enables resource-constrained CPSs to outsource heavy computations to a cloud server with massive computational resources. However, Cloud-Enabled CPSs 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 chapter 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 CPSs when the system successively fails to receive correct control inputs from the cloud. We demonstrate that the mechanism can achieve data confidentiality and integrity, guarantee the stability, and enhance the resiliency. Finally, an Unmanned Aerial Vehicle (UAV) example is used to corroborate these properties.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel New Architecture: Cloud-Enabled CPS
Nächstes Kapitel Secure Data Assimilation of Cloud Sensor Networks
Literatur
7.
M. Arnold, G. Andersson, Model predictive control of energy storage including uncertain forecasts, in Power Systems Computation Conference (PSCC), Stockholm (2011)
11.
T. Başar, P. Bernhard, H-infinity Optimal Control and Related Minimax Design Problems: A Dynamic Game Approach (Springer Science & Business Media, Berlin/Heidelberg, 2008), pp. 3084–3089
21.
S. Boyd, L. Vandenberghe, Convex Optimization (Cambridge University Press, Cambridge, 2009)MATH
22.
G. Cai, B.M. Chen, X. Dong, T.H. Lee, Design and implementation of a robust and nonlinear flight control system for an unmanned helicopter. Mechatronics 21(5), 803–820 (2011)
23.
E.F. Camacho, C.B. Alba, Model Predictive Control (Springer Science & Business Media, Berlin/Heidelberg, 2013)
25.
A. Cetinkaya, H. Ishii, T. Hayakawa, Event-triggered output feedback control resilient against jamming attacks and random packet losses. IFAC-PapersOnLine 48(22), 270–275 (2015)
31.
J. Chen, Q. Zhu, Resilient and decentralized control of multi-level cooperative mobile networks to maintain connectivity under adversarial environment, in 2016 IEEE 55th Conference on Decision and Control (CDC) (IEEE, New York, 2016), pp. 5183–5188
40.
S.M. Dibaji, M. Pirani, D.B. Flamholz, A.M. Annaswamy, K.H. Johansson, A. Chakrabortty, A systems and control perspective of cps security. Annu. Rev. Control 47, 394–411 (2019)MathSciNet
43.
D.V. Dimarogonas, E. Frazzoli, K.H. Johansson, Distributed event-triggered control for multi-agent systems. IEEE Trans. Autom. Control 57(5), 1291–1297 (2011)MathSciNetMATH
51.
B.A. Francis, J.C. Doyle, Linear control theory with an H ∞ optimality criterion. SIAM J. Control Optim. 25(4), 815–844 (1987)MathSciNetMATH
53.
V.C. Gungor, D. Sahin, T. Kocak, S. Ergut, C. Buccella, C. Cecati, G.P. Hancke, Smart grid technologies: communication technologies and standards. IEEE Trans. Ind. Inf. 7(4), 529–539 (2011)
58.
W. Heemels, K.H. Johansson, P. Tabuada, An introduction to event-triggered and self-triggered control, in 2012 IEEE 51st IEEE Conference on Decision and Control (CDC) (IEEE, New York, 2012), pp. 3270–3285
65.
L. Huang, Q. Zhu, Dynamic bayesian games for adversarial and defensive cyber deception, in Autonomous Cyber Deception (Springer, New York, 2019), pp. 75–97
75.
B. Kehoe, S. Patil, P. Abbeel, K. Goldberg, A survey of research on cloud robotics and automation. IEEE Trans. Autom. Sci. Eng. 12(2), 398–409 (2015)
76.
A.J. Kerns, D.P. Shepard, J.A. Bhatti, T.E. Humphreys, Unmanned aircraft capture and control via GPS spoofing. J. Field Robot. 31(4), 617–636 (2014)
77.
J.-S. Kim, T.-W. Yoon, A. Jadbabaie, C. De Persis, Input-to-state stabilizing mpc for neutrally stable linear systems subject to input constraints, in 43rd IEEE Conference on Decision and Control (CDC), vol. 5 (2004), pp. 5041–5046
86.
D. Lehmann, E. Henriksson, K.H. Johansson, Event-triggered model predictive control of discrete-time linear systems subject to disturbances, in European Control Conference (ECC) (2013), pp. 1156–1161
87.
X. Lei, X. Liao, T. Huang, H. Li, C. Hu, Outsourcing large matrix inversion computation to a public cloud. IEEE Trans. Cloud Comput. 1, 78–87 (2013)
102.
D.Q. Mayne, J.B. Rawlings, C.V. Rao, P.O. Scokaert, Constrained model predictive control: stability and optimality. Automatica 36(6), 789–814 (2000)MathSciNetMATH
105.
C. Meng, T. Wang, W. Chou, S. Luan, Y. Zhang, Z. Tian, Remote surgery case: robot-assisted teleneurosurgery, in IEEE International Conference on Robotics and Automation (ICAR) (2004), pp. 819–823
108.
F. Miao, Q. Zhu, M. Pajic, G.J. Pappas, Coding schemes for securing cyber-physical systems against stealthy data injection attacks. IEEE Trans. Control Netw. Syst. 4(1), 106–117 (2017)MathSciNetMATH
121.
P. Pandey, D. Pompili, J. Yi, Dynamic collaboration between networked robots and clouds in resource-constrained environments. IEEE Trans. Autom. Sci. Eng. 12(2), 471–480 (2015)
137.
C. Reiger, I. Ray, Q. Zhu, M.A. Haney, Industrial control systems security and resiliency. Practice and Theory (Springer, Cham, 2019)
140.
C. Rieger, Q. Zhu, A hierarchical multi-agent dynamical system architecture for resilient control systems, in 2013 6th International Symposium on Resilient Control Systems (ISRCS) (IEEE, New York, 2013), pp. 6–12
141.
C.G. Rieger, D.I. Gertman, M.A. McQueen, Resilient control systems: next generation design research, in 2009 2nd Conference on Human System Interactions (IEEE, New York, 2009), pp. 632–636
142.
C. Rieger, Q. Zhu, T. Başar, Agent-based cyber control strategy design for resilient control systems: concepts, architecture and methodologies, in 2012 5th International Symposium on Resilient Control Systems (ISRCS) (IEEE, New York, 2012), pp. 40–47
148.
P. Seiler, R. Sengupta, Analysis of communication losses in vehicle control problems, in Proceedings of the 2001 American Control Conference, vol. 2 (2001), pp. 1491–1496
166.
L. Turnbull, B. Samanta, Cloud robotics: formation control of a multi robot system utilizing cloud infrastructure, in Southeastcon, 2013 Proceedings of IEEE (2013)
168.
A.N. Venkat, I. Hiskens, J.B. Rawlings, S.J. Wright, et al., Distributed MPC strategies with application to power system automatic generation control. IEEE Trans. Control Syst. Technol. 16(6), 1192–1206 (2008)
170.
C. Wang, K. Ren, J. Wang, Secure and practical outsourcing of linear programming in cloud computing, in 2011 Proceedings IEEE INFOCOM (2011), pp. 820–828
182.
Y. Yuan, Q. Zhu, F. Sun, Q. Wang, T. Başar, Resilient control of cyber-physical systems against denial-of-service attacks, in 2013 6th International Symposium on Resilient Control Systems (ISRCS) (IEEE, New York, 2013), pp. 54–59
185.
M. Zanon, J.V. Frasch, M. Vukov, S. Sager, M. Diehl, Model predictive control of autonomous vehicles, in Optimization and Optimal Control in Automotive Systems (Springer, New York, 2014), pp. 41–57
199.
Q. Zhu, Control challenges for resilient control systems (2020). Preprint. arXiv:2001.00712
201.
Q. Zhu, T. Başar, Robust and resilient control design for cyber-physical systems with an application to power systems, in 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC) (IEEE, New York, 2011), pp. 4066–4071
202.
Q. Zhu, T. Başar, A dynamic game-theoretic approach to resilient control system design for cascading failures, in Proceedings of the 1st International Conference on High Confidence Networked Systems (ACM, New York, 2012), pp. 41–46
Metadaten
Titel
Secure and Resilient Design of Could-Enabled CPS
verfasst von
Quanyan Zhu
Zhiheng Xu
Copyright-Jahr
2020
Buch
Cross-Layer Design for Secure and Resilient Cyber-Physical Systems

Print ISBN: 978-3-030-60250-5

Electronic ISBN: 978-3-030-60251-2

Copyright-Jahr: 2020

DOI
https://doi.org/10.1007/978-3-030-60251-2_4