Design techniques and applications of cyberphysical systems: A survey

IEEE Systems Journal

Volumn 9, Issue 2, 2015, Pages 350-365

  Khaitan, Siddhartha Kumar ^a   McCalley, James D ^a  

^a Iowa State University of Science and Technology   (United States)

Author keywords

Application; challenges; classification; cyberphysical systems (CPSs); design; development; review; security; survey; system of system

Indexed keywords

APPLICATIONS; CLASSIFICATION (OF INFORMATION); DESIGN; EMBEDDED SYSTEMS; REVIEWS; SURVEYING; SYSTEM OF SYSTEMS;

CHALLENGES; CYBER PHYSICAL SYSTEMS (CPSS); DESIGN AND DEVELOPMENT; DEVELOPMENT; DEVELOPMENT AND APPLICATIONS; ENGINEERED SYSTEMS; PHYSICAL COMPONENTS; SECURITY;

SURVEYS;

EID: 85028199291     PISSN: 19328184     EISSN: 19379234     Source Type: Journal    
DOI: 10.1109/JSYST.2014.2322503     Document Type: Article

References (278)

1. H. Giese, B. Rumpe, B. Schätz, and J. Sztipanovits, "Science and engineering of cyber-physical systems (Dagstuhl Seminar 11441)," Dagstuhl Rep., vol. 1, no. 11, pp. 1-22, 2012.
2. M. Conti et al., "Looking ahead in pervasive computing: Challenges and opportunities in the era of cyber-physical convergence," Pervasive Mobile Comput., vol. 8, no. 1, pp. 2-21, Feb. 2012.
3. L. Sha, S. Gopalakrishnan, X. Liu, and Q. Wang, "Cyber-physical systems: A new frontier," in Machine Learning in Cyber Trust. NewYork, NY, USA: Springer-Verlag, 2009, pp. 3-13.
4. I. Horváth and B. Gerritsen, "Cyber-physical systems: Concepts, technologies and implementation principles," in Proc. TMCE Symp., 2012, pp. 19-36.
5. E. Lee, "Computing needs time," Commun. ACM, vol. 52, no. 5, pp. 70-79, May 2009.
6. National Science Foundation (NSF), Cyber Physical Systems NSF10515, Arlington, VA, USA, 2013. [Online]. Available: http://www. nsf.gov/pubs/2010/nsf10515/nsf10515.htm
7. L. Miclea and T. Sanislav, "About dependability in cyber-physical systems," in Proc. EWDTS, 2011, pp. 17-21.
8. M. Ilic, X. Le, U. A. Khan, and J. M. F. Moura, "Modeling future cyberphysical energy systems," in Proc. IEEE PES-GM-Convers. Del. Elect. Energy 21st Century, 2008, pp. 1-9.
9. M. Ilic, X. Le, U. A. Khan, and J. M. F. Moura, "Modeling of future cyber-physical energy systems for distributed sensing and control," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 40, no. 4, pp. 825-838, Jul. 2010.
10. P. Zhao, M. G. Simoes, and S. Suryanarayanan, "A conceptual scheme for cyber-physical systems based energy management in building structures," in Proc. IEEE/IAS Int. Conf. INDUSCON, 2010, pp. 1-6.
11. Y. Tan, M. Vuran, and S. Goddard, "Spatio-temporal event model for cyber-physical systems," in Proc. IEEE ICDCS Workshops, 2009, pp. 44-50.
12. J. Lin, S. Sedigh, and A. Miller, "Modeling cyber-physical systems with semantic agents," in Proc. IEEE COMPSACW, 2010, pp. 13-18.
13. Y. Tan et al., "A concept lattice-based event model for cyber-physical systems," in Proc. ACM/IEEE ICCPS, 2010, pp. 50-60.
14. P. Derler, E. A. Lee, and A. S. Vincentelli, "Modeling cyber-physical systems," Proc. IEEE, vol. 100, no. 1, pp. 13-28, Jan. 2012.
15. J. Kim and D. Mosse, "Generic framework for design, modeling and simulation of cyber physical systems," ACM SIGBED Rev., vol. 5, no. 1, pp. 1-2, Jan. 2008.
16. C. Talcott, "Cyber-physical systems and events," in Software-Intensive Systems and New Computing Paradigms. Berlin, Germany: Springer-Verlag, 2008, pp. 101-115.
17. P. Vicaire, E. Hoque, Z. Xie, and J. A. Stankovic, "Bundle: A groupbased programming abstraction for cyber-physical systems," IEEE Trans. Ind. Informat., vol. 8, no. 2, pp. 379-392, May 2012.
18. J. Huang, F. Bastani, I.-L. Yen, and J.-J. Jeng, "Toward a smart cyberphysical space: A context-sensitive resource-explicit service model," in Proc. IEEE COMPSAC, 2009, vol. 2, pp. 122-127.
19. J. Lin et al., "A semantic agent framework for cyber-physical systems," in Semantic Agent Systems. Berlin, Germany: Springer-Verlag, 2011, pp. 189-213.
20. J. Sztipanovits et al., "Toward a science of cyber-physical system integration," Proc. IEEE, vol. 100, no. 1, pp. 29-44, Jan. 2012.
21. J. Eidson, E. A. Lee, S. Matic, S. A. Seshia, and J. Zou, "A timecentric model for cyber-physical applications," in Proc. ACES-MB, 2010, pp. 21-35.
22. R. West and G. Parmer, "A software architecture for next-generation cyber-physical systems," presented at the Position Paper NSF Cyber-Physical Systems Workshop, Austin, TX, USA, 2006.
23. A. Bhave, B. Krogh, D. Garlan, and B. Schmerl, "View consistency in architectures for cyber-physical systems," in Proc. IEEE/ACM ICCPS, 2011, pp. 151-160.
24. H. Abbas, G. Fainekos, S. Sankaranarayanan, and F. Ivancíc, "Probabilistic temporal logic falsification of cyber-physical systems," ACM Trans. Embedded Comput. Syst., vol. 12, no. 2, p. 95, May 2013.
25. L. Ma, J. Yao, M. Xu, T. Yuan, and M. Shao, "Net-in-Net: Interaction modeling for smart community cyber-physical system," in Proc. UIC/ATC, 2010, pp. 250-255.
26. M. Kim, M.-O. Stehr, and C. Talcott, "A distributed logic for networked cyber-physical systems," in Fundamentals of Software Engineering. Berlin, Germany: Springer-Verlag, 2012, pp. 190-205.
27. F. Fouquet et al., "A dynamic component model for cyber physical systems," in Proc. ACM SIGSOFT Symp. Compon. Based Softw. Eng., 2012, pp. 135-144.
28. B. Miller, F. Vahid, and T. Givargis, "Application-specific codesign platform generation for digital mockups in cyber-physical systems," in Proc. ESLsyn, 2011, pp. 1-6.
29. Y. Tan, S. Goddard, and L. Perez, "A prototype architecture for cyberphysical systems," ACM SIGBED Rev., vol. 5, no. 1, pp. 1-2, Jan. 2008.
30. M. Gavrilescu, G. Magureanu, D. Pescaru, and A. Doboli, "Accurate modeling of physical time in asynchronous embedded sensing networks," in Proc. SISY, 2010, pp. 477-482.
31. A. Sangiovanni-Vincentelli, W. Damm, and R. Passerone, "Taming Dr. Frankenstein: Contract-based design for cyber-physical systems," Eur. J. Control, vol. 18, no. 3, pp. 217-238, 2012.
32. M. Sveda and R. Vrba, "A cyber-physical system design approach," in Proc. ICONS, 2011, pp. 12-18.
33. G. Magureanu, G. Gavrilescu, D. Pescaru, and A. Doboli, "Towards UML modeling of cyber-physical systems: A case study for gas distribution," in Proc. SISY, 2010, pp. 471-476.
34. L. Zhang and J. He, "A formal framework for aspect-oriented specification of cyber physical systems," in Convergence and Hybrid Information Technology. Berlin, Germany: Springer-Verlag, 2011, pp. 391-398.
35. Y. Liu, "Toward a unified object model for cyber-physical systems," in Proc. Workshop Softw. Eng. Sensor Netw. Appl., 2011, pp. 65-66.
36. T. Paul, J. W. Kimball, M. Zawodniok, T. P. Roth, and B. McMillin, "Invariants as a unified knowledge model for cyber-physical systems," in Proc. IEEE SOCA, 2011, pp. 1-8.
37. N. Saeedloei, "Logic programming foundations of cyber-physical systems," in Proc. Tech. Commun. 26th Int. Conf. Logic Programm., 2010, vol. 7, pp. 289-293.
38. A. Benveniste, "Loosely time-triggered architectures for cyber-physical systems," in Proc. Conf. Des., Autom. Test Europe, 2010, pp. 3-8.
39. L. Sha and J. Meseguer, "Design of complex cyber physical systems with formalized architectural patterns," in Software-Intensive Systems and New Computing Paradigms. Berlin, Germany: Springer-Verlag, 2008, pp. 92-100.
40. A. Dabholkar and A. Gokhale, "An approach to middleware specialization for cyber physical systems," in Proc. ICDCS Workshops, 2009, pp. 73-79.
41. H. Zhuge, "Semantic linking through spaces for cyber-physical-socio intelligence: A methodology," Artif. Intell., vol. 175, no. 5/6, pp. 988-1019, Apr. 2011.
42. J. Jensen, D. H. Chang, and E. A. Lee, "A model-based design methodology for cyber-physical systems," in Proc. IWCMC, 2011, pp. 1666-1671.
43. L. Kong, D. Jiang, and M.-Y. Wu, "Optimizing the spatio-temporal distribution of cyber-physical systems for environment abstraction," in Proc. IEEE ICDCS, 2010, pp. 179-188.
44. A. Rajhans et al., "An architectural approach to the design and analysis of cyber-physical systems," Electron. Commun. EASST, vol. 21, 2009.
45. H. Ahmadi, T. Abdelzaher, J. Han, N. Pham, and R. K. Ganti, "The sparse regression cube: A reliable modeling technique for open cyberphysical systems," in Proc. IEEE/ACM ICCPS, 2011, pp. 87-96.
46. M. Kim et al., "A semantic framework for reconfiguration of instrumented cyber physical spaces," presented at the Workshop Event-Based Semantics, CPS Week, St. Louis, MO, USA, 2008.
47. K. Fujinami, T. Yamabe, and T. Nakajima, "Take me with you!: A case study of context-Aware application integrating cyber and physical spaces," in Proc. ACM Symp. Appl. Comput., 2004, pp. 1607-1614.
48. J. Sztipanovits, "Model integration and cyber physical systems: A semantics perspective," in Proc. Int. Conf. Formal Methods, 2011, p. 1.
49. H. Yan, J. F. Wan, and H. Suo, "Adaptive resource management for cyber-physical systems," Appl.Mech. Mater., vol. 157/158, pp. 747-751, Feb. 2012.
50. A. Bhave, B. Krogh, D. Garlan, and B. Schmerl, "Multi-domain modeling of cyber-physical systems using architectural views," in Proc. AVICPS, San Diego, CA, USA, 2010, p. 43.
51. K. Yue, L.Wang, S. Ren, X. Mao, and X. Li, "An adaptive discrete event model for cyber-physical system," in Proc. Anal. Virtual Integr. Cyber-Phys. Syst. Workshop, 2010, pp. 9-15.
52. D. D. Hoang, H.-Y. Paik, and C.-K. Kim, "Service-oriented middleware architectures for cyber-physical systems," Int. J. Comput. Sci. Netw. Security, vol. 12, no. 1, pp. 79-87, Jan. 2012.
53. A. Rowe and R. Rajkumar, "A model-based design approach for wireless sensor-Actuator networks," in Proc. AVICPS, 2010, pp. 1-8.
54. G. Bhatia, K. Lakshmanan, and R. Rajkumar, "An end-to-end integration framework for automotive cyber-physical systems using sysweaver," in Proc. AVICPS, 2010, p. 23.
55. R. Balani et al., "Programming support for distributed optimization and control in cyber-physical systems," in Proc. IEEE/ACM ICCPS, 2011, pp. 109-118.
56. S. Jha, S. Gulwani, S. A. Seshia, and A. Tiwari, "Synthesizing switching logic for safety and dwell-time requirements," in Proc. IEEE/ACM ICCPS, 2010, pp. 22-31.
57. D. Goswami, R. Schneider, and S. Chakraborty, "Co-design of cyberphysical systems via controllers with flexible delay constraints," in Proc. ASPDAC, 2011, pp. 225-230.
58. D. Cofer et al., "Complexity-reducing design patterns for cyber-physical systems," Air Force Res. Lab., Wright-Patterson Air Force Base, OH, USA, Tech. Rep. AFRL-RZ-WP-TR-2011-2098, 2011.
59. N. Saeedloei, "Modeling and verification of real-time and cyber-physical systems," Ph.D. dissertation, Univ. Texas Dallas, Richardson, TX, USA, 2011.
60. P. Anders, "Cybrid principles: Guidelines for merging physical and cyber spaces," Int. J. Architectural Comput., vol. 3, no. 3, pp. 391-406, Nov. 2005.
61. M. Bujorianu, M. Bujorianu, and H. Barringer, "A formal framework for user-centric control of multi-Agent cyber-physical systems," in Computational Logic in Multi-Agent Systems. Berlin, Germany: Springer-Verlag, 2009.
62. K. Willcox, D. Allaire, J. Deyst, C. He, and G. Sondecker, "Stochastic process decision methods for complex-cyber-physical systems," Defense Tech. Inf. Center (DTIC), Fort Belvoir, VA, USA, Tech. Rep., 2011.
63. A. LaViers, M. Egerstedt, Y. Chen, and C. Belta, "Automatic generation of balletic motions," in Proc. IEEE/ACM ICCPS, 2011, pp. 13-21.
64. C. Hang, P. Manolios, andV. Papavasileiou, "Synthesizing cyber-physical architectural models with real-time constraints," in Computer Aided Verification. Berlin, Germany: Springer-Verlag, 2011, pp. 441-456.
65. S. Park, J. Park, and Y. Jeong, "An efficient dynamic integration middleware for cyber-physical systems in mobile environments," Mobile Netw. Appl., vol. 18, no. 1, pp. 110-115, Feb. 2013.
66. D. Broman, E. Lee, S. Tripakis, and M. Törngren, "Viewpoints, formalisms, languages, and tools for cyber-physical systems," in Proc. 6th Int. Workshop Multi-Paradigm Modeling, 2012, pp. 49-54.
67. I. Calvo et al., "Towards an infrastructure model for composing and reconfiguring cyber-physical systems," in Ubiquitous Computing and Ambient Intelligence. Berlin, Germany: Springer-Verlag, 2012, pp. 282-289.
68. A. Noguero, I. Calvo, and L. Almeida, "A time-triggered middleware architecture for ubiquitous cyber physical system applications," in Ubiquitous Computing and Ambient Intelligence. Berlin, Germany: Springer-Verlag, 2012, pp. 73-80.
69. S. Owre, I. Saha, and N. Shankar, "Automatic dimensional analysis of cyber-physical systems," in FM 2012: Formal Methods, vol. 7436, D. Giannakopoulou and D. Méry, Eds. Berlin, Germany: Springer-Verlag, 2012, ser. Lecture Notes in Computer Science, pp. 356-371.
70. L. Tang et al., "Multidimensional sensor data analysis in cyber-physical system: An atypical cube approach," Int. J. Distrib. Sensor Netw., vol. 2012, pp. 724846-1-724846-19, 2012.
71. E. Lee, "CPS foundations," in Proc. DAC, 2010, pp. 737-742.
72. K. Wan, D. Hughes, K. Man, and T. Krilavicius, "Composition challenges and approaches for cyber physical systems," in Proc. IEEE Int. Conf. NESEA, 2010, pp. 1-7.
73. A. Ehyaei, E. Tovar, N. Pereira, and B. Andersson, "Scalable data acquisition for densely instrumented cyber-physical systems," in Proc. IEEE/ACM ICCPS, 2011, pp. 174-183.
74. F. Zhang, Z. Shi, and W. Wolf, "A dynamic battery model for co-design in cyber-physical systems," in Proc. IEEE Int. Conf. Distrib. Comput. Syst. Workshops, 2009, pp. 51-56.
75. P. Bogdan and R. Marculescu, "Towards a science of cyber-physical systems design," in Proc. IEEE/ACM ICCPS, 2011, pp. 99-108.
76. J. Wei and D. Kundur, "A flocking-based model for DoS-resilient communication routing in smart grid," in Proc. IEEE GLOBECOM, 2012, pp. 3519-3524.
77. M. C. Bujorianu and H. Barringer, "An integrated specification logic for cyber-physical systems," in Proc. IEEE Int. Conf. Eng. Complex Comput. Syst., 2009, pp. 291-300.
78. E. A. Lee, S. Neuendorffer, andW. J.Wirthlin, "Actor-oriented design of embedded hardware and software systems," J. Circuits, Syst., Comput., vol. 12, no. 3, pp. 231-260, 2003.
79. S. Phatak, D. J. McCune, and G. Saikalis, "Cyber physical system: A virtual CPU based mechatronic simulation," in Proc. IFAC Mechatron. Syst., 2010, pp. 405-410.
80. G. Quan, "An integrated simulation environment for cyber-physical system co-simulation," presented at the National Workshop High-Confidence Automotive Cyber-Physical Systems, Troy, MI, USA, 2008.
81. J. Lin, S. Sedigh, and A. Miller, "Integrated cyber-physical simulation of intelligent water distribution networks," in Matlab/Book2, E. P. Leite, Ed. Rijeka, Croatia: Intech, 2011.
82. D. Henriksson and H. Elmqvist, "Cyber-physical systems modeling and simulation with Modelica," in Proc. 8th Int. Modelica Conf., 2011, pp. 502-509.
83. M. Gavrilescu, G. Magureanu, D. Pescaru, and A. Doboli, "A simulation framework for PSoC based cyber physical systems," in Proc. ICCCCONTI, 2010, pp. 137-142.
84. S. Jha and G. Sukthankar, "Modeling and verifying intelligent automotive cyber-physical systems," in Proc. NIST/NSF/USCAR Workshop Develop. Dependable Secure Autom. Cyber-Phys. Syst. Compon., Troy, MI, USA, 2011.
85. V. Singh and R. Jain, "Situation based control for cyber-physical environments," in Proc. Mil. Commun. Conf., 2009, pp. 1-7.
86. Y. Zhu et al., "Mathematical equations as executable models of mechanical systems," in Proc. IEEE/ACM ICCPS, 2010, pp. 1-11.
87. W. Yan et al., "Integrated simulation and emulation platform for cyberphysical system security experimentation," in Proc. ACM HiCoNS, 2012, pp. 81-88.
88. T. Hnat, T. I. Sookoor, P. Hooimeijer, W. Weimer, and K. Whitehouse, "MacroLab: A vector-based macroprogramming framework for cyberphysical systems," in Proc. ACM Conf. Embedded Netw. Sensor Syst., 2008, pp. 225-238.
89. P. Roy, P. Tabuada, and R. Majumdar, "Pessoa 2.0: A controller synthesis tool for cyber-physical systems," in Proc. Int. Conf. Hybrid Syst., Comput. Control, 2011, pp. 315-316.
90. P. Martin and M. Egerstedt, "Hybrid systems tools for compiling controllers for cyber-physical systems," Discr. Event Dyn. Syst., vol. 22, no. 1, pp. 101-119, Mar. 2012.
91. R. Thacker, K. R. Jones, C. J. Myers, and H. Zheng, "Automatic abstraction for verification of cyber-physical systems," in Proc. IEEE/ACM ICCPS, 2010, pp. 12-21.
92. Y. Sun, B. McMillin, X. F. Liu, and D. Cape, "Verifying noninterference in a cyber-physical system the advanced electric power grid," in Proc. QSIC, 2007, pp. 363-369.
93. P. Kumar et al., "A hybrid approach to cyber-physical systems verification," in Proc. ACM/EDAC/IEEE DAC, 2012, pp. 688-696.
94. P. Manolios and V. Papavasileiou, "Virtual integration of cyber-physical systems by verification," in Proc. AVICPS, 2010, p. 65.
95. M. Pajic, Z. Jhing, I. Lee, O. Sokolsky, and R. Mangharam, "From verification to implementation: A model translation tool and a pacemaker case study," in Proc. RTAS, 2012, pp. 173-184.
96. B. McMillin and R. Akella, "Verification of information flow properties in cyber-physical systems," in Proc. Workshop FDSCPS, 2011, p. 37.
97. S. Bak, K. Manamcheri, S. Mitra, and M. Caccamo, "Sandboxing controllers for cyber-physical systems," in Proc. IEEE/ACM ICCPS, 2011, pp. 3-12.
98. A. Cardenas et al., "Challenges for securing cyber physical systems," presented at the Workshop Future Directions Cyber-physical Systems Security, Newark, NJ, USA, 2009.
99. T. Gamage, B. M. McMillin, and T. P. Roth, "Enforcing information flow security properties in cyber-physical systems: A generalized framework based on compensation," in Proc. IEEE COMPSACW, 2010, pp. 158-163.
100. M. Anand et al., "Security challenges in next generation cyber physical systems," in Proc. Beyond SCADA, Netw. Embedded Control Cyber Phys. Syst., 2006, pp. 347-356.
101. Y. Mo et al., "Cyber-physical security of a smart grid infrastructure," Proc. IEEE, vol. 100, no. 1, pp. 195-209, Jan. 2012.
102. M. Sun, S. Mohan, L. Sha, and C. Gunter, "Addressing safety and security contradictions in cyber-physical systems," in Proc. CPSSW, 2009, pp. 1-5.
103. C. Zimmer, B. Bhat, F. Mueller, and S. Mohan, "Time-based intrusion detection in cyber-physical systems," in Proc. IEEE/ACM ICCPS, 2010, pp. 109-118, ACM.
104. A. Banerjee, K. K. Venkatasubramanian, T. Mukherjee, and S. K. S. Gupta, "Ensuring safety, security, and sustainability of mission-critical cyber-physical systems," Proc. IEEE, vol. 100, no. 1, pp. 283-299, Jan. 2012.
105. N. Gaddam et al., "Securing physical processes against cyber attacks in cyber-physical systems," in Proc. Nat. Workshop Res. High-Confidence Transp. Cyber-Phys. Systems, Autom., Aviation Rail, 2008, pp. 1-3.
106. B. Genge and C. Siaterlis, "Developing cyber-physical experimental capabilities for the security analysis of the future smart grid," in Proc. IEEE PES ISGT Europe, 2011, pp. 1-7.
107. P. Barsocchi, S. Chessa, I. Martinovic, and G. Oligeri, "A cyber-physical approach to secret key generation in smart environments," J. Ambient Intell. Hum. Comput., vol. 4, no. 1, pp. 1-16, Feb. 2011.
108. L. Tang et al., "Intrumine: Mining intruders in untrustworthy data of cyber-physical systems," in Proc. SDM, 2012, pp. 600-611.
109. B. Qureshi, G. Min, and D. Kouvatsos, "M-Trust: A trust management scheme for mobile P2P networks," in Proc. IEEE/IFIP Int. Conf. Embedded Ubiquitous Comput., 2010, pp. 476-483.
110. R. Chow, E. Uzun, A. A. Cárdenas, Z. Song, and S. Lee, "Enhancing cyber-physical security through data patterns," in Proc. FDSCPS, 2011, pp. 25-30.
111. M. Burmester, E. Magkos, and V. Chrissikopoulos, "Modeling security in cyber-physical systems," Int. J. Critical Infrastr. Protection, vol. 5, no. 3/4, pp. 118-126, Dec. 2012.
112. O. Al Ibrahim and S. Nair, "Cyber-physical security using system-level PUFs," in Proc. IWCMC, 2011, pp. 1672-1676.
113. A. Cardenas, S. Amin, and S. Sastry, "Secure control: Towards survivable cyber-physical systems," in Proc. ICDCS, 2008, pp. 495-500.
114. D. Halperin, T. Kohno, T. S. Heydt-Benjamin, K. Fu, and W. H. Maisel, "Security and privacy for implantable medical devices," IEEE Pervasive Comput., vol. 7, no. 1, pp. 30-39, Jan.-Mar. 2008.
115. Z. Xu et al., "A certificateless signature scheme for mobile wireless cyber-physical systems," in Proc. ICDCS, 2008, pp. 489-494.
116. F. Pasqualetti, F. Dörfler, and F. Bullo, "Cyber-physical attacks in power networks:Models, fundamental limitations andmonitor design," in Proc. CDC-ECC, 2011, pp. 2195-2201.
117. H. Tang and B. M. McMillin, "Security property violation in CPS through timing," in Proc. ICDCS, 2008, pp. 519-524.
118. C. Ten, C.-C. Liu, and G. Manimaran, "Vulnerability assessment of cybersecurity for SCADA systems," IEEE Trans. Power Syst., vol. 23, no. 4, pp. 1836-1846, Nov. 2008.
119. B. Genge, I. N. Fovino, C. Siaterlis, and M. Masera, "Analyzing cyberphysical attacks on networked industrial control systems," in Critical Infrastructure Protection V. Berlin, Germany: Springer-Verlag, 2011, pp. 167-183.
120. Y. Chen, J.-S. Shin, and S.-T. Cheng, "A cyber-physical integrated security framework with fuzzy logic assessment for cultural heritages," in Proc. IEEE Int. Conf. Systems, Man, Cybern., 2011, pp. 1843-1847.
121. C. Neuman and K. Tan, "Mediating cyber and physical threat propagation in secure smart grid architectures," in Proc. IEEE SmartGridComm, 2011, pp. 238-243.
122. O. Kosut, L. Jia, R. J. Thomas, and L. Tong, "On malicious data attacks on power system state estimation," in Proc. UPEC, 2010, pp. 1-6.
123. M. Kirkpatrick, E. Bertino, and F. Sheldon, "Restricted authentication and encryption for cyber-physical systems," in Proc. DHS CPSWorkshop Restricted Authentication Encrypt. Cyber Phys. Syst., 2009, pp. 1-4.
124. H. Zhao and X. Li, "VectorTrust: Trust vector aggregation scheme for trust management in peer-to-peer networks," in Proc. Int. Conf. Comput. Commun. Netw., 2009, pp. 1-6.
125. S. Bhattacharya, A. Khanafer, and T. Basar, "Resource allocation problems in networked cyber physical systems in adversarial scenarios," in Proc. Workshop FDSCPS, 2011, p. 18.
126. Q. Zhu and T. Basar, "Towards a unifying security framework for cyberphysical systems," in Proc. Workshop Found. Dependable Secure Cyber-Phys. Syst., 2011, pp. 47-50.
127. B. Genge, C. Siaterlis, I. N. Fovino, and M. Masera, "A cyber-physical experimentation environment for the security analysis of networked industrial control systems," Comput. Elect. Eng., vol. 38, no. 5, pp. 1146-1161, Sep. 2012.
128. Z. Mohajerani et al., "Cyber-related risk assessment and critical asset identification within the power grid," in Proc. IEEE PES Transmiss. Distrib. Conf. Expo., 2010, pp. 1-4.
129. O. Kosut, L. Jia, R. J. Thomas, and L. Tong, "Malicious data attacks on the smart grid," IEEE Trans. Smart Grid, vol. 2, no. 4, pp. 645-658, Dec. 2011.
130. H.Woo et al., "Design and development methodology for resilient cyberphysical systems," in Proc. ICDCS, 2008, pp. 525-528.
131. A. Giani, S. Sastry, K. Johansson, and H. Sandberg, "The VIKING project: An initiative on resilient control of power networks," in Proc. Int. Symp. Resilient Control Syst., 2009, pp. 31-35.
132. N. Kottenstette, G. Karsai, and J. Sztipanovits, "A passivity-based framework for resilient cyber physical systems," in Proc. ISRCS, 2009, pp. 43-50.
133. K. Xiao, S. Ren, and K. Kwiat, "Retrofitting cyber physical systems for survivability through external coordination," in Proc. Hawaii Int. Conf. Syst. Sci., 2008, pp. 465-465.
134. B. Andersson, N. Pereira, and E. Tovar, "How a cyber-physical system can efficiently obtain a snapshot of physical information even in the presence of sensor faults," in Proc. Int. Workshop Intell. Sol. Embedded Syst., 2008, pp. 1-10.
135. N. Rao, D. Yau, and C. Ma, "On robustness of cyber-physical network infrastructure," in Proc. Workshop Des., Modeling Eval. Cyber Phys. Syst., Istanbul, Turkey, 2011.
136. B. Bonakdarpour, Y. Lin, and S. Kulkarni, "Automated addition of fault recovery to cyber-physical component-based models," in Proc. Int. Conf. EMSOFT, 2011, pp. 127-136, IEEE.
137. F. Abad, M. Caccamo, and B. Robbins, "A fault resilient architecture for distributed cyber-physical systems," in Proc. IEEE Int. Conf. Embedded RTCSA, 2012, pp. 222-231.
138. Q. Zhu and T. Basar, "Robust and resilient control design for cyberphysical systems with an application to power systems," in Proc. IEEE CDC-ECC, 2011, pp. 4066-4071.
139. S. Abdelwahed, N. Kandasamy, and A. Gokhale, "High confidence software for cyber-physical systems," in Proc.Workshop Autom. Serv. Qual., Int. Conf. ASE, 2007, pp. 1-3.
140. C. Singh and A. Sprintson, "Reliability assurance of cyber-physical power systems," in Proc. IEEE PES GM, 2010, pp. 1-6.
141. L. Tang et al., "Tru-Alarm: Trustworthiness analysis of sensor networks in cyber-physical systems," in Proc. IEEE ICDM, 2010, pp. 1079-1084.
142. K. Wan and V. Alagar, "Dependable context-sensitive services in cyber physical systems," in Proc. IEEE TrustCom, 2011, pp. 687-694.
143. A. Faza, S. Sedigh, and B. McMillin, "Integrated cyber-physical fault injection for reliability analysis of the smart grid," in Computer Safety, Reliability, and Security. Berlin, Germany: Springer-Verlag, 2010, pp. 277-290.
144. H. Ahmadi and T. Abdelzaher, "An adaptive-reliability cyber-physical transport protocol for spatio-temporal data," in Proc. 30th IEEE RTSS, 2009, pp. 238-247.
145. T. Crenshaw, E. Gunter, C. L. Robinson, L. Sha, and P. R. Kumar, "The simplex reference model: Limiting fault-propagation due to unreliable components in cyber-physical system architectures," in Proc. IEEE Int. Real-Time Syst. Symp., 2007, pp. 400-412.
146. R. Akella and B.McMillin, "Model-checking BNDC properties in cyberphysical systems," in Proc. IEEE Int. Comput. Softw. Appl. Conf., 2009, vol. 1, pp. 660-663.
147. P. Wang, Y. Xiang, and S. Zhang, "A novel reliability assurance method for cyberphysical system components substitution," Int. J. Distrib. Sensor Netw., vol. 2012, pp. 242654-1-242654-11, 2012.
148. F. Xia, L. Ma, J. Dong, and Y. Sun, "Network QoS management in cyberphysical systems," in Proc. ICESS Symp., 2008, pp. 302-307.
149. J. Balasubramanian et al., A Model-Driven QoS Provisioning Engine for Cyber Physical Systems, 2010.
150. F. Xia, W. Zhao, Y. Sun, and Y.-C. Tian, "Fuzzy logic control based QoS management in wireless sensor/actuator networks," Sensors, vol. 7, no. 12, pp. 3179-3191, Dec. 2007.
151. S. Mittal, Z. Zhang, and Y. Cao, "CASHIER: A cache energy saving technique for QoS systems," Proc. IEEE VLSID, pp. 43-48, 2013.
152. S. Gupta, S. Mittal, and S. Dasgupta, "Guaranteed QoS with MIMO systems for scalable low motion video streaming over scarce resource wireless channels," in Proc. Int. Conf. Inf. Process., 2008, pp. 452-456, IK International Pvt Ltd.
153. F. Xia, X. Kong, and Z. Xu, "Cyber-physical control over wireless sensor and actuator networks with packet loss," in Wireless Networking Based Control. New York, NY, USA: Springer-Verlag, 2010, pp. 85-102.
154. K. Kang and S. Son, "Real-time data services for cyber physical systems," in Proc. ICDCS, 2008, pp. 483-488.
155. K. Lin and M. Panahi, "A real-time service-oriented framework to support sustainable cyber-physical systems," in Proc. IEEE INDIN, 2010, pp. 15-21.
156. Y. Zhang, C. Gill, and C. Lu, "Reconfigurable real-time middleware for distributed cyber-physical systems with aperiodic events," in Proc. 28th ICDCS, 2008, pp. 581-588.
157. H. Huang et al., "Cyber-physical systems for real-time hybrid structural testing: A case study," in Proc. ACM/IEEE Int. Conf. Cyber-Phys. Syst., 2010, pp. 69-78.
158. W. Kang, K. Kapitanova, and S. H. Son, "RDDS: A real-time data distribution service for cyber-physical systems," IEEE Trans. Ind. Informat., vol. 8, no. 2, pp. 393-405, May 2012.
159. A. Wagh, J. Wan, C. Qiao, and C. Wu, "Human centric data fusion in vehicular cyber-physical systems," in Proc. IEEE INFOCOM WKSHPS, 2011, pp. 684-689.
160. J. Yuan, Y. Zheng, X. Xie, and G. Sun, "Driving with knowledge from the physical world," in Proc. ACM SIGKDD Int. Conf. Mining, 2011, pp. 316-324.
161. S. Loos, A. Platzer, and L. Nistor, "Adaptive cruise control: Hybrid, distributed, and now formally verified," in Proc. FM, 2011, pp. 42-56.
162. S. Smaldone, C. Tonde, V. K. Ananthanarayanan, A. Elgammal, and L. Iftode, "The cyber-physical bike: A step towards safer green transportation," in Proc. Workshop Mobile Comput. Syst. Appl., 2011, pp. 56-61.
163. J. Lau, C. Tham, and T. Luo, "Participatory cyber physical system in public transport application," in Proc. IEEE Int. Conf. UCC, 2011, pp. 355-360.
164. Q. Li and R. Negi, "Distributed scheduling in cyber-physical systems: The case of coordinated electric vehicle charging," in Proc. IEEE GC Wkshps, 2011, pp. 1183-1187, IEEE.
165. C. Tricaud and Y. Chen, "Optimal trajectories of mobile remote sensors for parameter estimation in distributed cyber-physical systems," in Proc. ACC, 2010, pp. 3211-3216.
166. J. Singh and O. Hussain, "Cyber-physical systems as an enabler for next generation applications," in Proc. Int. Conf. NBiS, 2012, pp. 417-422.
167. Y. Ge, Y. Dong, and H. Zhao, "A cyber-physical energy system architecture for electric vehicles charging application," in Proc. QSIC, 2012, pp. 246-250.
168. B. Syed, A. Pal, K. Srinivasarengan, and P. Balamuralidhar, "A smart transport application of cyber-physical systems: Road surface monitoring with mobile devices," in Proc. ICST, 2012, pp. 8-12.
169. J. Goldman, R. A. Schrenker, J. L. Jackson, and S. F. Whitehead, "Plugand-play in the operating room of the future," Biomed Instrum Technol., vol. 39, no. 3, pp. 194-199, May/Jun. 2005.
170. I. Lee and O. Sokolsky, "Medical cyber physical systems," in Proc. ACM/IEEE DAC, 2010, pp. 743-748.
171. A. Cheng, "Cyber-physical medical and medication systems," in Proc. ICDCS, 2008, pp. 529-532.
172. I. Lee et al., "Challenges and research directions in medical cyber-physical systems," Proc. IEEE, vol. 100, no. 1, pp. 75-90, Jan. 2012.
173. Z. Jiang, M. Pajic, and R. Mangharam, "Cyber-physical modeling of implantable cardiac medical devices," Proc. IEEE, vol. 100, no. 1, pp. 122-137, Jan. 2012.
174. E. Yeniaras, J. Lamaury, Z. Deng, and N. V. Tsekos, "Towards a new cyber-physical system for MRI-guided and robot-Assisted cardiac procedures," in Proc. IEEE ITAB, 2010, pp. 1-5.
175. Y. Zhang, I.-L. Yen, F. B. Bastani, A. T. Tai, and S. Chau, "Optimal adaptive system health monitoring and diagnosis for resource constrained cyber-physical systems," in ISSRE, 2009, pp. 51-60.
176. K.Wan, K. L. Man, and D. Hughes, "Specification, analyzing challenges and approaches for Cyber-Physical Systems (CPS)," Eng. Lett., vol. 18, no. 3, pp. 308-316, Sep. 2010.
177. A. Banerjee, S. Kandula, T. Mukherjee, and S. K. S. Gupta, "BANDAiDe: A tool for cyber-physical oriented analysis and design of body area networks and devices," ACM Trans. Embedded Comput. Syst., vol. 11, no. S2, p. 49, Aug. 2012.
178. H. Huang et al., "Integrating neuromuscular and cyber systems for neural control of artificial legs," in Proc. ACM/IEEE ICCPS, 2010, pp. 129-138.
179. K. Venkatasubramanian, S. Nabar, S. K. S. Gupta, and R. Poovendran, Cyber Physical Security Solutions for Pervasive Health Monitoring Systems. Hershey, PA, USA: IGI Global, 2011.
180. P. Bogdan, S. Jain, K. Goyal, and R. Marculescu, "Implantable pacemakers control and optimization via fractional calculus approaches: A cyber-physical systems perspective," in Proc. IEEE/ACM ICCPS, 2012, pp. 23-32.
181. J. Hatcliff et al., "Rationale and architecture principles for medical application platforms," in Proc. IEEE/ACM ICCPS, 2012, pp. 3-12.
182. J. Kleissl and Y. Agarwal, "Cyber-physical energy systems: Focus on smart buildings," in Proc. ACM/IEEE DAC, 2010, pp. 749-754.
183. C. Lai, Y.-W. Ma, S.-Y. Chang, H.-C. Chao, and Y.-M. Huang, "OSGibased services architecture for Cyber-Physical Home Control Systems," Comput. Commun., vol. 34, no. 2, pp. 184-191, Feb. 2011.
184. C. Anumba, A. Akanmu, and J.Messner, "Towards a cyber-physical systems approach to construction," in Proc. Construct. Res. Congr., 2010, pp. 528-538.
185. G. Hackmann, W. Guo, G. Yan, C. Lu, and S. Dyke, "Cyber-physical codesign of distributed structural health monitoring with wireless sensor networks," in Proc. ACM/IEEE ICCPS, 2010, pp. 119-128.
186. X. Li, X. Liang, X. Shen, J. Chen, and X. Lin, "Smart community: An Internet of things application," IEEE Commun. Mag., vol. 49, no. 11, pp. 68-75, Nov. 2011.
187. F. Xia and J. Ma, "Building smart communities with cyber-physical systems," in Proc. Int. Symp. Digit. Footprints Social Community Intell., 2011, pp. 1-6.
188. W. Wu, M. K. Aziz, H. Huang, H. Yu, and H. B. Gooi, "A real-time cyber-physical energy management system for smart houses," in Proc. ISGT IEEE PES, 2011, pp. 1-8.
189. A. Savvides et al., "Cyber-physical systems for next generation intelligent buildings," in Proc. WiP Session ICCPS, 2011, pp. 35-38.
190. S. Park, T. Do, Y. Jeong, and S. Kim, "A dynamic control middleware for cyber physical systems on an IPv6-based global network," Int. J. Commun. Syst., vol. 26, no. 6, pp. 690-704, Jun. 2013.
191. W. Shein, Y. Tan, and A. Lim, "PID controller for temperature control with multiple actuators in cyber-physical home system," in Proc. 15th Int. Conf. NBiS, 2012, pp. 423-428.
192. Z. Bai and X. Huang, "Design and implementation of a cyber physical system for building smart living spaces," Int. J. Distrib. Sensor Netw., vol. 2012, pp. 764186-1-764186-9, 2012.
193. Z. Wang et al., "Networked loads in the distribution grid," in Proc. APSIPA ASC, 2012, pp. 1-7.
194. M. Simoes and S. Bhattarai, "Improving energy efficiency of cyber physical systems using multi-Agent based control," in Proc. IEEE IAS Annu. Meet., 2012, pp. 1-7.
195. S. Lim, L. Chung, O. Han, and J. Kim, "An interactive cyber-physical system (CPS) for people with disability and frail elderly people," in Proc. 5th Int. Conf. Ubiquitous Inf. Manage. Commun., 2011, p. 113.
196. F. Wu, F. I Chu, and Y.-C. Tseng, "Cyber-physical handshake," ACM SIGCOMM Comput. Commun. Rev., vol. 41, no. 4, pp. 472-473, Aug. 2011.
197. E. Miluzzo et al., "Sensing meets mobile social networks: The design, implementation and evaluation of the CenceMe application," in Proc. ACM Conf. Embedded Netw. Sensor Syst., 2008, pp. 337-350.
198. M. Chiu et al., "Playful bottle: A mobile social persuasion system to motivate healthy water intake," in Proc. Int. Conf. Ubiquitous Comput., 2009, pp. 185-194.
199. C. Wu, Y.-T. Chang, and Y.-C. Tseng, "Multi-screen cyber-physical video game: An integration with body-Area inertial sensor networks," in Proc. IEEE PERCOM Workshops, 2010, pp. 832-834.
200. F. Wu, C.-S. Huang, and Y.-C. Tseng, "My Tai-Chi book: A virtual-physical social network platform," in Proc. ACM/IEEE Int. Conf. Inf. Process. Sensor Netw., 2010, pp. 428-429.
201. X. Yu, A. Pan, L.-A. Tang, Z. Li, and J. Han, "Geo-friends recommendation in GPS-based cyber-physical social network," in Proc. ASONAM, 2011, pp. 361-368.
202. W. Wu et al., "I'm the Jedi!-A case study of user experience in 3D tele-immersive gaming," in Proc. IEEE ISM, 2010, pp. 220-227.
203. F. Zhang, K. Szwaykowska, W. Wolf, and V. Mooney, "Task scheduling for control oriented requirements for cyber-physical systems," in Proc. Real-Time Syst. Symp., 2008, pp. 47-56.
204. Q. Tang, S. Gupta, and G. Varsamopoulos, "A unified methodology for scheduling in distributed cyber-physical systems," ACM Trans. Embedded Comput. Syst., vol. 11, no. S2, p. 57, Aug. 2012.
205. T. Tidwell, R. Glaubius, C. D. Gill, and W. D. Smart, "Optimizing expected time utility in cyber-physical systems schedulers," in Proc. IEEE RTSS, 2010, pp. 193-201.
206. J. Kim, K.-S. We, and C.-G. Lee, "HW Resource Componentizing for Addressing the Mega-complexity of Cyber-physical Systems," in Proc. IEEE RTCSA, 2011, vol. 2, pp. 61-66.
207. M. Shafique, L. Bauer,W. Ahmed, and J. Henkel, "Minority-game-based resource allocation for run-time reconfigurable multi-core processors," in Proc. DATE, 2011, pp. 1-6.
208. H. Qian, X. Huang, H. Yu, and C. H. Chang, "Cyber-physical thermal management of 3D multi-core cache-processor system with microfluidic cooling," J. Low Power Electron., vol. 7, no. 1, pp. 110-121, Feb. 2011.
209. P. Bogdan, R. Marculescu, S. Jain, and R. T. Gavila, "An optimal control approach to power management for multi-voltage and frequency islands multiprocessor platforms under highly variable workloads," in Proc. IEEE/ACM Int. Symp. NoCS, 2012, pp. 35-42.
210. R. David, P. Bogdan, and R. Marculescu, "Dynamic power management for multicores: Case study using the Intel SCC," in Proc. IEEE/IFIP Int. Conf. VLSI-SoC, 2012, pp. 147-152.
211. P. Bogdan and R. Marculescu, "Non-stationary traffic analysis and its implications on multicore platform design," IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol. 30, no. 4, pp. 508-519, Apr. 2011.
212. J.-Y. Ou and Y.-S. Chen, "QoS optimization for thermal-Aware cyberphysical systems," in Proc. ACM Symp. Res. Appl. Comput., 2011, pp. 13-19.
213. A. Barthels et al., "A model for sequence based power management in cyber physical systems," in Proc. Inf. Commun. Technol. Fight Against Global Warming, 2011, pp. 87-101.
214. P. Bogdan and R. Marculescu, "Statistical physics approaches for network-on-chip traffic characterization," in Proc. IEEE/ACM Int. Conf. Hardw./Softw. Codesign Syst. Synthesis, 2009, pp. 461-470.
215. D. Puschini, F. Clermidy, P. Benoit, G. Sassatelli, and L. Torres, "Dynamic and distributed frequency assignment for energy and latency constrained MP-SoC," in Proc. DATE, 2009, pp. 1564-1567.
216. L. Parolini, N. Tolia, B. Sinopoli, and B. H. Krogh, "A cyber-physical systems approach to energy management in data centers," in Proc. ACM/IEEE ICCPS, 2010, pp. 168-177.
217. L. Parolini, B. Sinopoli, B. H. Krogh, and Z. Wang, "A cyberphysical systems approach to data center modeling and control for energy efficiency," Proc. IEEE, vol. 100, no. 1, pp. 254-268, Jan. 2012.
218. L. Li et al., "Thermocast: A cyber-physical forecasting model for data centers," in Proc. KDD, 2011, vol. 11, pp. 1370-1378.
219. L. Rao, X. Liu, M. Ilic, and J. Liu, "MEC-IDC: Joint load balancing and power control for distributed Internet Data Centers," in Proc. ACM/IEEE ICCPS, 2010, pp. 188-197.
220. A. Banerjee, T. Mukherjee, G. Varsamopoulos, and S. K. S. Gupta, "Cooling-Aware and thermal-Aware workload placement for green HPC data centers," in Proc. Green Comput. Conf., 2010, pp. 245-256.
221. H. Chen, P. Xiong, A. Gavrilovska, K. Schwan, and C. Xu, "A cyberphysical integrated system for application performance and energy management in data centers," in Proc. IGCC, 2012, pp. 1-10.
222. L. Rao, X. Liu, L. Xie, and W. Liu, "Minimizing electricity cost: Optimization of distributed Internet data centers in a multi-electricity-market environment," in Proc. IEEE INFOCOM, 2010, pp. 1-9.
223. S. Craciunas et al., "Information-Acquisition-As-A-service for cyberphysical cloud computing," in Proc. USENIX Conf. Hot Topics Cloud Comput., 2010, p. 14.
224. S. Karnouskos, "Cyber-physical systems in the SmartGrid," in Proc. IEEE INDIN, 2011, pp. 20-23.
225. Y. Susuki et al., "A hybrid system approach to the analysis and design of power grid dynamic performance," Proc. IEEE, vol. 100, no. 1, pp. 225-239, Jan. 2012.
226. O. Yagan, D. Qian, J. Zhang, and D. Cochran, "On allocating interconnecting links against cascading failures in cyber-physical networks," in Proc. IEEE INFOCOM WKSHPS, 2011, pp. 930-935.
227. A. Saber and G. K. Venayagamoorthy, "Efficient utilization of renewable energy sources by gridable vehicles in cyber-physical energy systems," IEEE Syst. J., vol. 4, no. 3, pp. 285-294, Sep. 2010.
228. C. Macana, N. Quijano, and E. Mojica-Nava, "A survey on cyber physical energy systems and their applications on smart grids," in Proc. ISGT, 2011, pp. 1-7.
229. N. Hadjsaid, C. Tranchita, B. Rozel, M. Viziteu, and R. Caire, "Modeling cyber and physical interdependencies-Application in ICT and power grids," in Proc. IEEE/PES PSCE, 2009, pp. 1-6.
230. J. Zhao, F.Wen, Y. Xue, X. Li, and Z. Dong, "Cyber physical power systems: Architecture, implementation techniques and challenges," Dianli Xitong Zidonghua/Autom. Elect. Power Syst., vol. 34, no. 16, pp. 1-7, Aug. 2010.
231. I. Akkaya, Y. Liu, and I. Gorton, "Modeling and analysis of middleware design for streaming power grid applications," in Proc. Int. Middleware Conf. Ind. Track 13th ACM/IFIP/USENIX, 2012, p. 1.
232. C. Ramos, Z. Vale, and L. Faria, "Cyber-physical intelligence in the context of power systems," in Future Generation Information Technology. Berlin, Germany: Springer-Verlag, 2011, pp. 19-29.
233. G. Dondossola et al., "Critical Utility Infrastructural Resilience," arXiv preprint arXiv:1211.5736, 2012.
234. J. Hong, C.-C. Liu, and M. Govindarasu, "Integrated anomaly detection for cyber security of the substations," IEEE Trans. Smart Grid, 2014. [Online]. Available: http://ieeexplore.ieee.org/xpl/articleDetails.jsp? arnumber=6786500&pageNumber%3D126738
235. S. Sridhar, A. Hahn, and M. Govindarasu, "Cyber-physical system security for the electric power grid," Proc. IEEE, vol. 100, no. 1, pp. 210-224, Jan. 2012.
236. M. Li and W. Zhao, "Visiting power laws in cyber-physical networking systems," Math. Prob. Eng., vol. 2012, pp. 302786-1-302786-13, 2011.
237. M. Kim, M.-O. Stehr, J. Kim, and S. Ha, "An application framework for loosely coupled networked cyber-physical systems," in Proc. IEEE/IFIP Int. Conf. EUC, 2010, pp. 144-153.
238. R. Ganti, Y.-E. Tsai, and T. F. Abdelzaher, "Senseworld: Towards cyberphysical social networks," in Proc. IPSN, 2008, pp. 563-564.
239. G. Xing et al., "Toward ubiquitous video-based cyber-physical systems," in Proc. IEEE SMC, 2008, pp. 48-53.
240. J. Cao and H. Li, "Energy-efficient structuralized clustering for sensorbased cyber physical systems," in Proc. UIC-ATC, 2009, pp. 234-239.
241. H. Li, L. Lai, and H. V. Poor, "Multicast routing for decentralized control of cyber physical systems with an application in smart grid," IEEE J. Sel. Areas Commun., vol. 30, no. 6, pp. 1097-1107, Jul. 2012.
242. H. Ahmadi, T. F. Abdelzaher, and I. Gupta, "Congestion control for spatio-temporal data in cyber-physical systems," in Proc. IEEE/ACM ICCPS, 2010, pp. 89-98.
243. F. Wu, Y.-F. Kao, and Y.-C. Tseng, "From wireless sensor networks towards cyber physical systems," Pervasive Mobile Comput., vol. 7, no. 4, pp. 397-413, Aug. 2011.
244. C. Xue, G. Xing, Z. Yuan, Z. Shao, and E. Sha, "Joint sleep scheduling and mode assignment in wireless cyber-physical systems," in Proc. IEEE ICDCS Workshops, 2009, pp. 1-6.
245. O. Yagan, D. Qian, J. Zhang, and D. Cochran, "Optimal allocation of interconnecting links in cyber-physical systems: Interdependence, cascading failures, and robustness," IEEE Trans. Parallel Distrib. Syst., vol. 23, no. 9, pp. 1708-1720, Sep. 2012.
246. Z. Song, C. Sastry, N. Tas, and Y. Chen, "Feasibility analysis on optimal sensor selection in cyber-physical systems," in Proc. ACC, 2009, pp. 5368-5373.
247. F. Xia, Y.-C. Tian, Y. Li, and Y. Sung, "Wireless sensor/actuator network design for mobile control applications," Sensors, vol. 7, no. 10, pp. 2157-2173, Oct. 2007.
248. N. Ozay, U. Topcu, R. M. Murray, and T. Wongpiromsarn, "Distributed synthesis of control protocols for smart camera networks," in Proc. IEEE/ACM ICCPS, 2011, pp. 45-54.
249. J. Chen, R. Tan, G. Xing, X.Wang, and X. Fu, "Fidelity-Aware utilization control for cyber-physical surveillance systems," IEEE Trans. Parallel Distrib. Syst., vol. 23, no. 9, pp. 1739-1751, Sep. 2012.
250. L. Ma et al., "A high-confidence cyber-physical alarm system: Design and implementation," in Proc. IEEE/ACM Int. Conf. Green Comput. Commun. Int. Conf. Cyber, Phys. Social Comput., 2010, pp. 516-520.
251. Y. Wang, M. C. Vuran, and S. Goddard, "Cyber-physical systems in industrial process control," ACM SIGBED Rev., vol. 5, no. 1, pp. 1-2, Jan. 2008.
252. W. Zhang, M. Kamgarpour, D. Sun, and C. J. Tomlin, "A hierarchical flight planning framework for air traffic management," Proc. IEEE, vol. 100, no. 1, pp. 179-194, Jan. 2012.
253. S. Lintelman, K. Sampigethaya, M. Li, R. Poovendran, and R. V. Robinson, "High assurance aerospace CPS & implications for the automotive industry," in Proc. Nat. Workshop High Confidence Autom. CPS, 2008, pp. 1-3.
254. N. Mahadevan, A. Dubey, and G. Karsai, "Application of software health management techniques," in Proc. Int. Symp. Softw. Eng. Adapt. Self-Managing Syst., 2011, pp. 1-10.
255. A. Noor, "Intelligent adaptive cyber-physical ecosystem for aerospace engineering education, training, and accelerated workforce development," J. Aerosp. Eng., vol. 24, no. 4, pp. 403-408, Oct. 2011.
256. T. Johnson and S. Mitra, "Parametrized verification of distributed cyberphysical systems: An aircraft landing protocol case study," in Proc. IEEE/ACM ICCPS, 2012, pp. 161-170.
257. L. Shou et al., "What-you-retrieve-is-what-you-see: A preliminary cyber-physical search engine," in Proc. ACM SIGIR Conf. Res. Develop. Inf. Retrieval, 2011, pp. 1273-1274.
258. H. Lim, M. Iqbal, M. Wang, and Y. Xiao, "The national weather sensor grid: A large-scale cyber-sensor infrastructure for environmental monitoring," Int. J. Sensor Netw., vol. 7, no. 1/2, pp. 19-36, Feb. 2010.
259. T. Tidwell et al., "Towards configurable real-time hybrid structural testing: A cyber-physical system approach," in Proc. IEEE ISORC, 2009, pp. 37-44.
260. M. Lindberg and K. Arzen, "Feedback control of cyber-physical systems with multi resource dependencies and model uncertainties," in Proc. IEEE RTSS, 2010, pp. 85-94.
261. W. Meng, Q. Liu, W. Xu, and Z. Zhou, "A cyber-physical system for public environment perception and emergency handling," in Proc. IEEE Int. Conf. HPCC, 2011, pp. 734-738.
262. T. Morris et al., "Engineering future cyber-physical energy systems: Challenges, research needs, and roadmap," in Proc. NAPS, 2009, pp. 1-6.
263. J. White et al., "R&D challenges and solutions for mobile cyber-physical applications and supporting Internet services," J. Internet Serv. Appl., vol. 1, no. 1, pp. 45-56, May 2010.
264. R. von Hanxleden, E. A. Lee, C. Motika, and H. Fuhrmann, "Multi-view modeling and pragmatics in 2020-Position paper on designing complex cyber-physical systems," in Proc. Int. Monterey Workshop Develop., Oper. Manage. Large-Scale Complex IT Syst., 2012, pp. 209-223.
265. R. Poovendran, "Cyber-physical systems: Close encounters between two parallel worlds [point of view]," Proc. IEEE, vol. 98, no. 8, pp. 1363-1366, Aug. 2010.
266. E. Lee, "Cyber physical systems: Design challenges," in Proc. IEEE ISORC, 2008, pp. 363-369.
267. K.-D. Kim and P. Kumar, "Cyber-physical systems: A perspective at the centennial," Proc. IEEE, vol. 100, no. 13, pp. 1287-1308, May 2012.
268. R. Baheti and H. Gill, "Cyber-physical systems," Impact Control Technol., pp. 161-166, Mar. 2011.
269. E. A. Lee and H. Zheng, "Operational semantics of hybrid systems," in Hybrid Systems: Computation and Control. Berlin, Germany: Springer-Verlag, 2005, pp. 25-53.
270. E. A. Lee, "Finite state machines and modal models in Ptolemy II," Defense Technical Information Center (DTIC), Fort Belvoir, VA, USA, Tech. Rep., 2009.
271. E. A. Lee, "Modeling concurrent real-time processes using discrete events," Ann. Softw. Eng., vol. 7, no. 1-4, pp. 25-45, Oct. 1999.
272. E. A. Lee and T. M. Parks, "Dataflow process networks," Proc. IEEE, vol. 83, no. 5, pp. 773-801, May 1995.
273. O. Maler, Z. Manna, and A. Pnueli, "From timed to hybrid systems," in Proc. Real-Time, Theory Pract., 1992, pp. 447-484.
274. D. Garlan et al., "Acme: Architectural description of componentbased systems," in Foundations of Component-Based Systems, vol. 68. New York, NY, USA: Cambridge Univ. Press, 2000, pp. 47-68.
275. J. Slay and M. Miller, "Lessons learned from the Maroochy water breach," in Critical Infrastructure Protection. New York, NY, USA: Springer-Verlag, 2007, pp. 73-82.
276. S. Mittal, "A survey of architectural techniques for DRAM power management," Int. J. High Perform. Syst. Architecture, vol. 4, no. 2, pp. 110-119, Dec. 2012.
277. S. Mittal and Z. Zhang, "EnCache: Improving cache energy efficiency using a software-controlled profiling cache," in Proc. IEEE EIT, Indianapolis, IN, USA, May 2012.
278. M. Govindarasu, A. Hann, and P. Sauer, "Cyber-physical systems security for smart grid," Power Syst. Eng. Res. Center (PSERC), Tempe, AZ, USA, Tech. Rep., Feb. 2012, PSERC Publications.