Cyber-Physical Systems: Foundations, Principles and Applications

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

Includes in-depth coverage of the latest models and theories that unify perspectives, expressing the interacting dynamics of the computational and physical components of a system in a dynamic environmentFocuses on new design, analysis, and verification tools that embody the scientific principles of CPS and incorporate measurement, dynamics, and controlCovers applications in numerous sectors, including agriculture, energy, transportation, building design and automation, healthcare, and manufacturing

PART 1 FOUNDATIONS

1. Characterization, Analysis, and Recommendations for Exploiting the Opportunities of Cyber-Physical Systems

2. Adaptive Control in Cyber-Physical Systems: Distributed Consensus Control for Wireless Cyber-Physical Systems

3. Online Control and Optimization for Cyber-Physical Systems

4. Energy-Harvesting Low-Power Devices in Cyber-Physical Systems

5. Machine-Type Communications Over 5G Systems: Challenges and Research Trends for Supporting Industrial CPS Applications.

6. Data Reliability Challenge of Cyber-Physical Systems

7. Network-Wide Programming Challenges in Cyber-Physical Systems

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

9. Security and Privacy in Cyber-Physical Systems

PART 2 PRINCIPLES

10. Interfacing Cyber-Physical Production Systems With Human Decision Makers

11. Social Network Signal Processing for Cyber-Physical Systems

12. Validation, Verification, and Formal Methods for Cyber-Physical Systems

13. Benchmarking of Cyber-Physical Systems in Industrial Robotics: The RoboCup Logistics League as a CPS Benchmark Blueprint

14. Localization in Cyber-Physical Systems

15. Green Cyber-Physical Systems

16. Wireless Rechargeable Sensor Networks for Cyber-Physical Systems

17. Applying Behavioral Game Theory to Cyber-Physical Systems Protection Planning

18. Probabilistic Graphical Modeling of Distributed Cyber-Physical Systems

19. Model-Based Testing of Cyber-Physical Systems

20. Cyber-Physical Systems for Wide-Area Situational Awareness

PART 3 APPLICATIONS

21. The Need of Dynamic and Adaptive Data Models for Cyber-Physical Production Systems

22. Transformation of Mission-Critical Applications in Aviation to Cyber-Physical Systems

23. Ensuring Dependability and Performance for CPS Design: Application to a Signaling System

24. Integrating Renewable Energy Resources in Smart Grid Toward Energy-Based Cyber-Physical Systems

25. Agriculture Cyber-Physical Systems

26. An Emerging Decision Authority: Adaptive Cyber-Physical System Design for Fair Human-Machine Interaction and Decision Processes

27. Scheduling Feasibility of Energy Management in Micro-Grids Based on Significant Moment Analysis