Cyber-Physical Systems. Foundations, Principles and Applications

✍ Scribed by Houbing Song, Danda B Rawat, Sabina Jeschke, Christian Brecher

• Publisher: Academic Press
• Year: 2017
• Tongue: English
• Leaves: 480
• Series: Intelligent Data-Centric Systems: Sensor Collected Intelligence
• Edition: 1
• Category: Library

✦ Synopsis

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 todays timeline. The book is part of the Intelligent Data-Centric Systems: Sensor-Collected Intelligence series edited by Fatos Xhafa, Technical University of Catalonia.

✦ Table of Contents

Content:
Front Matter,Copyright,Contributors,About the Editors,Foreword,PrefaceEntitled to full textPart 1: FoundationsChapter 1 - Characterization, Analysis, and Recommendations for Exploiting the Opportunities of Cyber-Physical Systems, Pages 3-14, M. Törngren, F. Asplund, S. Bensalem, J. McDermid, R. Passerone, H. Pfeifer, A. Sangiovanni-Vincentelli, B. Schätz
Chapter 2 - Adaptive Control in Cyber-Physical Systems: Distributed Consensus Control for Wireless Cyber-Physical Systems, Pages 15-30, G. Dartmann, E. Almodaresi, M. Barhoush, N. Bajcinca, G.K. Kurt, V. Lücken, E. Zandi, G. Ascheid
Chapter 3 - Online Control and Optimization for Cyber-Physical Systems, Pages 31-54, C.G. Cassandras
Chapter 4 - Energy-Harvesting Low-Power Devices in Cyber-Physical Systems, Pages 55-74, M. Erol-Kantarci, D.W. Illig, L.K. Rumbaugh, W.D. Jemison
Chapter 5 - Machine-Type Communications Over 5G Systems: Challenges and Research Trends for Supporting Industrial CPS Applications, Pages 75-89, M. Condoluci, M. Dohler, G. Araniti
Chapter 6 - Data Reliability Challenge of Cyber-Physical Systems, Pages 91-101, D. Wang
Chapter 7 - Network-Wide Programming Challenges in Cyber-Physical Systems, Pages 103-113, P.M.N. Martins, J.A. McCann
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, Pages 115-127, F. Böhle, N. Huchler
Chapter 9 - Security and Privacy in Cyber-Physical Systems*, Pages 129-141, G.A. Fink, T.W. Edgar, T.R. Rice, D.G. MacDonald, C.E. Crawford
Chapter 10 - Interfacing Cyber-Physical Production Systems With Human Decision Makers, Pages 145-160, R. Müller, S. Narciss, L. Urbas
Chapter 11 - Social Network Signal Processing for Cyber-Physical Systems, Pages 161-174, T. Abdelzaher, S. Wang, P. Giridhar, T.A. Amin, P. Seetharamu, H. Roy, H. Wang, L. Kaplan, E. Bowman, J. George
Chapter 12 - Validation, Verification, and Formal Methods for Cyber-Physical Systems, Pages 175-191, P. Bagade, A. Banerjee, S.K.S. Gupta
Chapter 13 - Benchmarking of Cyber-Physical Systems in Industrial Robotics: The RoboCup Logistics League as a CPS Benchmark Blueprint, Pages 193-207, T. Niemueller, G. Lakemeyer, S. Reuter, S. Jeschke, A. Ferrein
Chapter 14 - Localization in Cyber-Physical Systems, Pages 209-224, G. Liu, Q. Chen, Y. Liu, Q. Yang
Chapter 15 - Green Cyber-Physical Systems, Pages 225-237, C. Estevez, J. Wu
Chapter 16 - Wireless Rechargeable Sensor Networks for Cyber-Physical Systems, Pages 239-250, C. Lin, B. Xue, F. Xia, G. Wu, J. Deng
Chapter 17 - Applying Behavioral Game Theory to Cyber-Physical Systems Protection Planning, Pages 251-264, S.T. Hamman, K.M. Hopkinson, L.A. McCarty
Chapter 18 - Probabilistic Graphical Modeling of Distributed Cyber-Physical Systems, Pages 265-285, S. Sarkar, Z. Jiang, A. Akintayo, S. Krishnamurthy, A. Tewari
Chapter 19 - Model-Based Testing of Cyber-Physical Systems, Pages 287-304, A. Aerts, M. Reniers, M.R. Mousavi
Chapter 20 - Cyber-Physical Systems for Wide-Area Situational Awareness, Pages 305-317, C. Alcaraz, L. Cazorla, J. Lopez
Chapter 21 - The Need of Dynamic and Adaptive Data Models for Cyber-Physical Production Systems, Pages 321-338, C. Brecher, C. Ecker, W. Herfs, M. Obdenbusch, S. Jeschke, M. Hoffmann, T. Meisen
Chapter 22 - Transformation of Mission-Critical Applications in Aviation to Cyber-Physical Systems, Pages 339-362, L. Ren, H. Liao, M. Castillo-Effen, B. Beckmann, T. Citriniti
Chapter 23 - Ensuring Dependability and Performance for CPS Design: Application to a Signaling System, Pages 363-375, E. Soubiran, F. Guenab, D. Cancila, A. Koudri, L. Wouters
Chapter 24 - Integrating Renewable Energy Resources in Smart Grid Toward Energy-Based Cyber-Physical Systems, Pages 377-398, P. Moulema, S. Mallapuram, W. Yu, D. Griffith, N. Golmie
Chapter 25 - Agriculture Cyber-Physical Systems, Pages 399-417, W. An, D. Wu, S. Ci, H. Luo, V. Adamchuk, Z. Xu
Chapter 26 - An Emerging Decision Authority: Adaptive Cyber-Physical System Design for Fair Human-Machine Interaction and Decision Processes, Pages 419-430, T. Töniges, S.K. Ötting, B. Wrede, G.W. Maier, G. Sagerer
Chapter 27 - Scheduling Feasibility of Energy Management in Micro-Grids Based on Significant Moment Analysis, Pages 431-449, Z. Shi, N. Yao, F. Zhang
Author Index, Pages 451-472
Subject Index, Pages 473-484

✦ Subjects

Cooperating objects (Computer systems);Embedded computer systems;Embedded Internet devices;Cybernetics;COMPUTERS;General