Cyber-physical systems: Extending pervasive sensing from control theory to the Internet of Things

Abstract Essentially, the emerging term “Cyber–Physical Systems (CPS)” is an architectural paradigm in which the pervasive sensing technologies represent a fundamental part. Originally defined in the computer sciences domain, the term Cyber–Physical Systems has been adapted to very different domains such as the control theory or electronic engineering. Even, some authors understand CPS as a particular scenario of the Internet of Things (IoT) based on pervasive sensing. Furthermore, recently, some works propose a definition for CPS including all the features described in the different domains. In this paper we provide a comprehensive analysis of the nature and characteristics of the different proposals, discuss the recent attempts to standardize CPS, and review the state-of-the-art on CPS for each technological domain. We compare those different proposals on CPS, discuss about some related terms and technologies and conclude by describing the main research challenges in the area.

[1]  Daqiang Zhang,et al.  VCMIA: A Novel Architecture for Integrating Vehicular Cyber-Physical Systems and Mobile Cloud Computing , 2014, Mobile Networks and Applications.

[2]  Kang Lee,et al.  Understanding IEEE 1451-Networked smart transducer interface standard - What is a smart transducer? , 2008, IEEE Instrumentation & Measurement Magazine.

[3]  Hamid Aghvami,et al.  Cognitive Machine-to-Machine Communications for Internet-of-Things: A Protocol Stack Perspective , 2015, IEEE Internet of Things Journal.

[4]  Keyou You,et al.  Minimum Data Rate for Mean Square Stabilizability of Linear Systems With Markovian Packet Losses , 2011, IEEE Transactions on Automatic Control.

[5]  Dipankar Raychaudhuri,et al.  vMCN: virtual mobile cloud network for realizing scalable, real-time cyber physical systems , 2016, DCC '16.

[6]  Shusen Yang,et al.  A survey on the ietf protocol suite for the internet of things: standards, challenges, and opportunities , 2013, IEEE Wireless Communications.

[7]  A. G. Butkovskiĭ,et al.  Distributed control systems , 1969 .

[8]  Soo Dong Kim,et al.  A Service-Based Approach to Designing Cyber Physical Systems , 2010, 2010 IEEE/ACIS 9th International Conference on Computer and Information Science.

[9]  André Platzer,et al.  Quantified differential invariants , 2011, HSCC '11.

[10]  Paulo Tabuada,et al.  Approximately bisimilar symbolic models for nonlinear control systems , 2007, Autom..

[11]  Mahadev Satyanarayanan,et al.  Pervasive computing: vision and challenges , 2001, IEEE Wirel. Commun..

[12]  Frank Kelly,et al.  Rate control for communication networks: shadow prices, proportional fairness and stability , 1998, J. Oper. Res. Soc..

[13]  S. Shreve,et al.  Real-time queues in heavy traffic with earliest-deadline-first queue discipline , 2001 .

[14]  Manuel Mazo,et al.  PESSOA: A Tool for Embedded Controller Synthesis , 2010, CAV.

[15]  Xuemin Shen,et al.  Operator controlled device-to-device communications in LTE-advanced networks , 2012, IEEE Wireless Communications.

[16]  George J. Pappas,et al.  Robustness analysis for the certification of digital controller implementations , 2010, ICCPS '10.

[17]  Vijay Kumar,et al.  Robust Control for Mobility and Wireless Communication in Cyber–Physical Systems With Application to Robot Teams , 2012, Proceedings of the IEEE.

[18]  E. Robinson Cybernetics, or Control and Communication in the Animal and the Machine , 1963 .

[19]  Calin Belta,et al.  Controlling a Class of Nonlinear Systems on Rectangles , 2006, IEEE Transactions on Automatic Control.

[20]  Insup Lee,et al.  Compositional real-time scheduling framework with periodic model , 2008, TECS.

[21]  S. Shankar Sastry,et al.  Secure Control: Towards Survivable Cyber-Physical Systems , 2008, 2008 The 28th International Conference on Distributed Computing Systems Workshops.

[22]  Gang Zhou,et al.  VigilNet: An integrated sensor network system for energy-efficient surveillance , 2006, TOSN.

[23]  André Platzer,et al.  Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified , 2011, FM.

[24]  Jae-Hyun Kim,et al.  An interactive cyber-physical system (CPS) for people with disability and frail elderly people , 2011, ICUIMC '11.

[25]  David Broman,et al.  Requirements for Hybrid Cosimulation , 2014 .

[26]  Xue Liu,et al.  A Certificateless Signature Scheme for Mobile Wireless Cyber-Physical Systems , 2008, 2008 The 28th International Conference on Distributed Computing Systems Workshops.

[27]  Albrecht Schmidt,et al.  Implicit human computer interaction through context , 2000, Personal Technologies.

[28]  David M. Nicol,et al.  Designed-in Security for Cyber-Physical Systems , 2014, IEEE Secur. Priv..

[29]  Bruce A. Francis,et al.  Feedback Control Theory , 1992 .

[30]  András Gergely Valkó,et al.  Cellular IP: a new approach to Internet host mobility , 1999, CCRV.

[31]  Jeannette M. Wing An introduction to computer science for non-majors using principles of computation , 2007, SIGCSE.

[32]  Steven X. Ding,et al.  Real-Time Implementation of Fault-Tolerant Control Systems With Performance Optimization , 2014, IEEE Transactions on Industrial Electronics.

[33]  Ingrid Moerman,et al.  A survey on wireless body area networks , 2011, Wirel. Networks.

[34]  Panos J. Antsaklis,et al.  On the model-based control of networked systems , 2003, Autom..

[35]  Paulo Tabuada,et al.  Secure state-estimation for dynamical systems under active adversaries , 2011, 2011 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

[36]  Henry A. Kautz,et al.  Inferring activities from interactions with objects , 2004, IEEE Pervasive Computing.

[37]  Panos J. Antsaklis,et al.  Control and Communication Challenges in Networked Real-Time Systems , 2007, Proceedings of the IEEE.

[38]  Prasanta K. Jana,et al.  A distributed algorithm for energy efficient and fault tolerant routing in wireless sensor networks , 2015, Wirel. Networks.

[39]  Athanasios V. Vasilakos,et al.  EDAL: An Energy-Efficient, Delay-Aware, and Lifetime-Balancing Data Collection Protocol for Heterogeneous Wireless Sensor Networks , 2015, IEEE/ACM Transactions on Networking.

[40]  Anshul Kumar,et al.  Real time Dynamic Voltage Scaling for embedded systems , 2004, 17th International Conference on VLSI Design. Proceedings..

[41]  Xiaoyan Hong,et al.  An online energy-efficient routing protocol with traffic load prospects in wireless sensor networks , 2009, Int. J. Sens. Networks.

[42]  Victor C. M. Leung,et al.  Vita: A Crowdsensing-Oriented Mobile Cyber-Physical System , 2013, IEEE Transactions on Emerging Topics in Computing.

[43]  Randy Cogill,et al.  Convexity of optimal control over networks with delays and arbitrary topology , 2010 .

[44]  Insup Lee,et al.  Medical Cyber Physical Systems , 2010, Design Automation Conference.

[45]  Ramón Alcarria,et al.  Building Smart Adaptable Cyber-Physical Systems: Definitions, Classification and Elements , 2015, UCAmI.

[46]  M. Velasco,et al.  The Self Triggered Task Model for Real-Time Control Systems , 2003 .

[47]  Sang Hyuk Son,et al.  RDDS: A Real-Time Data Distribution Service for Cyber-Physical Systems , 2012, IEEE Transactions on Industrial Informatics.

[48]  Minyoung Kim xTune: online verifiable cross-layer adaptation for distributed real-time embedded systems , 2008, SIGBED.

[49]  Wei Zhang,et al.  Stability of networked control systems: explicit analysis of delay , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[50]  Rafail Ostrovsky,et al.  Error-correcting codes for automatic control , 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).

[51]  Daniel Nüst,et al.  Semantically-Enabled Sensor Plug & Play for the Sensor Web , 2011, Sensors.

[52]  Ossama Younis,et al.  Node clustering in wireless sensor networks: recent developments and deployment challenges , 2006, IEEE Network.

[53]  Qiang Li,et al.  A case study on REST-style architecture for cyber-physical systems: Restful smart gateway , 2011, Comput. Sci. Inf. Syst..

[54]  Helen Gill,et al.  Cyber-Physical Systems , 2019, 2019 IEEE International Conference on Mechatronics (ICM).

[55]  Ying-Dar Lin,et al.  Multihop cellular: a new architecture for wireless communications , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[56]  Ivan Stojmenovic,et al.  Machine-to-Machine Communications With In-Network Data Aggregation, Processing, and Actuation for Large-Scale Cyber-Physical Systems , 2014, IEEE Internet of Things Journal.

[57]  Adão Silva,et al.  Power allocation strategies for distributed precoded multicell based systems , 2011, EURASIP J. Wirel. Commun. Netw..

[58]  Kevin Curran,et al.  Cyber-physical systems and context-aware sensing and computing , 2017, Comput. Networks.

[59]  F. Zambonelli Self-Management and the Many Facets of “ Non-Self ” Franco Zambonelli , 2005 .

[60]  Daniel Mossé,et al.  Generic framework for design, modeling and simulation of cyber physical systems , 2008, SIGBED.

[61]  Alois Knoll,et al.  Services to the Field: An Approach for Resource Constrained Sensor/Actor Networks , 2009, 2009 International Conference on Advanced Information Networking and Applications Workshops.

[62]  Gabor Karsai,et al.  A passivity-based framework for resilient cyber physical systems , 2009, 2009 2nd International Symposium on Resilient Control Systems.

[63]  Leonard J. Schulman Coding for interactive communication , 1996, IEEE Trans. Inf. Theory.

[64]  Javad Marzbanrad,et al.  Self-tuning control algorithm design for vehicle adaptive cruise control system through real-time estimation of vehicle parameters and road grade , 2016 .

[65]  Feng Xia,et al.  From machine-to-machine communications towards cyber-physical systems , 2013, Comput. Sci. Inf. Syst..

[66]  Feng Xia,et al.  Wireless Sensor/Actuator Network Design for Mobile Control Applications , 2007, Sensors.

[67]  Sangkyum Kim,et al.  Tru-Alarm: Trustworthiness Analysis of Sensor Networks in Cyber-Physical Systems , 2010, 2010 IEEE International Conference on Data Mining.

[68]  Christiaan J. J. Paredis,et al.  Towards Unified System Modeling and Simulation with ModelicaML: Modeling of Executable Behavior Using Graphical Notations , 2009 .

[69]  Vlad Trifa,et al.  SOA-Based Integration of the Internet of Things in Enterprise Services , 2009, 2009 IEEE International Conference on Web Services.

[70]  Keith H. Bennett,et al.  Legacy Systems: Coping with Success , 1995, IEEE Softw..

[71]  Shuichi Oikawa,et al.  Resource kernels: a resource-centric approach to real-time and multimedia systems , 2001, Electronic Imaging.

[72]  Antonio Iera,et al.  The Internet of Things: A survey , 2010, Comput. Networks.

[73]  Jukka Vanhala,et al.  Proactive Fuzzy Control and Adaptation Methods for Smart Homes , 2008, IEEE Intelligent Systems.

[74]  Aditya Ashok,et al.  Cyber-Physical Security Testbeds: Architecture, Application, and Evaluation for Smart Grid , 2013, IEEE Transactions on Smart Grid.

[75]  Bernd J. Krämer Evolution of Cyber-Physical Systems: A Brief Review , 2014 .

[76]  Torsten Jeinsch,et al.  Data-driven self-tuning control by iterative learning control with application to optimize the control parameter of turbocharged engines , 2014, 2014 19th International Conference on Methods and Models in Automation and Robotics (MMAR).

[77]  Hai Lin,et al.  Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results , 2009, IEEE Transactions on Automatic Control.

[78]  Edward A. Lee Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[79]  Henry Muccini,et al.  Self-Adaptation for Cyber-Physical Systems: A Systematic Literature Review , 2016, 2016 IEEE/ACM 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).

[80]  Sanjoy K. Baruah,et al.  Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor , 1990, Real-Time Systems.

[81]  John A. Stankovic,et al.  Empath: a continuous remote emotional health monitoring system for depressive illness , 2011, Wireless Health.

[82]  Edward A. Lee,et al.  CyPhySim: a cyber-physical systems simulator , 2015, HSCC.

[83]  Chenyang Lu,et al.  SPEED: a stateless protocol for real-time communication in sensor networks , 2003, 23rd International Conference on Distributed Computing Systems, 2003. Proceedings..

[84]  Chin-Feng Lai,et al.  OSGi-based services architecture for Cyber-Physical Home Control Systems , 2011, Comput. Commun..

[85]  Osgi Alliance,et al.  Osgi Service Platform, Release 3 , 2003 .

[86]  Chenyang Lu,et al.  A utilization bound for aperiodic tasks and priority driven scheduling , 2004, IEEE Transactions on Computers.

[87]  Feng Xia,et al.  Network QoS Management in Cyber-Physical Systems , 2008, 2008 International Conference on Embedded Software and Systems Symposia.

[88]  Jan Recker,et al.  Context-aware Process Design Exploring the Extrinsic Drivers for Process Flexibility , 2006, BPMDS.

[89]  Paulo Tabuada An Approximate Simulation Approach to Symbolic Control , 2008, IEEE Transactions on Automatic Control.

[90]  Andrés Muñoz,et al.  Machine Learning and Optimization , 2012 .

[91]  Nei Kato,et al.  Toward intelligent machine-to-machine communications in smart grid , 2011, IEEE Communications Magazine.

[92]  Frank Vahid,et al.  A Survey on Concepts, Applications, and Challenges in Cyber-Physical Systems , 2014, KSII Trans. Internet Inf. Syst..

[93]  Wu He,et al.  Internet of Things in Industries: A Survey , 2014, IEEE Transactions on Industrial Informatics.

[94]  Sumit Gulwani,et al.  Synthesizing switching logic for safety and dwell-time requirements , 2010, ICCPS '10.

[95]  Dirk Timmermann,et al.  Service-Oriented Software Architecture for Sensor Networks , 2003 .

[96]  Zhihan Lv,et al.  Reliable vehicle type recognition based on information fusion in multiple sensor networks , 2017, Comput. Networks.

[97]  정성원 Advanced Analytics , 2014, Visual Analytics with Tableau®.

[98]  Girish Baliga,et al.  A middleware framework for networked control systems , 2005 .

[99]  Gilles Grimaud,et al.  The Web of Things: Interconnecting Devices with High Usability and Performance , 2009, 2009 International Conference on Embedded Software and Systems.

[100]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

[101]  Jing Xu,et al.  A Compressed HARQ Feedback for Device-to-Device Multicast Communications , 2012, 2012 IEEE Vehicular Technology Conference (VTC Fall).

[102]  Edward A. Lee The Past, Present and Future of Cyber-Physical Systems: A Focus on Models , 2015, Sensors.

[103]  Linda Bushnell,et al.  Stability analysis of networked control systems , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[104]  Ian Postlethwaite,et al.  Multivariable Feedback Control: Analysis and Design , 1996 .

[105]  Xiaomeng Su,et al.  A Survey of Automated Web Service Composition Methods , 2004, SWSWPC.

[106]  Naresh K. Sinha,et al.  Modern Control Systems , 1981, IEEE Transactions on Systems, Man, and Cybernetics.

[107]  Florian Dörfler,et al.  Cyber-physical attacks in power networks: Models, fundamental limitations and monitor design , 2011, IEEE Conference on Decision and Control and European Control Conference.

[108]  Kwang-Cheng Chen,et al.  Toward ubiquitous massive accesses in 3GPP machine-to-machine communications , 2011, IEEE Communications Magazine.

[109]  Lui Sha,et al.  Cyber-Physical Systems: A New Frontier , 2008, 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008).

[110]  Katherine M. Tsui,et al.  “I want that”: Human-in-the-loop control of a wheelchair-mounted robotic arm , 2011 .

[111]  Aloysius K. Mok,et al.  Resource partition for real-time systems , 2001, Proceedings Seventh IEEE Real-Time Technology and Applications Symposium.

[112]  Prasanta K. Jana,et al.  Energy efficient fault tolerant clustering and routing algorithms for wireless sensor networks , 2015, Comput. Electr. Eng..

[113]  P. Mell,et al.  The NIST Definition of Cloud Computing , 2011 .

[114]  Gabor Karsai,et al.  Toward a Science of Cyber–Physical System Integration , 2012, Proceedings of the IEEE.

[115]  Paulo Tabuada,et al.  To Sample or not to Sample: Self-Triggered Control for Nonlinear Systems , 2008, IEEE Transactions on Automatic Control.

[116]  Puneet Gupta,et al.  CyberPhysical-System-On-Chip (CPSoC): A self-aware MPSoC paradigm with cross-layer virtual sensing and actuation , 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[117]  Ing-Ray Chen,et al.  Behavior Rule Specification-Based Intrusion Detection for Safety Critical Medical Cyber Physical Systems , 2015, IEEE Transactions on Dependable and Secure Computing.

[118]  Keith Kirkpatrick,et al.  Software-defined networking , 2013, CACM.

[119]  Krithi Ramamritham,et al.  Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling , 1997, Proceedings Real-Time Systems Symposium.

[120]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[121]  Guiran Chang,et al.  Modeling access control for cyber-physical systems using reputation , 2012, Comput. Electr. Eng..

[122]  Chung Shue Chen,et al.  Real-time QoS support in wireless sensor networks: a survey , 2007 .

[123]  Lovepreet Kaur,et al.  Energy-Efficient Routing Protocols in Wireless Sensor Networks: A Survey , 2014 .

[124]  John S. Baras,et al.  Extending Design Capabilities of SysML with Trade-off Analysis: Electrical Microgrid Case Study , 2013, CSER.

[125]  Anurag Agarwal,et al.  The Internet of Things—A survey of topics and trends , 2014, Information Systems Frontiers.

[126]  Ing-Ray Chen,et al.  A survey of intrusion detection techniques for cyber-physical systems , 2014, ACM Comput. Surv..

[127]  John S. Baras,et al.  CPS Modeling Integration Hub and Design Space Exploration with Application to Microrobotics , 2013, CPSW@CISS.

[128]  K. Åström,et al.  Comparison of Riemann and Lebesgue sampling for first order stochastic systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[129]  Daniel Liberzon,et al.  Switching in Systems and Control , 2003, Systems & Control: Foundations & Applications.

[130]  Ing-Ray Chen,et al.  Effect of Intrusion Detection and Response on Reliability of Cyber Physical Systems , 2013, IEEE Transactions on Reliability.

[131]  Peter Gorm Larsen,et al.  Collaborative Design for Embedded Systems , 2014, Springer Berlin Heidelberg.

[132]  Franco Zambonelli,et al.  Interdisciplinary research: roles for self-organization , 2006, IEEE Intelligent Systems.

[133]  Manuel Mazo Espinosa,et al.  Contributions to the control of networked cyber-physical systems , 2010 .

[134]  Adnan Yazici,et al.  A Distributed Fault-Tolerant Topology Control Algorithm for Heterogeneous Wireless Sensor Networks , 2015, IEEE Transactions on Parallel and Distributed Systems.

[135]  Fan Zhang,et al.  Integrating neuromuscular and cyber systems for neural control of artificial legs , 2010, ICCPS '10.

[136]  Insup Lee,et al.  Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.

[137]  Feng Xia,et al.  Evaluating IEEE 802.15.4 for Cyber-Physical Systems , 2011, EURASIP J. Wirel. Commun. Netw..

[138]  Jay Lee,et al.  Introduction to cyber manufacturing , 2016 .

[139]  John Sibert,et al.  Using task context variables for selecting the best timing for interrupting users , 2005, sOc-EUSAI '05.

[140]  Suet-Fei Li,et al.  Wireless sensor actuator network for light monitoring and control application , 2006, CCNC 2006. 2006 3rd IEEE Consumer Communications and Networking Conference, 2006..

[141]  Edward A. Lee Cyber-physical Systems -are Computing Foundations Adequate? Position Paper for Nsf Workshop on Cyber-physical Systems: Research Motivation, Techniques and Roadmap , 1998 .

[142]  Anna Kyselova,et al.  Integration of context-aware control system in microgrid , 2013, 2013 IEEE XXXIII International Scientific Conference Electronics and Nanotechnology (ELNANO).

[143]  Mark W. Maier,et al.  Architecting Principles for Systems‐of‐Systems , 1996 .

[144]  Dieter Gollmann Security for Cyber-Physical Systems , 2012, MEMICS.

[145]  Alvaro A. Cárdenas,et al.  Attacks against process control systems: risk assessment, detection, and response , 2011, ASIACCS '11.

[146]  Nikil D. Dutt,et al.  Resilient dependable cyber-physical systems: a middleware perspective , 2011, Journal of Internet Services and Applications.

[147]  Gaurav Sharma,et al.  An Improved RSA-based Certificateless Signature Scheme for Wireless Sensor Networks , 2016, Int. J. Netw. Secur..

[148]  Xiaofeng Wang,et al.  Self-Triggered Feedback Control Systems With Finite-Gain ${\cal L}_{2}$ Stability , 2009, IEEE Transactions on Automatic Control.

[149]  Kwang-Cheng Chen,et al.  Machine-to-machine communications: Technologies and challenges , 2014, Ad Hoc Networks.

[150]  Jay Lee,et al.  Recent advances and trends in predictive manufacturing systems in big data environment , 2013 .

[151]  Carolyn L. Talcott,et al.  Cyber-Physical Systems and Events , 2008, Software-Intensive Systems and New Computing Paradigms.

[152]  Guy E. Garnett,et al.  Cyber-Physical Systems : Position Paper CPS Environments , 2022 .

[153]  Edward A. Lee,et al.  Modeling and simulating cyber-physical systems using CyPhySim , 2015, 2015 International Conference on Embedded Software (EMSOFT).

[154]  Yusheng Ji,et al.  Resource allocation using particle swarm optimization for D2D communication underlay of cellular networks , 2013, 2013 IEEE Wireless Communications and Networking Conference (WCNC).

[155]  Sandeep Neema,et al.  Detc 2012-71378 towards Automated Evaluation of Vehicle Dynamics in System-level Designs , 2012 .

[156]  Hong Ye,et al.  Scheduling of networked control systems , 2001 .

[157]  Abhishek Gupta,et al.  Future of all technologies - The Cloud and Cyber Physical Systems , 2013 .

[158]  Lida Xu,et al.  The internet of things: a survey , 2014, Information Systems Frontiers.

[159]  Yu-Chee Tseng,et al.  Pervasive and Mobile Computing ( ) – Pervasive and Mobile Computing Review from Wireless Sensor Networks towards Cyber Physical Systems , 2022 .

[160]  John A. Stankovic,et al.  Context-aware wireless sensor networks for assisted living and residential monitoring , 2008, IEEE Network.

[161]  Heejo Lee,et al.  This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. INVITED PAPER Cyber–Physical Security of a Smart Grid Infrastructure , 2022 .

[162]  Jianhua Lu,et al.  A QoS-Aware Power Optimization Scheme in OFDMA Systems with Integrated Device-to-Device (D2D) Communications , 2011, 2011 IEEE Vehicular Technology Conference (VTC Fall).

[163]  Ying Tan,et al.  A prototype architecture for cyber-physical systems , 2008, SIGBED.

[164]  Borzoo Bonakdarpour,et al.  Challenges in transformation of existing real-time embedded systems to cyber-physical systems , 2008, SIGBED.

[165]  W Wim Zeiler,et al.  Indoor air quality and thermal comfort strategies: the human-in-the-loop approach , 2011 .

[166]  László Monostori,et al.  ScienceDirect Variety Management in Manufacturing . Proceedings of the 47 th CIRP Conference on Manufacturing Systems Cyber-physical production systems : Roots , expectations and R & D challenges , 2014 .

[167]  Fumio Miyazaki,et al.  A stable tracking control method for an autonomous mobile robot , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[168]  Sirajum Munir,et al.  Cyber Physical System Challenges for Human-in-the-Loop Control , 2013, Feedback Computing.

[169]  Wei Zhang,et al.  Stability of networked control systems , 2001 .

[170]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[171]  Edward A. Lee Computing Foundations and Practice for Cyber- Physical Systems: A Preliminary Report , 2007 .

[172]  Biswanath Mukherjee,et al.  Wireless sensor network survey , 2008, Comput. Networks.

[173]  Hassan El Makssoud,et al.  Towards a Co-contraction Muscle Control Strategy For Paraplegics , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[174]  Jiannong Cao,et al.  Towards context-aware medical cyber-physical systems: design methodology and a case study , 2015 .

[175]  Thierry Gautier,et al.  Programming real-time applications with SIGNAL , 1991, Proc. IEEE.

[176]  Axel Jantsch,et al.  Self-aware Cyber-Physical Systems-on-Chip , 2015, 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[177]  Hans-Georg Kemper,et al.  Application-Pull and Technology-Push as Driving Forces for the Fourth Industrial Revolution , 2014 .

[178]  Amey Vinayak Moholkar Security for Cyber-Physical Systems , 2014 .

[179]  Alasdair Gilchrist Industry 4.0 , 2016, Apress.

[180]  Yuska P. C. Aguiar,et al.  Refining a User Behaviour Model Based on the Observation of Emotional States , 2011 .

[181]  Deborah Estrin,et al.  An energy-efficient MAC protocol for wireless sensor networks , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[182]  Hongwei Zhang,et al.  Reliable bursty convergecast in wireless sensor networks , 2005, MobiHoc '05.

[183]  José M. F. Moura,et al.  Modeling of Future Cyber–Physical Energy Systems for Distributed Sensing and Control , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[184]  Wang Xiao-le,et al.  A Service-Oriented Architecture Framework for Cyber-Physical Systems , 2012 .

[185]  Daqiang Zhang,et al.  Context-aware vehicular cyber-physical systems with cloud support: architecture, challenges, and solutions , 2014, IEEE Communications Magazine.

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

[187]  Babak Hassibi,et al.  Anytime reliable codes for stabilizing plants over erasure channels , 2011, IEEE Conference on Decision and Control and European Control Conference.

[188]  Ian F. Akyildiz,et al.  Wireless sensor networks: a survey , 2002, Comput. Networks.

[189]  Uwe Brinkschulte,et al.  A microkernel middleware architecture for distributed embedded real-time systems , 2001, Proceedings 20th IEEE Symposium on Reliable Distributed Systems.

[190]  Trent Jaeger,et al.  Design and Implementation of a TCG-based Integrity Measurement Architecture , 2004, USENIX Security Symposium.

[191]  Panganamala Ramana Kumar,et al.  Provable Systemwide Safety in Intelligent Intersections , 2011, IEEE Transactions on Vehicular Technology.

[192]  Fumin Zhang,et al.  Task Scheduling for Control Oriented Requirements for Cyber-Physical Systems , 2008, 2008 Real-Time Systems Symposium.

[193]  A. B. Karthick Anand Babu,et al.  Development of Type 2 Fuzzy Rough Ontology-based Middleware for Context Processing in Ambient Smart Environment , 2015 .

[194]  Klaus David,et al.  An Ontology-Based Reasoning Framework for Context-Aware Applications , 2015, CONTEXT.

[195]  Nuno Pereira,et al.  Cyber-physical systems clouds: A survey , 2016, Comput. Networks.

[196]  J. Alberto Espinosa,et al.  Big Data: Issues and Challenges Moving Forward , 2013, 2013 46th Hawaii International Conference on System Sciences.

[197]  John S. Baras,et al.  Integrated Modeling and Simulation Framework for Wireless Sensor Networks , 2012, 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises.

[198]  Levent Gürgen,et al.  Self-aware cyber-physical systems and applications in smart buildings and cities , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[199]  Panganamala Ramana Kumar,et al.  Cyber–Physical Systems: A Perspective at the Centennial , 2012, Proceedings of the IEEE.

[200]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[201]  Siddhartha Kumar Khaitan,et al.  Design Techniques and Applications of Cyberphysical Systems: A Survey , 2015, IEEE Systems Journal.

[202]  Jiafu Wan,et al.  A survey of Cyber-Physical Systems , 2011, 2011 International Conference on Wireless Communications and Signal Processing (WCSP).

[203]  Sumit Gupta,et al.  Introduction to Embedded Systems: A Reading List , 2022 .

[204]  Jong Hyuk Park,et al.  Pervasive Sensing Technologies and Emerging Trends , 2014, Int. J. Distributed Sens. Networks.

[205]  John W. Suh,et al.  Thermally Actuated Omnidirectional Walking Microrobot , 2010, Journal of Microelectromechanical Systems.

[206]  Jehoshua Bruck,et al.  Covering Algorithms, Continuum Percolation, and the Geometry of Wireless Networks. , 2003 .

[207]  Björn Andersson,et al.  A vision of cyber-physical internet , 2009 .

[208]  Mo-Yuen Chow,et al.  Networked Control System: Overview and Research Trends , 2010, IEEE Transactions on Industrial Electronics.

[209]  Abdelkarim Erradi,et al.  Policy-Driven Middleware for Self-adaptation of Web Services Compositions , 2006, Middleware.

[210]  Franco Zambonelli,et al.  Looking ahead in pervasive computing: Challenges and opportunities in the era of cyber-physical convergence , 2012, Pervasive Mob. Comput..

[211]  N. Jazdi,et al.  Cyber physical systems in the context of Industry 4.0 , 2014, 2014 IEEE International Conference on Automation, Quality and Testing, Robotics.

[212]  Claudio Soriente,et al.  On the difficulty of software-based attestation of embedded devices , 2009, CCS.

[213]  Danielle C. Tarraf Control of cyber-physical systems : workshop held at the Johns Hopkins University, March 2013 , 2013 .

[214]  Jie Wu,et al.  Deploying Wireless Sensor Networks with Fault-Tolerance for Structural Health Monitoring , 2015, IEEE Trans. Computers.

[215]  Danny Hughes,et al.  Specification, Analyzing Challenges and Approaches for Cyber-Physical Systems (CPS) , 2010 .

[216]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[217]  Douglas C. Schmidt,et al.  The design of the TAO real-time object request broker , 1998, Comput. Commun..

[218]  Gene Tsudik,et al.  Secure Code Update for Embedded Devices via Proofs of Secure Erasure , 2010, ESORICS.

[219]  David Clarke,et al.  Self-tuning control , 1979 .

[220]  Liviu Miclea,et al.  Cyber-Physical Systems - Concept, Challenges and Research Areas , 2012 .

[221]  Tao Chen,et al.  Network controlled Device-to-Device (D2D) and cluster multicast concept for LTE and LTE-A networks , 2011, 2011 IEEE Wireless Communications and Networking Conference.

[222]  Nancy A. Lynch,et al.  The Theory of Timed I/o Automata , 2003 .

[223]  Stephen A. Edwards,et al.  The Case for the Precision Timed (PRET) Machine , 2007, 2007 44th ACM/IEEE Design Automation Conference.

[224]  Huijun Gao,et al.  Fault-tolerant control of Markovian jump stochastic systems via the augmented sliding mode observer approach , 2014, Autom..

[225]  Dragan Nesic,et al.  Input-output stability properties of networked control systems , 2004, IEEE Transactions on Automatic Control.

[226]  Siddharth Sridhar,et al.  Cyber–Physical System Security for the Electric Power Grid , 2012, Proceedings of the IEEE.

[227]  Zoltán Rusák,et al.  Conceptualization of a real-time information processing platform for context-aware informing cyber-physical systems , 2016 .

[228]  Stephen A. Edwards,et al.  A disruptive computer design idea: Architectures with repeatable timing , 2009, 2009 IEEE International Conference on Computer Design.

[229]  Albrecht Schmidt,et al.  Enabling implicit human computer interaction: a wearable RFID-tag reader , 2000, Digest of Papers. Fourth International Symposium on Wearable Computers.

[230]  Jay Lee,et al.  Cyber-physical Systems Architecture for Self-Aware Machines in Industry 4.0 Environment , 2015 .

[231]  Antoine Girard,et al.  SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.

[232]  Xiaojun Zhang,et al.  SCLPV: Secure Certificateless Public Verification for Cloud-Based Cyber-Physical-Social Systems Against Malicious Auditors , 2015, IEEE Transactions on Computational Social Systems.

[233]  Daniel Camps-Mur,et al.  Device-to-device communications with Wi-Fi Direct: overview and experimentation , 2013, IEEE Wireless Communications.

[234]  Jiafu Wan,et al.  A General Test Platform for Cyber-Physical Systems: Unmanned Vehicle with Wireless Sensor Network Navigation , 2011 .

[235]  Michael Athans,et al.  Survey of decentralized control methods for large scale systems , 1978 .

[236]  Pravin Varaiya,et al.  Scalar estimation and control with noisy binary observations , 2004, IEEE Transactions on Automatic Control.

[237]  Yang Yang,et al.  Self-configuration and self-optimization for LTE networks , 2010, IEEE Communications Magazine.

[238]  Liviu Miclea,et al.  About dependability in cyber-physical systems , 2011, 2011 9th East-West Design & Test Symposium (EWDTS).

[239]  André Platzer,et al.  Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics , 2010 .

[240]  Ramón Alcarria,et al.  TF4SM: A Framework for Developing Traceability Solutions in Small Manufacturing Companies , 2015, Sensors.

[241]  Peter Marwedel,et al.  Embedded system design , 2010, Embedded Systems.

[242]  Janos Sztipanovits,et al.  Composition of Cyber-Physical Systems , 2007, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07).

[243]  Deniz Erdogmus,et al.  The Future of Human-in-the-Loop Cyber-Physical Systems , 2013, Computer.

[244]  Jongpil Jeong,et al.  An Enhanced Secure Mobility Management Scheme for Building IoT Applications , 2015, FNC/MobiSPC.

[245]  R.R. Tummala Moore's law meets its match (system-on-package) , 2006, IEEE Spectrum.

[246]  Diego Sánchez de Rivera,et al.  Using 5G Technologies in the Internet of Things Handovers, Problems and Challenges , 2015, 2015 9th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing.

[247]  Tao Han,et al.  Uplink channel reusing selection optimization for Device-to-Device communication underlaying cellular networks , 2012, 2012 IEEE 23rd International Symposium on Personal, Indoor and Mobile Radio Communications - (PIMRC).

[248]  M. Dunbar Plug-and-play sensors in wireless networks , 2001 .

[249]  Stamatis Karnouskos,et al.  Towards the Next Generation of Industrial Cyber-Physical Systems , 2014 .

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

[251]  Edward A. Lee,et al.  A model-based design methodology for cyber-physical systems , 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.

[252]  Paulo Tabuada,et al.  Linear Time Logic Control of Discrete-Time Linear Systems , 2006, IEEE Transactions on Automatic Control.

[253]  Sunny Consolvo,et al.  Lullaby: a capture & access system for understanding the sleep environment , 2012, UbiComp.

[254]  Lui Sha,et al.  On task schedulability in real-time control systems , 1996, 17th IEEE Real-Time Systems Symposium.

[255]  Romit Roy Choudhury,et al.  DataSpotting: offloading cellular traffic via managed device-to-device data transfer at data spots , 2010, MOCO.

[256]  Pramod K. Varshney,et al.  On-demand Geographic Forwarding for data delivery in wireless sensor networks , 2007, Comput. Commun..

[257]  Uwe Hansmann,et al.  Pervasive Computing Handbook , 2001, Springer Berlin Heidelberg.

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

[259]  Youmin Zhang,et al.  Active fault‐tolerant control system design with trajectory re‐planning against actuator faults and saturation: Application to a quadrotor unmanned aerial vehicle , 2015 .

[260]  Panganamala Ramana Kumar,et al.  Abstractions, Architecture, Mechanisms, and a Middleware for Networked Control , 2009, IEEE Transactions on Automatic Control.