Bookstore

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.

Cyber-Physical Systems

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, Cesar Azurdia, and Sandra Cespedes



SECTION VI SECURITY ISSUES



Security in Delay-Tolerant Mobile Cyber-Physical Applications

Naercio 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