A comprehensive overview of cyber-physical systems: from perspective of feedback system

Cyber-physical systems (CPS) are characterized by integrating cybernetic and physical processes. The theories and applications of CPS face the enormous challenges. The aim of this paper is to provide a latest understanding of this emerging multi-disciplinary methodology. First, the features of CPS are described, and the research progresses are summarized from different components in CPS, such as system modeling, information acquisition, communication, control and security. Each part is also followed by the future directions. Then some typical applications are given to show the prospects of CPS.

[1]  Qi Zhu,et al.  Design and Operation of Secure Cyber-Physical Systems , 2015, IEEE Embedded Systems Letters.

[2]  Lui Sha,et al.  Real-Time Reachability for Verified Simplex Design , 2014, 2014 IEEE Real-Time Systems Symposium.

[3]  M. Ani Hsieh,et al.  Distributed allocation of mobile sensing agents in geophysical flows , 2014, 2014 American Control Conference.

[4]  Ling Shi,et al.  An Online Sensor Power Schedule for Remote State Estimation With Communication Energy Constraint , 2014, IEEE Transactions on Automatic Control.

[5]  Guan Xinping,et al.  Distributed consensus filtering based on event-driven transmission for wireless sensor networks , 2012, Proceedings of the 31st Chinese Control Conference.

[6]  Gitta Kutyniok,et al.  1 . 2 Sparsity : A Reasonable Assumption ? , 2012 .

[7]  Balasubramaniam Natarajan,et al.  State Estimation in Spatially Distributed Cyber-Physical Systems: Bounds on Critical Measurement Drop Rates , 2013, 2013 IEEE International Conference on Distributed Computing in Sensor Systems.

[8]  Azman Osman Lim,et al.  Efficient Temporal and Spatial Data Recovery Scheme for Stochastic and Incomplete Feedback Data of Cyber-physical Systems , 2014, 2014 IEEE 8th International Symposium on Service Oriented System Engineering.

[9]  Paulo Tabuada,et al.  Robustness of attack-resilient state estimators , 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[10]  Nuno Pereira,et al.  Scalable Data Acquisition for Densely Instrumented Cyber-Physical Systems , 2011, 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.

[11]  Walid Taha,et al.  A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report) , 2012, 2012 32nd International Conference on Distributed Computing Systems Workshops.

[12]  Karl Henrik Johansson,et al.  A secure control framework for resource-limited adversaries , 2012, Autom..

[13]  Yizhou Sun,et al.  Multidimensional Sensor Data Analysis in Cyber-Physical System: An Atypical Cube Approach , 2012, Int. J. Distributed Sens. Networks.

[14]  Xin-Ping Guan,et al.  Distributed optimal consensus filter for target tracking in heterogeneous sensor networks , 2011, 2011 8th Asian Control Conference (ASCC).

[15]  William J. Caelli,et al.  An Efficient Public Key Management System: An Application In Vehicular Ad Hoc Networks , 2011, PACIS.

[16]  Steve Goddard,et al.  Cyber-physical systems in industrial process control , 2008, SIGBED.

[17]  Na Li,et al.  Optimal demand response based on utility maximization in power networks , 2011, 2011 IEEE Power and Energy Society General Meeting.

[18]  Gang Feng,et al.  Channel-Aware Access for Cognitive Radio Networks , 2009, IEEE Transactions on Vehicular Technology.

[19]  Niels Pinkwart,et al.  Communication-free detection of resource conflicts in multi-agent-based cyber-physical systems , 2012, 2012 6th IEEE International Conference on Digital Ecosystems and Technologies (DEST).

[20]  Karl Henrik Johansson,et al.  Secure Control Systems: A Quantitative Risk Management Approach , 2015, IEEE Control Systems.

[21]  Vincent K. N. Lau,et al.  A Survey on Delay-Aware Resource Control for Wireless Systems—Large Deviation Theory, Stochastic Lyapunov Drift, and Distributed Stochastic Learning , 2011, IEEE Transactions on Information Theory.

[22]  Ruggero Carli,et al.  A distributed method for state estimation and false data detection in power networks , 2011, 2011 IEEE International Conference on Smart Grid Communications (SmartGridComm).

[23]  Yanqing Zhang,et al.  Body Sensor Networks: A Holistic Approach From Silicon to Users , 2012, Proceedings of the IEEE.

[24]  Quanyan Zhu,et al.  Game-Theoretic Methods for Robustness, Security, and Resilience of Cyberphysical Control Systems: Games-in-Games Principle for Optimal Cross-Layer Resilient Control Systems , 2015, IEEE Control Systems.

[25]  Alejandro Ribeiro,et al.  Opportunistic Control Over Shared Wireless Channels , 2015, IEEE Transactions on Automatic Control.

[26]  Teruo Higashino,et al.  A Study for Human Centric Cyber Physical System Based Sensing - Toward Safe and Secure Urban Life - , 2012, ISIP.

[27]  Karl Henrik Johansson,et al.  Cyber security analysis of state estimators in electric power systems , 2010, 49th IEEE Conference on Decision and Control (CDC).

[28]  Samarjit Chakraborty,et al.  Co-design of cyber-physical systems via controllers with flexible delay constraints , 2011, 16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011).

[29]  William H. Sanders,et al.  SCPSE: Security-Oriented Cyber-Physical State Estimation for Power Grid Critical Infrastructures , 2012, IEEE Transactions on Smart Grid.

[30]  Bruce M. McMillin,et al.  Analysis of information flow security in cyber-physical systems , 2010, Int. J. Crit. Infrastructure Prot..

[31]  Peter J Seiler,et al.  Analysis of communication losses in vehicle control problems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[32]  Sandra Hirche,et al.  Price-Based Adaptive Scheduling in Multi-Loop Control Systems With Resource Constraints , 2014, IEEE Transactions on Automatic Control.

[33]  Fan Wu,et al.  Cross-Layer Scheduling for OFDMA-Based Cognitive Radio Systems With Delay and Security Constraints , 2015, IEEE Transactions on Vehicular Technology.

[34]  Henrik Sandberg,et al.  Network-Aware Mitigation of Data Integrity Attacks on Power System State Estimation , 2012, IEEE Journal on Selected Areas in Communications.

[35]  Jiming Chen,et al.  An Online Optimization Approach for Control and Communication Codesign in Networked Cyber-Physical Systems , 2013, IEEE Transactions on Industrial Informatics.

[36]  Edward A. Lee,et al.  Introduction to Embedded Systems - A Cyber-Physical Systems Approach , 2013 .

[37]  Sorin A. Huss,et al.  A Novel Framework for Efficient Mobility Data Verification in Vehicular Ad-hoc Networks , 2012, Int. J. Intell. Transp. Syst. Res..

[38]  Lichen Zhang,et al.  A framework to model big data driven complex cyber physical control systems , 2014, 2014 20th International Conference on Automation and Computing.

[39]  Jay Lee,et al.  Service Innovation and Smart Analytics for Industry 4.0 and Big Data Environment , 2014 .

[40]  Gregory W. Wornell,et al.  Distributed space-time-coded protocols for exploiting cooperative diversity in wireless networks , 2003, IEEE Trans. Inf. Theory.

[41]  Steven Okamoto,et al.  Distributed constraint optimization for teams of mobile sensing agents , 2014, Autonomous Agents and Multi-Agent Systems.

[42]  Jimeng Sun,et al.  Informatics methods in medical privacy , 2014, J. Biomed. Informatics.

[43]  Klara Nahrstedt,et al.  Secure and Scalable Data Collection With Time Minimization in the Smart Grid , 2016, IEEE Transactions on Smart Grid.

[44]  Sungwon Kang,et al.  ExCHARON: Improved Modeling Language for Cyber-physical Systems Based on CHARON , 2013, 2013 IEEE 16th International Conference on Computational Science and Engineering.

[45]  Xiaofeng Wang,et al.  L1Simplex: Fault-tolerant control of cyber-physical systems , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[46]  Christian Bettstetter,et al.  An Experimental Study of Selective Cooperative Relaying in Industrial Wireless Sensor Networks , 2014, IEEE Transactions on Industrial Informatics.

[47]  Xin-Ping Guan,et al.  Opportunistic multichannel access with decentralized channel state information , 2015, Wirel. Commun. Mob. Comput..

[48]  Donald F. Towsley,et al.  Reliability Gain of Network Coding in Lossy Wireless Networks , 2008, IEEE INFOCOM 2008 - The 27th Conference on Computer Communications.

[49]  Subhrakanti Dey,et al.  Optimal Energy Allocation for Kalman Filtering Over Packet Dropping Links With Imperfect Acknowledgments and Energy Harvesting Constraints , 2014, IEEE Transactions on Automatic Control.

[50]  Mingxing Liu,et al.  A New Model Language for Cyber Physical Systems , 2013, 2013 International Conference on Information Science and Cloud Computing Companion.

[51]  T. Blumensath,et al.  Theory and Applications , 2011 .

[52]  Jorge Cortés,et al.  Team-Triggered Coordination for Real-Time Control of Networked Cyber-Physical Systems , 2014, IEEE Transactions on Automatic Control.

[53]  Rose Qingyang Hu,et al.  Scalable Distributed Communication Architectures to Support Advanced Metering Infrastructure in Smart Grid , 2012, IEEE Transactions on Parallel and Distributed Systems.

[54]  Leon Wu,et al.  FARE: A framework for benchmarking reliability of cyber-physical systems , 2013, 2013 IEEE Long Island Systems, Applications and Technology Conference (LISAT).

[55]  Dario Pompili,et al.  Underwater acoustic sensor networks: research challenges , 2005, Ad Hoc Networks.

[56]  Hariharan Krishnan,et al.  Design of cooperative vehicle safety systems based on tight coupling of communication, computing and physical vehicle dynamics , 2010, ICCPS '10.

[57]  Andrea Vinci,et al.  A Cyber-Physical System for Distributed Real-Time Control of Urban Drainage Networks in Smart Cities , 2014, IDCS.

[58]  Andrei Sleptchenko,et al.  Maintaining Secure and Reliable Distributed Control Systems , 2015, INFORMS J. Comput..

[59]  Marco A. Wehrmeister,et al.  Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems , 2013, IEEE Transactions on Industrial Informatics.

[60]  Young-Jin Kim,et al.  Resilient end-to-end message protection for large-scale cyber-physical system communications , 2012, 2012 IEEE Third International Conference on Smart Grid Communications (SmartGridComm).

[61]  Ann Miller,et al.  A Semantic Agent Framework for Cyber-Physical Systems , 2011 .

[62]  Daniel E. Quevedo,et al.  Power Control and Coding Formulation for State Estimation With Wireless Sensors , 2013, IEEE Transactions on Control Systems Technology.

[63]  Daniel E. Quevedo,et al.  Network Topology Reconfiguration for State Estimation Over Sensor Networks With Correlated Packet Drops , 2014 .

[64]  Jun Sun,et al.  Compressive data gathering for large-scale wireless sensor networks , 2009, MobiCom '09.

[65]  W. P. M. H. Heemels,et al.  Rollout Event-Triggered Control: Beyond Periodic Control Performance , 2014, IEEE Transactions on Automatic Control.

[66]  Jiming Chen,et al.  Sensing-Performance Tradeoff in Cognitive Radio Enabled Smart Grid , 2013, IEEE Transactions on Smart Grid.

[67]  Kai Ma,et al.  Hierarchical-Game-Based Uplink Power Control in Femtocell Networks , 2014, IEEE Transactions on Vehicular Technology.

[68]  Husheng Li,et al.  Communication Requirement for Reliable and Secure State Estimation and Control in Smart Grid , 2011, IEEE Transactions on Smart Grid.

[69]  Quanyan Zhu,et al.  Resilient Distributed Control of Multi-agent Cyber-Physical Systems , 2013, CPSW@CISS.

[70]  Rong Du,et al.  Effective Urban Traffic Monitoring by Vehicular Sensor Networks , 2015, IEEE Transactions on Vehicular Technology.

[71]  Takashi Hikihara,et al.  A Hybrid System Approach to the Analysis and Design of Power Grid Dynamic Performance , 2012, Proceedings of the IEEE.

[72]  Xin-Ping Guan,et al.  Optimal demand response scheduling with Stackelberg game approach under load uncertainty for smart grid , 2012, 2012 IEEE Third International Conference on Smart Grid Communications (SmartGridComm).

[73]  V. Borkar,et al.  A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..

[74]  Bruno Sinopoli,et al.  Secure control against replay attacks , 2009, 2009 47th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

[75]  Elisabet Estévez-Estévez,et al.  Model-Based Validation of Industrial Control Systems , 2012, IEEE Transactions on Industrial Informatics.

[76]  Alois Zoitl,et al.  Guidelines and Patterns for Building Hierarchical Automation Solutions in the IEC 61499 Modeling Language , 2013, IEEE Transactions on Industrial Informatics.

[77]  Usman A. Khan,et al.  Secure distributed estimation in cyber-physical systems , 2013, 2013 IEEE International Conference on Acoustics, Speech and Signal Processing.

[78]  Romain Billot,et al.  Particle Filter-Based Strategy for Online Calibration and Parameter Estimation of Motorway Traffic Model , 2013 .

[79]  Fan Zhang,et al.  Traffic condition matrix estimation via weighted Spatio-Temporal Compressive Sensing for unevenly-distributed and unreliable GPS data , 2014, 17th International IEEE Conference on Intelligent Transportation Systems (ITSC).

[80]  Duanfeng Chu,et al.  A method of vehicle motion prediction and collision risk assessment with a simulated vehicular cyber physical system , 2014 .

[81]  Jay Lee,et al.  A Cyber-Physical Systems architecture for Industry 4.0-based manufacturing systems , 2015 .

[82]  S. Shankar Sastry,et al.  Safe and Secure Networked Control Systems under Denial-of-Service Attacks , 2009, HSCC.

[83]  Wen Hu,et al.  SimpleTrack: Adaptive Trajectory Compression With Deterministic Projection Matrix for Mobile Sensor Networks , 2014, IEEE Sensors Journal.

[84]  H. Vincent Poor,et al.  Multicast Routing for Decentralized Control of Cyber Physical Systems with an Application in Smart Grid , 2012, IEEE Journal on Selected Areas in Communications.

[85]  Paulo Tabuada,et al.  Towards Robustness for Cyber-Physical Systems , 2014, IEEE Transactions on Automatic Control.

[86]  Petru Eles,et al.  Control-quality driven design of cyber-physical systems with robustness guarantees , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[87]  Kwang-Cheng Chen,et al.  Radio Resource Management for QoS Guarantees in Cyber-Physical Systems , 2012, IEEE Transactions on Parallel and Distributed Systems.

[88]  Daniel E. Quevedo,et al.  Kalman Filtering With Relays Over Wireless Fading Channels , 2015, IEEE Transactions on Automatic Control.

[89]  Rong Du,et al.  VANET based traffic estimation: A matrix completion approach , 2013, 2013 IEEE Global Communications Conference (GLOBECOM).

[90]  Pablo Soldati,et al.  Modular Design of Jointly Optimal Controllers and Forwarding Policies for Wireless Control , 2012, IEEE Transactions on Automatic Control.

[91]  Peng Ning,et al.  False data injection attacks against state estimation in electric power grids , 2009, CCS.

[92]  Sebastian Trimpe,et al.  Event-based estimation and control for remote robot operation with reduced communication , 2015, 2015 IEEE International Conference on Robotics and Automation (ICRA).

[93]  Tao Li,et al.  From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations , 2014, IEEE Transactions on Parallel and Distributed Systems.

[94]  Roy S. Smith,et al.  A Decoupled Feedback Structure for Covertly Appropriating Networked Control Systems , 2011 .

[95]  Xi Fang,et al.  3. Full Four-channel 6.3-gb/s 60-ghz Cmos Transceiver with Low-power Analog and Digital Baseband Circuitry 7. Smart Grid — the New and Improved Power Grid: a Survey , 2022 .

[96]  Xi Deng,et al.  Communication Synchronization in Cluster-Based Sensor Networks for Cyber-Physical Systems , 2013, IEEE Transactions on Emerging Topics in Computing.

[97]  Guofei Jiang,et al.  Modeling and analytics for cyber-physical systems in the age of big data , 2014, PERV.

[98]  Ka Lok Man,et al.  Towards a hybrid approach to SoC estimation for a smart Battery Management System (BMS) and battery supported Cyber-Physical Systems (CPS) , 2012, 2012 2nd Baltic Congress on Future Internet Communications.