Theoretical foundations for cyber-physical systems: A literature review

Journal of Industrial Integration and Management

Volumn 2, Issue 3, 2017, Pages

  Chen, Hong ^a  

^a TIANJIN UNIVERSITY   (China)

Author keywords

Cyber physical system; Review; Theoretical foundations

Indexed keywords

EID: 85150674966     PISSN: 24248622     EISSN: 24248630     Source Type: Journal    
DOI: 10.1142/S2424862217500130     Document Type: Review

References (118)

1. "Alliance for internet of things innovation report" Report: AIOTI WG11 — Smart manufacturing. (2016). Retrieved from http://www.aioti.org/wp-content/uploads/2016/10/AIOTIWG11Report2015.pdf.
2. Arrieta, A, G Sagardui and L Etxeberria (2014). A Model-Based Testing Methodology for the Systematic Validation of Highly Configurable Cyber-Physical Systems.
3. Artemis. (2015). Retrieved from http://www.artemis.eu/.
4. Baheti, R and H Gill (2011). Cyber-physical systems. The Impact of Control Technology, 12, 161–166.
5. Bangemann, F, C Diedrich and J Reich (2016). A model for the semantics of component interactions of cyber-physical systems. In 2016 IEEE 25th Int. Symp. Electronics (ISIE), pp. 1042–1047.
6. Barbosa, J, P Leitão, D Trentesaux, AW Colombo and S Karnouskos (2016). Cross benefits from cyber-physical systems and intelligent products for future smart industries. In 2016 IEEE 14th Int. Conf. Industrial Informatics (INDIN), pp. 504–509.
7. Beghi, A, F Marcuzzi and M Rampazzo (2016). A virtual laboratory for the prototyping of cyber-physical systems. IFAC-PapersOnLine, 49(6), 63–68. doi: 10.1016/j.ifacol.2016. 07.154
8. Bennett, T, R Jafari and N Gans (2013). An extended kalman filter to estimate human gait parameters and walking distance. In 2013 American Control Conference (ACC), pp. 752– 757. IEEE.
9. Bennett, TR, N Gans and R Jafari (2015). A data-driven synchronization technique for cyber-physical systems. In Proc. Second International Workshop on the Swarm at the Edge of the Cloud, pp. 49–54. ACM.
10. Bordel, B, DS De Rivera and R Alcarria (2016). Plug-and-play transducers in cyber-physical systems for device-driven applications. In 2016 10th Int. Conf. Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS), pp. 316–321. IEEE.
11. Canedo, A and JH Richter (2014). Architectural design space exploration of cyber-physical systems using the functional modeling compiler. Procedia CIRP, 21, 46–51.
12. Chen, J, R Tan, G Xing, X Wang and X Fu (2012). Fidelity-aware utilization control for cyber-physical surveillance systems. IEEE Transactions on Parallel and Distributed Systems, 23(9), 1739–1751. doi: 10.1109/TPDS.2012.74.
13. Chen, K and H Shen (2014). A social-based cyber-physical system for distributed message transmission. In SPIE Defense + Security, pp. 90911M–90911M. International Society for Optics and Photonics.
14. Cheng, Z, Y Tan and Y Lim (2016). Design and evaluation of hybrid temperature control for cyber-physical home systems. International Journal of Modelling, Identification and Control, 26(3), 196–206. doi: 10.1504/IJMIC.2016.080295.
15. Chu, CT and CS Shih (2013). CPSSim: Simulation framework for large-scale cyber-physical systems. In 2013 IEEE 1st Int. Conf. Cyber-Physical Systems, Networks, and Applications (CPSNA), pp. 44–51. IEEE.
16. Cong, X, H Yu and X Xu (2013). Verification of hybrid chi model for cyber-physical systems using PHAVer. In 2013 7th Int. Conf. Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS), pp. 122–128. IEEE: Taichung, Taiwan. 3–5 July.
17. Conti, S, A La Corte, R Nicolosi and SA Rizzo (2016). Impact of cyber-physical system vulnerability, telecontrol system availability and islanding on distribution network reliability. Sustainable Energy, Grids and Networks, 6, 143–151. doi: 10.1016/j.segan.2016. 03.003.
18. Daun, M, J Brings, T Weyer and B Tenbergen (2016). Fostering concurrent engineering of cyber-physical systems: A proposal for an ontological context framework. In 2016 3rd Int. Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems (EITEC), pp. 5–10. IEEE.
19. Desmet, A and E Gelenbe (2012). Identifying critical sub-systems in the simulation of cyber-physical systems. In 2012 Sixth UKSim/AMSS European Symposium on Computer Modeling and Simulation (EMS), pp. 395–400. IEEE.
20. Drozdov, D, S Patil, V Dubinin and V Vyatkin (2016). Formal verification of cyber-physical automation systems modelled with timed block diagrams. In 2016 IEEE 25th Int. Symp. Industrial Electronics (ISIE), pp. 316–321. IEEE.
21. Eidson, JC, EA Lee, S Matic, SA Seshia and J Zou (2012). Distributed real-time software for cyber-physical systems. Proceedings of the IEEE, 100(1), 45–59. doi: 10.1109/JPROC.2011.2161237.
22. Esterle, L and R Grosu (2016). Cyber-physical systems: Challenge of the 21st century. Elektrotechnik und Informationstechnik, 133(7), 299–303. doi: 10.1007/s00502-016-0426-6.
23. EuroCPS project (2016). Retrieved from https://www.eurocps.org/.
24. Fitzgerald, J, K Pierce and C Gamble (2012). A rigorous approach to the design of resilient cyber-physical systems through co-simulation. In 2012 IEEE/IFIP 42nd Int. Conf. Dependable Systems and Networks Workshops (DSN-W), pp. 1–6. IEEE.
25. Gao, S, H Luo, D Chen, S Li, P Gallinari, Z Ma and J Guo (2013). A cross-domain recommendation model for cyber-physical systems. IEEE Transactions on Emerging Topics in Computing, 1(2), 384–393. doi: 10.1109/TETC.2013.2274044.
26. Gerostathopoulos, I, T Bures, P Hnetynka, J Keznikl, M Kit, F Plasil and N Plouzeau (2016). Self-adaptation in software-intensive cyber-physical systems: From system goals to architecture configurations. Journal of Systems and Software, 122, 378–397. doi: 10.1016/j. jss.2016. 02.028.
27. Gill, H (2006). NSF Perspective and Status on Cyber-physical Systems. National Workshop on Cyber-Physical Systems. Austin, TX, October 16–17, 2006: National Science Foundation.
28. Graja, I, S Kallel, N Guermouche and AH Kacem (2016). BPMN4CPS: A BPMN extension for modeling cyber-physical systems. In 2016 IEEE 25th Int. Conf. Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), pp. 152–157. IEEE.
29. Gurdur, D, F Asplund and J El-Khoury (2016). Measuring tool chain interoperability in Cyber-Physical Systems. In 2016 11th System of Systems Engineering Conference (SoSE), pp. 1–4. IEEE.
30. Gürdür, D, J El-Khoury, T Seceleanu and L Lednicki (2016b). Making interoperability visible: Data visualization of cyber-physical systems development tool chains. Journal of Industrial Information Integration, 4,26–34.
31. Hazra, A, P Dasgupta and PP Dasgupta (2016). Formal assessment of reliability specifications in embedded cyber-physical systems. Journal of Applied Logic, 18, 71–104. doi: 10.1016/j. jal.2016.09.001.
32. Heimdahl, MPE, L Duan, A Murugesan and S Rayadurgam (2013). Modeling and requirements on the physical side of cyber-physical systems. In 2013 2nd Int. Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks), pp. 1–7. IEEE.
33. Helps, R and F Mensah (2012). Comprehensive design of cyber physical systems. In Proc. 13th Annual Conf. Information Technology Education, pp. 233–238. ACM.
34. Henneke, D, M Elattar and J Jasperneite (2015). Communication patterns for Cyber-Physical Systems. In 2015 IEEE 20th Conf. Emerging Technologies & Factory Automation (ETFA), pp. 1–4. IEEE.
35. Hewage, K, S Duquennoy, V Iyer and T Iyer (2015). Enabling TCP in mobile cyber-physical systems. In 2015 IEEE 12th Int. Conf. Mobile Ad Hoc and Sensor Systems (MASS), pp. 289–297. IEEE.
36. Horváth, I and S Pourtalebi (2015). Fundamentals of a mereo-operandi theory to support transdisciplinary modeling and co-design of cyber-physical systems. In Proceedings of the ASME, pp. 1–12.
37. Horváth, I and J Wang (2015). Towards a comprehensive theory of multi-aspect interaction with cyber physical systems. In ASME 2015 Int. Design Engineering Technical Conferences and Computers and Information in Engineering Conf., pp. V01BT02A009–V01BT02A009. American Society of Mechanical Engineers.
38. Houyou, AM (2012). Internet of things at work: Architecture approach to interoperability. Retrieved from http://www.probe-it.eu/wp-content/uploads/2012/04/11-IoT@Work Interoperability-Architecture.pdf.
39. Hoxha, B, A Dokhanchi and G Fainekos (2017). Mining parametric temporal logic properties in model-based design for cyber-physical systems. International Journal on Software Tools for Technology Transfer, 1–15. doi: 10.1007/s10009-017-0447-4.
40. "ISO Study Report on IoT Reference Architectures/Frameworks" (2014). Retrieved from http://www.sis.se/PageFiles/15118/Study%20Report%20on%20IoT%20Reference% 20Architectures%20and%20Frameworks.pdf.
41. Jóźwiak, L (2014). Heterogeneous MPSoC technology for modern cyber-physical systems. Informacije MIDEM, 44(4), 264–279.
42. Karsai, G, D Balasubramanian, A Dubey and WR Otte (2014). Distributed and managed: Research challenges and opportunities of the next generation cyber-physical systems. In 2014 IEEE 17th Int. Symp. Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), pp. 1–8. IEEE.
43. Khakpour, N and MR Mousavi (2015). Notions of conformance testing for cyber-physical systems: Overview and roadmap. In LIPIcs-Leibniz International Proceedings in Informatics, Vol. 42, pp. 18–40. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.
44. Kim, KD and PR Kumar (2013). An overview and some challenges in cyber-physical systems. Journal of the Indian Institute of Science, 93(3), 341–352.
45. Klein, R, S Rilling, A Usov and J Xie (2013). Using complex event processing for modelling and simulation of cyber-physical systems. International Journal of Critical Infrastructures, 9(1–2), 148–172. doi:10.1504/IJCIS.2013.051610.
46. Krotofil, M, A Cárdenas, J Larsen and D Gollmann (2014). Vulnerabilities of cyber-physical systems to stale data — Determining the optimal time to launch attacks. International Journal of Critical Infrastructure Protection, 7(4), 213–232. doi: 10.1016/j.ijcip.2014. 10.003.
47. Krotofil, M, J Larsen and D Gollmann (2015). The process matters: Ensuring data veracity in cyber-physical systems. In Proc. 10th ACM Symp. Information, Computer and Communications Security, pp. 133–144. ACM.
48. Kumar, N, RS Bali, R Iqbal, N Chilamkurti and S Rho (2015). Optimized clustering for data dissemination using stochastic coalition game in vehicular cyber-physical systems. Journal of Supercomputing, 71(9), 3258–3287. doi: 10.1007/s11227-015-1436-6.
49. Kuo, SY, YH Chou and CY Chen (2016). Quantum-inspired algorithm for cyber-physical visual surveillance deployment systems. Computer Networks, 117, 5-18. doi: 10.1016/j. comnet.2016. 11.013.
50. Kwasinski, A (2016). Cross-layer framework in the internet of things for cyber-physical systems. Proc. SPIE — The International Society for Optical Engineering, 9842(1), xlv–liv.
51. La, HJ and SD Kim (2010). A service-based approach to designing cyber physical systems. 2010 IEEE/ACIS 9th Int. Conf. Computer and Information Science (ICIS), pp. 895–900. IEEE.
52. Lai, C-F, Y-W Ma, S-Y Chang, H-C Chao and Y-M Huang (2011). OSGi-based services architecture for cyber-physical home control systems. Computer Communications, 34(2), 184–191.
53. Lee, EA (2015). The past, present and future of cyber-physical systems: A focus on models. Sensors (Switzerland), 15(3), 4837–4869. doi: 10.3390/s150304837.
54. Lee, EA, M Niknami, TS Nouidui and M Wetter (2015a). Modeling and simulating cyber-physical systems using CyPhySim. In Proc. 12th Int. Conf. Embedded Software, pp. 115– 124. IEEE Press.
55. Lee, J, HD Ardakani, S Yang and B Bagheri (2015b). Industrial big data analytics and cyber-physical systems for future maintenance & service innovation. Procedia CIRP, 38, 3–7.
56. Lee, J, B Bagheri and H-A Kao (2015c). A cyber-physical systems architecture for industry 4.0-based manufacturing systems. Manufacturing Letters, 3,18–23.
57. Lee, J and KG Shin (2017). Development and use of a new task model for cyber-physical systems: A real-time scheduling perspective. Journal of Systems and Software, 126, 45–56. doi: 10.1016/j.jss.2017.01.004.
58. Li, HX and LD Xu (2001). Feature space theory — a mathematical foundation for data mining. Knowledge-Based Systems, 14(5), 253–257.
59. Li, L, L Xu, HA Jeng, D Naik, T Allen and M Frontini (2008). Creation of environmental health information system for public health service: A pilot study. Information Systems Frontiers, 10(5), 531–542.
60. Li, X, Y Wang and X Zhou (2014). An event-based architecture for cyber physical systems. In 2014 4th IEEE Int. Conf. Information Science and Technology (ICIST), pp. 96–99. IEEE.
61. Li, Y, B Cao, L Xu, J Yin, S Deng, Y Yin and Z Wu (2014b). An efficient recommendation method for improving business process modeling. IEEE Transactions on Industrial Informatics, 10(1), 502–513.
62. Luo, X, D Zhang, LT Yang, J Liu, X Chang and H Ning (2016). A kernel machine-based secure data sensing and fusion scheme in wireless sensor networks for the cyber-physical systems. Future Generation Computer Systems, 61, 85–96. doi: 10.1016/j.future.2015.10.022.
63. Ma, Z, X Fu and Z Yu (2012). Object-oriented petri nets based formal modeling for high-confidence cyber-physical systems. In 2012 8th Int. Conf. Wireless Communications, Networking and Mobile Computing (WiCOM), pp. 1–4. IEEE.
64. Majd, A, G Sahebi, M Daneshtalab, J Plosila and H Tenhunen (2016). Placement of smart mobile access points in wireless sensor networks and cyber-physical systems using fog computing. In 2016 Int. IEEE Conf. Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/ IoP/SmartWorld), pp. 680–689. IEEE.
65. Malavolta, I, H Muccini and M Sharaf (2015). A preliminary study on architecting cyber-physical systems. In Proc. 2015 European Conf. Software Architecture Workshops, p. 20. ACM.
66. Mikusz, M (2015). Towards a conceptual framework for cyber-physical systems from the Service-Dominant logic perspective. In 2015 21st Americas Conference on Information Systems, pp. 1–13. Puerto Rico.
67. Mohammed, AW, Y Xu, H Hu and B Agyemang (2016). Markov task network: A framework for service composition under uncertainty in cyber-physical systems. Sensors (Switzerland), 16(9), 1542. doi: 10.3390/s16091542.
68. Ni, J, B Tan and R Srikant (2012). Q-CSMA: Queue-length-based CSMA/CA algorithms for achieving maximum throughput and low delay in wireless networks. IEEE/ACM Transactions on Networking, 20(3), 825–836.
69. NIST cyber-physical systems (2016). Retrieved from http://www.nist.gov/cps/.
70. Niu, N, L Xu and Z Bi (2013). Enterprise information systems architecture — Analysis and evaluation. IEEE Transactions on Industrial Informatics, 9(4), 2147–2154.
71. Nower, N, Y Tan and AO Lim (2014). Traffic pattern based data recovery scheme for cyber-physical systems. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E97-A(9), 1926–1936. doi: 10.1587/transfun.E97.A.1926.
72. Nuzzo, P, AL Sangiovanni-Vincentelli, D Bresolin, L Geretti and T Villa (2015). A platform-based design methodology with contracts and related tools for the design of cyber-physical systems. Proceedings of the IEEE, 103(11), 2104–2132. doi: 10.1109/JPROC.2015.2453253.
73. Park, KJ, MK Yoon and CG Lee (2016). Robust co-design of control and real-time scheduling in cyber-physical systems. Applied Mathematics and Information Sciences, 10(4), 1319– 1329. doi: 10.18576/amis/100411.
74. PCAST. (2010). Leadership under challenge: Information technology R & D in a competitive world: An assessment of the federal networking and information technology R & D program. Retrieved from http://www.Nitrd.gov/pcast/reports//PCAST-NIT-FINAL.pdf.
75. Persis, C and R Postoyan (2017). A lyapunov redesign of coordination algorithms for cyber-physical systems. IEEE Transactions on Automatic Control, 62(2), 808–823. doi: 10.1109/TAC.2016.2565062.
76. Persson, M and A Håkansson (2015). A communication protocol for different communication technologies in cyber-physical systems. Procedia Computer Science, 60, 1697–1706.
77. Petnga, L and M Austin (2016). An ontological framework for knowledge modeling and decision support in cyber-physical systems. Advanced Engineering Informatics, 30(1), 77– 94. doi: 10.1016/j.aei.2015.12.003.
78. Petroulakis, NE, G Spanoudakis, IG Askoxylakis, A Miaoudakis and A Traganitis (2015). A pattern-based approach for designing reliable cyber-physical systems. In 2015 IEEE Global Communications Conference (GLOBECOM), pp. 1–6. IEEE.
79. Pirvu, BC, CB Zamfirescu and D Gorecky (2016). Engineering insights from an anthropocentric cyber-physical system: A case study for an assembly station. Mechatronics, 34, 147– 159. doi: 10.1016/j.mechatronics.2015.08.010.
80. Poovendran, R, K Sampigethaya, SKS Gupta, I Lee, KV Prasad, D Corman and JL Paunicka (2012). Special issue on cyber-physical systems [scanning the issue]. Proceedings of the IEEE, 100(1), 6–12.
81. Reeves, J and SW Smith (2015). Solving the grid defender's dilemma: Tamper protection for distributed cyber-physical systems. In 12th Int. Conf. e-Business and Telecommunications (ICETE), Vol. 4, pp. 309–316. IEEE: Colmar, 20–22 July.
82. Sakurama, K (2016). Control of large-scale cyber-physical systems with agents via a representative model. In 2016 IEEE 4th Int. Conf. Cyber Physical Systems, Networks, and Applications (CPSNA), pp. 40–43. IEEE: Nagoya, 6–7 October.
83. Sánchez, BB, R Alcarria, D Sańchez-De-Rivera andÁ Sańchez-Picot (2016). Enhancing process control in industry 4.0 scenarios using Cyber-Physical systems. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, 7(4), 41–64.
84. Sanislav, T, G Mois, S Folea, L Miclea, G Gambardella and P Prinetto (2014). A cloud-based cyber-physical system for environmental monitoring. In 2014 3rd Mediterranean Conf. Embedded Computing (MECO), pp. 6–9. IEEE: Budva, 15–19 June.
85. Schneider, R, D Goswami, A Masrur and S Chakraborty (2012). QoC-oriented efficient schedule synthesis for mixed-criticality cyber-physical systems. In 2012 Forum on Specification and Design Languages (FDL), pp. 60–67. IEEE.
86. Shen, B, X Zhou and M Kim (2016). Mixed scheduling with heterogeneous delay constraints in cyber-physical systems. Future Generation Computer Systems, 61, 108–117. doi: 10.1016/j. future.2015.10.021.
87. Shi, J, J Wan, H Yan and H Suo (2011). A survey of Cyber-Physical Systems. In 2011 Int. Conf. Wireless Communications and Signal Processing (WCSP), pp. 1–6. IEEE.
88. Shin, DH, S He and J Zhang (2014). Robust, secure, and cost-effective design for cyber-physical systems. IEEE Intelligent Systems, 29(1), 66–69. doi: 10.1109/MIS.2014.9.
89. Shin, DH, S He and J Zhang (2016). Robust and cost-effective design of cyber-physical systems: An optimal middleware deployment approach. IEEE/ACM Transactions on Networking, 24(2), 1081–1094. doi: 10.1109/TNET.2015.2403862.
90. Shu, Z, J Wan, D Zhang and D Li (2016). Cloud-integrated cyber-physical systems for complex industrial applications, Mobile Networks and Applications, 21(5), 865–878. doi: 10.1007/s11036-015-0664-6.
91. Simko, G, T Levendovszky, M Maroti and J Sztipanovits (2014). Towards a theory for Cyber-Physical Systems modeling. In Proc. 4th ACM SIGBED Int. Workshop on Design, Modeling and Evaluation of Cyber-Physical Systems, Berlin, pp. 56–61, 14–17 April.
92. Soulier, P, D Li and JR Williams (2015). A survey of language-based approaches to Cyber-Physical and embedded system development, Tsinghua Science and Technology, 20(2), 130–141.
93. Spezzano, G and A Vinci (2015). Pattern detection in Cyber-Physical Systems. Procedia Computer Science, 52, 1016–1021.
94. Stojmenovic, I (2013). Large scale cyber-physical systems: Distributed actuation, in-network processing and Machine-to-Machine communications. In 2013 2nd Mediterranean Conf. Embedded Computing (MECO), pp. 21–24. IEEE.
95. Sztipanovits, J, T Bapty, S Neema, X Koutsoukos and E Jackson (2015). Design tool chain for cyber-physical systems: Lessons learned. In 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC), pp. 1–6. IEEE.
96. Sztipanovits, J, X Koutsoukos, G Karsai, N Kottenstette, P Antsaklis, V Gupta, B Goodwin, J Baras and S Wang (2012). Toward a science of cyber-physical system integration. Proc. IEEE, 100(1), 29–44. doi: 10.1109/JPROC.2011.2161529.
97. Tan, R, G Xing, X Liu, J Yao and Z Yuan (2012). Adaptive calibration for fusion-based cyber-physical systems. Transactions on Embedded Computing Systems, 11(4), 80. doi: 10.1145/2362336.2362347.
98. Tan, W, Y Xu, W Xu, L Xu, X Zhao, L Wang and L Fu (2010). A methodology toward manufacturing grid-based virtual enterprise operation platform. Enterprise Information Systems, 4(3), 283–309.
99. Tan, Y, S Goddard and LC Perez (2008). A prototype architecture for cyber-physical systems. ACM Sigbed Review, 5(1), 26.
100. Tang, J, J Zhao, J Ding, L Chen, G Xie, B Gu and M Yang (2012). Cyber-physical systems modeling method based on modelica. In 2012 IEEE 6th Int. Conf. Software Security and Reliability Companion (SERE-C), pp. 188–191. IEEE: Gaithersburg. 20–22 June.
101. Tariq, MU, J Florence and M Wolf (2014). Design specification of cyber-physical systems: Towards a domain-specific modeling language based on simulink, eclipse modeling framework, and giotto. In ACESMB@ MoDELS, pp. 6–15.
102. Thramboulidis, K and F Christoulakis (2016). UML4IoT — A UML-based approach to exploit IoT in cyber-physical manufacturing systems. Computers in Industry, 82, 259–272. doi: 10.1016/j.compind.2016.05.010.
103. Van Acker, B, J Denil, H Vangheluwe and P De Meulenaere (2015). Managing heterogeneity in model-based systems engineering of cyber-physical systems. In 2015 10th Int. Conf. P2P, Parallel Grid, Cloud and Internet Computing (3PGCIC), pp. 617–622. IEEE: Krakow, Poland. 4–6 November.
104. Wan, J, M Chen, F Xia, D Li and K Zhou (2013a). From machine-to-machine communications towards cyber-physical systems. Computer Science and Information Systems, 10(3), 1105–1128. doi: 10.2298/CSIS120326018W.
105. Wan, J, H Yan, Q Liu, K Zhou, R Lu and D Li (2013b). Enabling cyber-physical systems with machine-to-machine technologies. International Journal of Ad Hoc and Ubiquitous Computing, 13(3–4), 187–196. doi: 10.1504/IJAHUC.2013.055454.
106. Wang, B and JS Baras (2013). HybridSim: A modeling and co-simulation toolchain for cyber-physical systems. In 2013 IEEE/ACM 17th Int. Symp. Distributed Simulation and Real Time Applications., pp. 33–40. 30 October-1 November. Delft, Netherlands: IEEE Computer Society.
107. Wang, C, L Xu and W Peng (2007). Conceptual design of remote monitoring and fault diagnosis systems. Information Systems, 32(7), 996–1004.
108. Wang, J and S Yu (2016). A comprehensive theory of multi-aspect interaction with cyber physical systems. International Journal of Smart Home, 10(3), 103–118. doi: 10.14257/ijsh.2016.10.3.11.
109. Wang, X, M Davis, J Zhang and V Saunders (2015). Mission-aware vulnerability assessment for cyber-physical systems. In 2015 IEEE Trust com/BigData/SE/ISPA, Vol. 1, pp. 1148– 1153. IEEE: Helmi, Finland. 20–22 August.
110. Woehrle, M, K Lampka and L Thiele (2012). Conformance testing for cyber-physical systems. ACM Transactions on Embedded Computing Systems, 11(4), 84. doi: 10.1145/2362336.2362351.
111. Wolf, T, M Zink and A Nagurney (2013). The cyber-physical marketplace: A framework for large-scale horizontal integration in distributed cyber-physical systems. In 2013 IEEE 33rd Int. Conf. Distributed Computing Systems Workshops (ICDCSW), pp. 296–302. IEEE.
112. Xu, L (2007). Editorial: Inaugural Issue. Enterprise Information Systems, 1(1), 1–2. DOI:10.1080/17517570712331393320.
113. Xu, L, W He and S Li (2014). Internet of things in industries: A survey. IEEE Transactions on Industrial Informatics, 10(4), 2233–2243.
114. Xu, L, W Tan, H Zhen and W Shen (2008). An approach to enterprise process dynamic modeling supporting enterprise process evolution. Information Systems Frontiers, 10(5), 611–624.
115. Zhang, F, Z Shi and S Mukhopadhyay (2013a). Robustness analysis for battery-supported cyber-physical systems. ACM Transactions on Embedded Computing Systems, 12(3), 69. doi: 10.1145/2442116.2442119.
116. Zhang, L, H Sun, X Ma, C Xu and J Lu (2013b). Challenges in developing software for cyber-physical systems. In Proc. 5th Asia-Pacific Symp. Internetware, p. 15. New York: ACM. 23–24 October.
117. Zhang, Y, F Xie, Y Dong, G Yang and X Zhou (2013). High fidelity virtualization of cyber-physical systems. International Journal of Modeling, Simulation, and Scientific Computing, 4(2), 1340005. doi: 10.1142/S1793962313400059.
118. Zhu, C, L Shu, T Hara, L Wang, S Nishio and LT Yang (2014). A survey on communication and data management issues in mobile sensor networks. Wireless Communications and Mobile Computing, 14(1), 19–36.