Cyber-Physical Systems: Foundations, Principles and Applications explores the core system science perspective needed to design and build complex cyber-physical systems. Using Systems Science’s underlying theories, such as probability theory, decision theory, game theory, organizational sociology, behavioral economics, and cognitive psychology, the book addresses foundational issues central across CPS applications, including System Design -- How to design CPS to be safe, secure, and resilient in rapidly evolving environments, System Verification -- How to develop effective metrics and methods to verify and certify large and complex CPS, Real-time Control and Adaptation -- How to achieve real-time dynamic control and behavior adaptation in a diverse environments, such as clouds and in network-challenged spaces, Manufacturing -- How to harness communication, computation, and control for developing new products, reducing product concepts to realizable designs, and producing integrated software-hardware systems at a pace far exceeding today's timeline. The book is part of the Intelligent Data-Centric Systems: Sensor-Collected Intelligence series edited by Fatos Xhafa, Technical University of Catalonia.
Indexing: The books of this series are submitted to EI-Compendex and SCOPUS
1. 1 Introduction - p. 31 2. 2 A Control and Optimization Framework for CPSs as Hybrid Systems - p. 33 3. 3 Infinitesimal Perturbation Analysis (IPA): The IPA Calculus - p. 36 4. 4 IPA Properties - p. 41 5. 5 The Data Harvesting Problem in CPS - p. 43 6. 6 Conclusions - p. 52 7. Chapter 4: Energy-Harvesting Low-Power Devices in Cyber-Physical Systems - p. 54 8. Chapter 5: Machine-Type Communications Over 5G Systems: Challenges and Research Trends for Supporting Industrial CPS Applications - p. 74 9. Chapter 6: Data Reliability Challenge of Cyber-Physical Systems - p. 89 10. Chapter 7: Network-Wide Programming Challenges in Cyber-Physical Systems - p. 101 11. Chapter 8: Cyber-Physical Systems and Human Action: A Re-Definition of Distributed Agency Between Humans and Technology, Using the Example of Explicit and Implicit Knowledge - p. 113 12. Chapter 9: Security and Privacy in Cyber-Physical Systems - p. 127 13. Part 2: Principles - p. 141 14. Chapter 10: Interfacing Cyber-Physical Production Systems With Human Decision Makers - p. 141 15. Chapter 11: Social Network Signal Processing for Cyber-Physical Systems - p. 160 16. Chapter 12: Validation, Verification, and Formal Methods for Cyber-Physical Systems - p. 174 17. Chapter 13: Benchmarking of Cyber-Physical Systems in Industrial Robotics: The RoboCup Logistics League as a CPS Benchmark Blueprint - p. 191 18. Chapter 14: Localization in Cyber-Physical Systems - p. 207 19. Chapter 15: Green Cyber-Physical Systems - p. 224 20. Chapter 16: Wireless Rechargeable Sensor Networks for Cyber-Physical Systems - p. 237 21. Chapter 17: Applying Behavioral Game Theory to Cyber-Physical Systems Protection Planning - p. 250 22. Chapter 18: Probabilistic Graphical Modeling of Distributed Cyber-Physical Systems - p. 264 23. Chapter 19: Model-Based Testing of Cyber-Physical Systems - p. 285 24. Chapter 20: Cyber-Physical Systems for Wide-Area Situational Awareness - p. 304 25. Part 3: Applications - p. 317 26. Chapter 21: The Need of Dynamic and Adaptive Data Models for Cyber-Physical Production Systems - p. 317 27. Chapter 22: Transformation of Mission-Critical Applications in Aviation to Cyber-Physical Systems - p. 338 28. Chapter 23: Ensuring Dependability and Performance for CPS Design: Application to a Signaling System - p. 362 29. Chapter 24: Integrating Renewable Energy Resources in Smart Grid Toward Energy-Based Cyber-Physical Systems - p. 375 30. Chapter 25: Agriculture Cyber-Physical Systems - p. 398 31. Chapter 26: An Emerging Decision Authority: Adaptive Cyber-Physical System Design for Fair Human-Machine Interaction and Decision Processes - p. 417 32. Chapter 27: Scheduling Feasibility of Energy Management in Micro-Grids Based on Significant Moment Analysis - p. 430 33. Author Index - p. 451 34. Subject Index - p. 473
Cyber-Physical Systems: Foundations, Principles and Applications explores the core system science perspective needed to design and build complex cyber-physical systems. Using Systems Science’s underlying theories, such as probability theory, decision theory, game theory, organizational sociology, behavioral economics, and cognitive psychology, the book addresses foundational issues central across CPS applications, including System Design -- How to design CPS to be safe, secure, and resilient in rapidly evolving environments, System Verification -- How to develop effective metrics and methods to verify and certify large and complex CPS, Real-time Control and Adaptation -- How to achieve real-time dynamic control and behavior adaptation in a diverse environments, such as clouds and in network-challenged spaces, Manufacturing -- How to harness communication, computation, and control for developing new products, reducing product concepts to realizable designs, and producing integrated software-hardware systems at a pace far exceeding today's timeline. The book is part of the Intelligent Data-Centric Systems: Sensor-Collected Intelligence series edited by Fatos Xhafa, Technical University of Catalonia.
Indexing: The books of this series are submitted to EI-Compendex and SCOPUS
1. 1 Introduction - p. 31 2. 2 A Control and Optimization Framework for CPSs as Hybrid Systems - p. 33 3. 3 Infinitesimal Perturbation Analysis (IPA): The IPA Calculus - p. 36 4. 4 IPA Properties - p. 41 5. 5 The Data Harvesting Problem in CPS - p. 43 6. 6 Conclusions - p. 52 7. Chapter 4: Energy-Harvesting Low-Power Devices in Cyber-Physical Systems - p. 54 8. Chapter 5: Machine-Type Communications Over 5G Systems: Challenges and Research Trends for Supporting Industrial CPS Applications - p. 74 9. Chapter 6: Data Reliability Challenge of Cyber-Physical Systems - p. 89 10. Chapter 7: Network-Wide Programming Challenges in Cyber-Physical Systems - p. 101 11. Chapter 8: Cyber-Physical Systems and Human Action: A Re-Definition of Distributed Agency Between Humans and Technology, Using the Example of Explicit and Implicit Knowledge - p. 113 12. Chapter 9: Security and Privacy in Cyber-Physical Systems - p. 127 13. Part 2: Principles - p. 141 14. Chapter 10: Interfacing Cyber-Physical Production Systems With Human Decision Makers - p. 141 15. Chapter 11: Social Network Signal Processing for Cyber-Physical Systems - p. 160 16. Chapter 12: Validation, Verification, and Formal Methods for Cyber-Physical Systems - p. 174 17. Chapter 13: Benchmarking of Cyber-Physical Systems in Industrial Robotics: The RoboCup Logistics League as a CPS Benchmark Blueprint - p. 191 18. Chapter 14: Localization in Cyber-Physical Systems - p. 207 19. Chapter 15: Green Cyber-Physical Systems - p. 224 20. Chapter 16: Wireless Rechargeable Sensor Networks for Cyber-Physical Systems - p. 237 21. Chapter 17: Applying Behavioral Game Theory to Cyber-Physical Systems Protection Planning - p. 250 22. Chapter 18: Probabilistic Graphical Modeling of Distributed Cyber-Physical Systems - p. 264 23. Chapter 19: Model-Based Testing of Cyber-Physical Systems - p. 285 24. Chapter 20: Cyber-Physical Systems for Wide-Area Situational Awareness - p. 304 25. Part 3: Applications - p. 317 26. Chapter 21: The Need of Dynamic and Adaptive Data Models for Cyber-Physical Production Systems - p. 317 27. Chapter 22: Transformation of Mission-Critical Applications in Aviation to Cyber-Physical Systems - p. 338 28. Chapter 23: Ensuring Dependability and Performance for CPS Design: Application to a Signaling System - p. 362 29. Chapter 24: Integrating Renewable Energy Resources in Smart Grid Toward Energy-Based Cyber-Physical Systems - p. 375 30. Chapter 25: Agriculture Cyber-Physical Systems - p. 398 31. Chapter 26: An Emerging Decision Authority: Adaptive Cyber-Physical System Design for Fair Human-Machine Interaction and Decision Processes - p. 417 32. Chapter 27: Scheduling Feasibility of Energy Management in Micro-Grids Based on Significant Moment Analysis - p. 430 33. Author Index - p. 451 34. Subject Index - p. 473
