Cyber-Physical Systems: From Theory to Practice, 1st Edition (Hardback) book cover

Cyber-Physical Systems

From Theory to Practice, 1st Edition

Edited by Danda B. Rawat, Joel J.P.C. Rodrigues, Ivan Stojmenovic

CRC Press

570 pages | 271 B/W Illus.

Purchasing Options:$ = USD
Hardback: 9781482263329
pub: 2015-10-22
SAVE ~$29.00
$145.00
$116.00
x
eBook (VitalSource) : 9780429157882
pub: 2015-10-28
from $72.50


FREE Standard Shipping!

Description

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
  • Architecture
  • 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

Stavros Tripakis

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

Lichen Zhang

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

Zhanyang Zhang

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

Index

About the Editors

Author

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.

Subject Categories

BISAC Subject Codes/Headings:
COM032000
COMPUTERS / Information Technology
TEC008000
TECHNOLOGY & ENGINEERING / Electronics / General
TEC061000
TECHNOLOGY & ENGINEERING / Mobile & Wireless Communications
TEC064000
TECHNOLOGY & ENGINEERING / Sensors