Although comprehensive knowledge of cyber-physical systems (CPS) is becoming a must for researchers, practitioners, system designers, policy makers, system managers, and administrators, there has been a need for a comprehensive and up-to-date source of research and information on cyber-physical systems. This book fills that need.
Cyber-Physical Systems: From Theory to Practice provides state-of-the-art research results and reports on emerging trends related to the science, technology, and engineering of CPS, including system architecture, development, modeling, simulation, security, privacy, trust, and energy efficiency. It presents the research results of esteemed professionals on cutting-edge advances in cyber-physical systems that include communications, computing, and control.
The book consists of eight sections, each containing chapters contributed by leading experts in the field. Each section covers a different area that impacts the design, modeling, and evaluation of CPS, including:
- Control systems
- Modeling and design
- Communications and signal processing
- Mobility issues
- Security issues
- Sensors and applications
- Computing issues
The book’s coverage includes cyber-physical system architecture, mobile cyber-physical systems, cyber-physical systems for intelligent (road/air) transportation, and cyber-physical system applications and standardization.
With the CPS field advancing so rapidly, this book is an ideal reference to help researchers, system designers, and practitioners manufacture devices that are compatible with CPS standards. Presenting numerous examples that illustrate practical applications derived from theory, the book is also suitable for use as a textbook in upper undergraduate and graduate-level university courses.
Table of Contents
SECTION I CONTROL SYSTEMS
Analysis and Design of Cyber-Physical Systems: A Hybrid Control Systems Approach
Ricardo G. Sanfelice
Compositional Design of Cyber-Physical Systems Using Port-Hamiltonian Systems
Siyuan Dai, Zsolt Lattmann, and Xenofon Koutsoukos
Controller Redundancy Design for Cyber-Physical Systems
Jianguo Yao, Xue Liu, Guchuan Zhu, and Lui Sha
SECTION II MODELING AND DESIGN
Foundations of Compositional Model-Based System Design
Hybrid Stochastic Synchronization and Flow Models for Decision Making in Cyber-Physical Systems
Mengran Xue and Sandip Roy
Multi-View, Multi-Domain, and Multi-Paradigm Approach for Specification and Modeling of Big Data Driven Cyber-Physical Systems
SECTION III COMMUNICATIONS AND SIGNAL PROCESSING
Algorithm for Control with Limited Processing and Communication Resources
Daniel E. Quevedo, Vijay Gupta, and Wann-Jiun Ma
Signal and Data Processing Techniques for Industrial Cyber-Physical Systems
G. Tzagkarakis, G. Tsagkatakis, D. Alonso, C. Asensio, E. Celada, A. Panousopoulou, P. Tsakalides, and B. Beferull-Lozano
Quality-Guaranteed Data Streaming in Resource-Constrained Cyber-Physical Systems
Kui Wu, Emad Soroush, and Jian Pei
SECTION IV MOBILITY ISSUES
Robotic Operations Network: Cyber-Physics Framework and Cloud-Centric Software Architecture
Vladimir Zaborovsky, Alexey Lukashin, and Vladimir Muliukha
A Cyber–Physical–Social Platform for Intelligent Transportation Systems
Mohamed Elshenawy, Mohamed El-Darieby, and Baher Abdulhai
SECTION V ARCHITECTURE
ONE-ITS: Strategy, Architecture, and Software Implementation of a Cyber–Physical–Social Platform
Mohamed Elshenawy, Mohamed El-Darieby, and Baher Abdulhai
Contracts for Specifying and Structuring Requirements on Cyber-Physical Systems
Jonas Westman and Mattias Nyberg
Internet of Interlaced Cyber-Physical Things
Claudio Estevez, César Azurdia, and Sandra Céspedes
SECTION VI SECURITY ISSUES
Security in Delay-Tolerant Mobile Cyber-Physical Applications
Naércio Magaia, Paulo Pereira, and Miguel Correia
Toward Secure Network Coding–Enabled Wireless Sensor Networks in Cyber-Physical Systems
Alireza Esfahani, Georgios Mantas, Du Yang, Alberto Nascimento, Jonathan Rodriguez, and Jose Carlos Neves
SECTION VII SENSORS AND APPLICATIONS
Unified Framework Toward Solving Sensor Localization, Coverage, and Operation Lifetime Estimation Problems in Cyber-Physical Systems
Application Development Framework for Developing Cyber-Physical Systems
Pankesh Patel, Tie Luo, Umesh Bellur, and Sanjay Chaudhary
SECTION VIII COMPUTING ISSUES
Integration of Cloud for Cyber-Physical Systems
Ajay Rawat and Abhirup Khanna
Big Data Analysis for Cyber-Physical System
Mainak Adhikari, Sukhendu Kar, Sourav Banerjee, and Utpal Biswas
Efficient Protocols for Wireless Power Transfer in Ad Hoc Networks
Sotiris Nikoletseas and Theofanis P. Raptis
Danda B. Rawat, PhD, earned his PhD in electrical and computer engineering from Old Dominion University, Norfolk, Virginia. He is an assistant professor in the Department of Electrical Engineering at Georgia Southern University (GSU), Statesboro, USA. His research focuses on cognitive radio networks, cyber-physical systems, software-defined networks, cybersecurity, smart grids, and vehicular/wireless ad hoc networks.
He is the leader of the Cybersecurity, Wireless Systems, and Networking Innovations (CWiNs) Lab’s Research Group (http://www.CWiNs.org) at GSU. His research is supported by the U.S. National Science Foundation and the Center for Sustainability grants. Dr. Rawat has published more than 130 scientific/technical articles. He has served as an editor/guest editor on over 10 international journals. He serves as webmaster for IEEE INFOCOM 2016, student travel grant cochair of IEEE INFOCOM 2015, track chair for wireless networking and mobility of IEEE CCNC 2016, track chair for Communications Network and Protocols of IEEE AINA 2015, and many others. He has served as a program chair, general chair, and session chair for numerous international conferences and workshops, and has served as a technical program committee (TPC) member for several international conferences including IEEE GLOBECOM, IEEE CCNC, IEEE GreenCom, IEEE AINA, IEEE ICC, IEEE WCNC, and IEEE VTC conferences.
Joel J.P.C. Rodrigues, PhD, is a professor in the Department of Informatics at the University of Beira Interior, Covilhã, Portugal, and senior researcher at the Instituto de Telecomunicações, Portugal. He received the Academic Title of Aggregated Professor from the University of Beira Interior (2015), the habilitation in computer science and engineering from the University of Haute Alsace, France, a PhD in informatics engineering, an MSc from the University of Beira Interior, and a five-year BSc (licentiate) in informatics engineering from the University of Coimbra, Portugal. His main research interests include sensor networks, e-health, e-learning, vehicular delay-tolerant networks, and mobile and ubiquitous computing. He is the leader of the NetGNA Research Group (http://netgna.it.ubi.pt), the chair of the IEEE ComSoc Technical Committee on eHealth, the past chair of the IEEE ComSoc Technical Committee on Communications Software, a Steering Committee member of the IEEE Life Sciences Technical Community, a member representative of the IEEE Communications Society on the IEEE Biometrics Council, and an officer of the IEEE 1907.1 standard.
Dr. Rodrigues is the editor in chief of the International Journal on E-Health and Medical Communications, Recent Advances on Communications and Networking Technology, Journal of Multimedia Information Systems, and editorial board member of several other journals. He has been general chair and TPC Chair of many international conferences, including IEEE, ICC, and GLOBECOM. He is a member of many international TPCs and has participated in several international conferences. Dr. Rodrigues has authored or coauthored more than 400 papers in refereed international journals and conferences and a book and holds two patents.