Robust Cyber-Physical Systems: Concept, models, and implementation

Future Generation Computer Systems

Volumn 56, Issue , 2016, Pages 449-475

  Hu, Fei ^a   Lu, Yu ^a   Vasilakos, Athanasios V ^b   Hao, Qi ^a,c   Ma, Rui ^a   Patil, Yogendra ^a   Zhang, Ting ^a   Lu, Jiang ^a   Li, Xin ^a   Xiong, Neal N ^d  

^a UNIVERSITY OF ALABAMA   (United States)

^b UNIVERSITY OF WESTERN MACEDONIA   (Greece)

^c SOUTHERN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^d Colorado Technical University ^*  (United States)

Author keywords

Cyber Physical Systems; Security; Sensors and actuators; Stability; Survey

Indexed keywords

ACTUATORS; BIOMEDICAL EQUIPMENT; CONVERGENCE OF NUMERICAL METHODS; DESIGN; EMBEDDED SYSTEMS; MACHINE DESIGN; SURVEYING; SURVEYS;

CYBER PHYSICAL SYSTEMS (CPSS); CYBER-PHYSICAL SYSTEMS (CPS); IMPLANTABLE MEDICAL DEVICES; REHABILITATION SYSTEM; SEAMLESS INTEGRATION; SECURITY; SECURITY PRINCIPLES; SENSORS AND ACTUATORS;

SYSTEM STABILITY;

EID: 84958750914     PISSN: 0167739X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.future.2015.06.006     Document Type: Article

References (156)

1. Kyoung-Dae Kim, and P.R. Kumar Cyber-physical systems: A perspective at the centennial Proc. IEEE 100 2012 1287 1308 no. Special Centennial Issue
2. Davide Quaglia, Communications in cyber-physical systems, in: 2013 2nd Mediterranean Conference on Embedded Computing, MECO, 15-20 June 2013, pp. 1-1.
3. Insup Lee, O. Sokolsky, Sanjian Chen, J. Hatcliff, Eunkyoung Jee, BaekGyu Kim, A. King, M. Mullen-Fortino, Soojin Park, A. Roederer, and K.K. Venkatasubramanian Challenges and research directions in medical cyber-physical systems Proc. IEEE 100 1 2012 75 90
4. Ivan Stojmenovic, Large scale cyber-physical systems: Distributed actuation, in-network processing and Machine-to-Machine communications, in: 2013 2nd Mediterranean Conference on Embedded Computing, MECO, 15-20 June 2013, pp. 21-24.
5. K. Sampigethaya, R. Poovendran, Cyber-physical integration in future aviation information systems, in: Digital Avionics Systems Conference, DASC, 2012 IEEE/AIAA 31st 14-18 October 2012, pp. 7C2-1-7C2-12.
6. I.S. Sacala, M.A. Moisescu, D. Repta, Towards the development of the future internet based enterprise in the context of cyber-physical systems, in: 2013 19th International Conference on Control Systems and Computer Science, CSCS, 29-31 May 2013, pp. 405-412.
7. Marcin Szczodrak, Yong Yang, Dave Cavalcanti, Luca P. Carloni, An open framework to deploy heterogeneous wireless testbeds for Cyber-Physical Systems, in: 2018 8th IEEE International Symposium on Industrial Embedded Systems, SIES, 19-21 June 2013, pp. 215-224.
8. Z. Zhang, H. Wang, C. Wang, and H. Fang Interference mitigation for cyber-physical wireless body area network system using social networks IEEE Trans. Emerging Top. Comput. 1 1 2013 121 132
9. J. Esch Prolog to "Aviation cyber-physical systems: Foundations for future aircraft and air transport" Proc. IEEE 101 8 2013 1831 1833
10. 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 100 1 2012 283 299
11. C.W. Axelrod, Managing the risks of cyber-physical systems, in: 2013 IEEE Long Island Systems, Applications and Technology Conference, LISAT, 3-3 May 2013, pp. 1-6.
12. M.J. Stanovich, I. Leonard, K. Sanjeev, M. Steurer, T.P. Roth, S. Jackson, M. Bruce, Development of a smart-grid cyber-physical systems testbed, in: 2013 IEEE PES Innovative Smart Grid Technologies, ISGT, 24-27 February 2013, pp. 1-6.
13. J. Taneja, R. Katz, D. Culler, Defining CPS challenges in a sustainable electricity grid, in: 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, ICCPS, 17-19 April 2012, pp. 119-128.
14. C. Sankavaram, A. Kodali, K. Pattipati, An integrated health management process for automotive cyber-physical systems, in: 2013 International Conference on, Computing, Networking and Communications, ICNC, 28-31 January 2013, pp. 82-86.
15. Ayan Banerjee, Sandeep K.S. Gupta, Spatio-temporal hybrid automata for safe cyber-physical systems: A medical case study, in: 2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS, 8-11 April 2013, pp. 71-80.
16. Hongan Wang, Xiaoming Deng, Feng Tian, WiP abstract: A human-centered cyber-physical systematic approach for post-stroke monitoring, in: 2012 IEEE/ACM Third International Conference on, Cyber-Physical Systems, ICCPS, 17-19 April 2012, pp. 209-209.
17. I.H. Rao, N.A. Amir, H. Dagale, J. Kuri, e-SURAKSHAK: A cyber-physical healthcare system with service oriented architecture, in: 2012 International Symposium on Electronic System Design, ISED, 19-22 December 2012, pp. 177-182.
18. M. Lukasiewycz, S. Steinhorst, F. Sagstetter, Wanli Chang, P. Waszecki, M. Kauer, S. Chakraborty, Cyber-physical systems design for electric vehicles, in: 2012 15th Euromicro Conference on Digital System Design, DSD, 5-8 September 2012, pp. 477-484.
19. Xu Li, Chunming Qiao, A. Wagh, R. Sudhaakar, S. Addepalli, Changxu Wu, and A. Sadek A holistic approach to service delivery in driver-in-the-loop vehicular CPS IEEE J. Sel. Areas Commun. 31 9 2013 513 522
20. G. Hackmann, W. Guo, G. Yan, Z. Sun, C. Lu, and S. Dyke Cyber-physical co-design of distributed structural health monitoring with wireless sensor networks IEEE Trans. Parallel Distrib. Syst. 25 1 2014 63 72
21. Y.P. Fallah, Raja Sengupta, A cyber-physical systems approach to the design of vehicle safety networks, in: 2012 32nd International Conference on Distributed Computing Systems Workshops, ICDCSW, 18-21 June 2012, pp. 324-329.
22. B. Syed, A. Pal, K. Srinivasarengan, P. Balamuralidhar, A smart transport application of cyber-physical systems: Road surface monitoring with mobile devices, in: 2012 Sixth International Conference on Sensing Technology, ICST, 18-21 December 2012, pp. 8-12.
23. G. Schirner, D. Erdogmus, K. Chowdhury, and T. Padir The future of human-in-the-loop cyber-physical systems Computer 46 1 2013 36 45
24. M. Franke, C. Seidl, T. Schlegel, A seamless integration, semantic middleware for cyber-physical systems, in: 2013 10th IEEE International Conference on Networking, Sensing and Control, ICNSC, 10-12 April 2013, pp. 627-632.
25. S. El-Tawab, S. Olariu, Communication protocols in FRIEND: A cyber-physical system for traffic Flow Related Information Aggregation and Dissemination, in: 2013 IEEE International Conference on Pervasive Computing and Communications Workshops, PERCOM Workshops, 18-22 March 2013, pp. 447-452.
26. Amir Aminifar, Petru Eles, Zebo Peng, Anton Cervin, Control-quality driven design of cyber-physical systems with robustness guarantees, in: Design, Automation & Test in Europe Conference & Exhibition, DATE, 2013, 18-22 March 2013, pp. 1093-1098.
27. S. Mitra, T. Wongpiromsarn, and R.M. Murray Verifying cyber-physical interactions in safety-critical systems IEEE Secur. Privacy 11 4 2013 28 37
28. Leon Wu, G. Kaiser, An autonomic reliability improvement system for cyber-physical systems, in: 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering, HASE, 25-27 October 2012, pp. 56-61.
29. Husheng Li, Lifeng 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. 30 6 2012 1097 1107
30. Xianghui Cao, Peng Cheng, Jiming Chen, and Youxian Sun An online optimization approach for control and communication codesign in networked cyber-physical systems IEEE Trans. Ind. Inf. 9 1 2013 439 450
31. Jing Lin, S. Sedigh, A. Miller, Towards integrated simulation of cyber-physical systems: A case study on intelligent water distribution, in: Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing, 2009. DASC'09. 12-14 December 2009, pp. 690-695.
32. R. Mitchell, and I. Chen Effect of intrusion detection and response on reliability of cyber physical systems IEEE Trans. Reliab. 62 1 2013 199 210
33. Yilin Mo, T.H.-H. Kim, K. Brancik, D. Dickinson, Heejo Lee, A. Perrig, and B. Sinopoli Cyber-physical security of a smart grid infrastructure Proc. IEEE 100 1 2012 195 209
34. A. Hahn, A. Ashok, S. Sridhar, and M. Govindarasu Cyber-physical security testbeds: Architecture, application, and evaluation for smart grid IEEE Trans. Smart Grid 4 2 2013 847 855
35. K. Ravindran, M. Rabby, Cyber-physical systems based modeling of adaptation intelligence in network systems, in: 2011 IEEE International Conference on Systems, Man, and Cybernetics, SMC, 9-12 October 2011, pp. 2737-2742.
36. Akshay Rajhans, Shang-Wen Cheng, Bradley Schmerl, David Garlan, Bruce H. Krogh, Clarence Agbi, Ajinkya Bhave, An architectural approach to the design and analysis of cyber-physical systems, in: Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling, MPM 2009.
37. J. Rajamaki, P. Rathod, A. Ahlgren, J. Aho, M. Takari, S. Ahlgren, Resilience of cyber-physical system: A case study of safe school environment, in: 2012 European Intelligence and Security Informatics Conference, EISIC, 22-24 August 2012, pp. 285-285.
38. S. Deshmukh, B. Natarajan, A. Pahwa, State estimation in spatially distributed cyber-physical systems: Bounds on critical measurement drop rates, in: 2013 IEEE International Conference on Distributed Computing in Sensor Systems, DCOSS, 20-23 May 2013, pp. 157-164.
39. M. Li, and P. Li Crowdsourcing in cyber-physical systems: Stochastic optimization with strong stability IEEE Trans. Emerging Top. Comput. 1 2 2013 63 72
40. Kelly O'Connell, CIA report: Cyber extortionists attacked foreign power grid, disrupting delivery, Internet Business Law Services, 2008. See the following site for details: http://www.ibls.com/internet-law-news-portal-view.aspx?id=1963&s=latestnews.
41. K. Koscher, A. Czeskis, F. Roesner, S. Patel, T. Kohno, S. Checkoway, D. McCoy, B. Kantor, D. Anderson, H. Shacham, S. Savage, Experimental security analysis of a modern automobile, in: Proceedings of the 31st IEEE Symposium on Security and Privacy, May 2010.
42. Elinor Mills Hackers broke into FAA air traffic control system Wall Street J. 2009 A6
43. Vanessa Fuhrmans Virus attacks siemens plant-control systems Wall Street J. 2010
44. A.A. Cárdenas, S. Amin, B. Sinopoli, A. Giani, A.A. Perrig, S.S. Sastry, Challenges for securing cyber physical systems, in: Workshop on Future Directions in Cyber-physical Systems Security, Newark, NJ, USA, July 2009.
45. C.L. DeMarco, J.V. Sariashkar, F. Alvarado, The potential for malicious control in a competitive power systems environment, in: IEEE Int. Conf. on Control Applications, Dearborn, MI, USA, 1996, pp. 462-467.
46. Davide Quaglia, Cyber-physical systems: Modeling, simulation, design and validation, in: 2013 2nd Mediterranean Conference on Embedded Computing, MECO, 15-20 June 2013, pp. 1-2.
47. J. Moreno, M. Damm, J. Haase, C. Grimm, E. Holleis, Unified and comprehensive electronic system level, network and physics simulation for wirelessly networked cyber physical systems, in: 2012 Forum on Specification and Design Languages, FDL, 18-20 September 2012, pp. 68-74.
48. Lei Bu, Dingbao Xie, Xin Chen, Linzhang Wang, Xuandong Li, Demo abstract: BACHOL - modeling and verification of cyber-physical systems online, in: 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, ICCPS, 17-19 April 2012, pp. 222-222.
49. S. Gao, H. Luo, D. Chen, S. Li, P. Gallinari, Z. Ma, and J. Guo A cross-domain recommendation model for cyber-physical systems IEEE Trans. Emerging Top. Comput. 1 2 2013 384 393
50. Xiaoxiang Zhai, Qiaoqiao Chen, Shunhui Ji, Bixin Li, A unified modeling and verifying framework for cyber physical systems, in: 2012 12th International Conference on Quality Software, QSIC, 27-29 August 2012, pp. 128-131.
51. Zhiqiang Ma, Xiao Fu, Zhenhua Yu, Object-oriented petri nets based formal modeling for high-confidence cyber-physical systems, in: 2012 8th International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM, 21-23 September 2012, pp. 1-4.
52. Sheng-Tzong Cheng, Tun-Yu Chang, A cyber physical system model using genetic algorithm for actuators control, in: 2012 2nd International Conference on Consumer Electronics, Communications and Networks, CECNet, 21-23 April 2012, pp. 2269-2272.
53. Marc Geilen, Stavros Tripakis, Maarten Wiggers, The earlier the better: A theory of timed actor interfaces Technical Report No. UCB/EECS-2010-130 October 7, 2010. EECS Department University of California, Berkeley. http://www.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-130.html.
54. P.A. Vicaire, E. Hoque, Xie Zhiheng, and J.A. Stankovic Bundle: A group-based programming abstraction for cyber-physical systems IEEE Trans. Ind. Inf. 8 2 2012 379 392
55. Arquimedes Canedo, Eric Schwarzenbach, Ai Faruque, Mohammad Abdullah, Context-sensitive synthesis of executable functional models of cyber-physical systems, in: 2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS, 8-11 April 2013, pp. 99-108.
56. Zhenkai Zhang, Emeka Eyisi, Xenofon Koutsoukos, Joseph Porter, Gabor Karsai, Janos Sztipanovits, Co-simulation framework for design of time-triggered cyber physical systems, in: 2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS, 8-11 April 2013, pp. 119-128.
57. P. Bogdan, S. Jain, K. Goyal, R. Marculescu, Implantable pacemakers control and optimization via fractional calculus approaches: A cyber-physical systems perspective, in: 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, ICCPS, 17-19 April 2012, pp. 23-32.
58. Ying Tan, Mehmet C. Vuran, Steve Goddard, Yue Yu, Miao Song, and Shangping Ren A concept lattice-based event model for Cyber-Physical Systems Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS'10) 2010 ACM New York, NY, USA 50 60
59. Marija D. Ilie, Le Xie, Usman A. Khan, and Jose M.F. Moura Modeling of future cyber-physical energy systems for distributed sensing and control IEEE Trans. Syst. Man Cybern. Part A 40 4 2010
60. A. Srivastava, T. Morris, T. Ernster, C. Vellaithurai, Pan Shengyi, and U. Adhikari Modeling cyber-physical vulnerability of the smart grid with incomplete information IEEE Trans. Smart Grid 4 1 2013 235 244
61. M. Lin, Y. Pan, L. Yang, M. Guo, and N. Zheng Scheduling co-design for reliability and energy in cyber-physical systems IEEE Trans. Emerging Top. Comput. 1 2 2013 353 365
62. R. Maas, E. Maehle, K.-E. Grosspietsch, Applying the organic robot control architecture ORCA to cyber-physical systems, in: 2012 38th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA, 5-8 September 2012, pp. 250-257.
63. John C. Eidson, Edward A. Lee, Slobodan Matic, Sanjit A. Seshia, Jia Zou, Time-centric models for designing embedded CPSs. Technical Report Identifier: EECS-2009-135, October 9, 2009. Electrical Engineering and Computer Sciences University of California at Berkeley. http://www.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-135.html.
64. Jaeyong Park, Arda Kurt, Omit Ozquner, Poster abstract: A game theoretic approach to controller design for cyber-physical systems: Collision avoidance, in: 2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS, 8-11 April 2013, pp. 254-254.
65. Zhilin Qian, Huiqun Yu, A TAOPN approach to modeling and scheduling cyber-physical systems, in: 2013 International Conference on Information Science and Applications, ICISA, 24-26 June 2013, pp. 1-7.
66. Cong Xinyu, Yu Huiqun, Xu Xin, Verification of hybrid chi model for cyber-physical systems using PHAVer, in: 2013 Seventh International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS, 3-5 July 2013, pp. 122-128.
67. Li Ye-jing, Chen Ming-cai, Zhang Guang-quan, Shao Yu-zhen, Feng Fei, Hou Xing-hua, A model for vehicular Cyber-Physical System based on extended hybrid automaton, in: 2013 8th International Conference on Computer Science & Education, ICCSE, 26-28 April 2013, pp. 1305-1308.
68. Patricia Derler, and Edward A. Lee Alberto sangiovanni vincentelli. Modeling CPSs' Proc. IEEE 100 1 2012
69. Junsung Kim, Hyoseung Kim, Karthik Lakshmanan, Ragunathan Rajkumar, Parallel scheduling for cyber-physical systems: Analysis and case study on a self-driving car, in: 2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS, 8-11 April 2013, pp. 31-40.
70. E. Palachi, C. Cohen, S. Takashi, Simulation of cyber physical models using SysML and numerical solvers, in: 2013 IEEE International Systems Conference, SysCon, 15-18 April 2013, pp. 671-675.
71. see: http://www.isis.vanderbilt.edu/research/MIC.
72. L. Parolini, and et al. A cyber-physical systems approach to data center modeling and control for energy efficiency Proc. IEEE 100 2012 251 268
73. Rock-Hyun Choi, Sang-Cheol Lee, Dong-Ha Lee, Joonhyuk Yoo, WiP abstract: Packet loss compensation for cyber-physical control systems, in: 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, ICCPS, 17-19 April 2012, pp. 205-205.
74. Kailong Zhang, Jiwei Li, Arnaud de la Fortelle, Xingshe Zhou, Agent based adaptive cooperative models and mechanisms of multiple autonomous cyber-physical systems, in: 2013 14th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD, 1-3 July 2013, pp. 159-164.
75. M.M. Jamshidi, Sustainable energy systems: Cyber-physical based intelligent mangement of micro-grids, in: 2012 4th IEEE International Symposium on Logistics and Industrial Informatics, LINDI, 5-7 September 2012, pp. 11-12.
76. M. Wooldridge An Introduction to Multiagent Systems 2002 John Wiley & Sons, Ltd.
77. P.J. Modi, P. Scerri, W.-M. Shen, and M. Tambe Distributed Sensor Networks: A Multiagent Perspective 2003 Kluwer Academic Publishers (Chapter) Distributed Resource Allocation: A Distributed Constraint Reasoning Approach
78. Nguyen-Thinh Le, L. Martin, C. Mumme, N. Pinkwart, Communication-free detection of resource conflicts in multi-agent-based cyber-physical systems, in: 2012 6th IEEE International Conference on Digital Ecosystems Technologies, DEST, 18-20 June 2012, pp. 1-6.
79. T. oshimoto, T. Ushio, Poster abstract: Design of modified observer to reduce state estimation error caused by job skipping in cyber-physical systems, in: 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, ICCPS, 17-19 April 2012, pp. 236-236.
80. Ashish Choudhari, Harini Ramaprasad, Tamal Paul, Jonathan W. Kimball, Maciej Zawodniok, Bruce McMillin, Sriram Chellappan, WiP abstract: Stability of a cyber-physical smart grid system using cooperating invariants, in: 2013 ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS, 8-11 April 2013, pp. 240-240.
81. P. Tabuada, S.Y. Caliskan, M. Rungger, and R. Majumdar Towards robustness for cyber-physical systems IEEE Trans. Automat. Control 59 12 2014 3151 3163
82. J.L. Jerez, P.J. Goulart, S. Richter, G.A. Constantinides, E.C. Kerrigan, and M. Morari Embedded online optimization for model predictive control at megahertz rates IEEE Trans. Automat. Control 59 12 2014 3238 3251
83. D.E. Quevedo, V. Gupta, W.-J. Ma, and S. Yuksel Stochastic stability of event-triggered anytime control IEEE Trans. Automat. Control 59 12 2014 3373 3379
84. P. Tabuada Event-triggered real-time scheduling of stabilizing control tasks IEEE Trans. Automat. Control 52 2007 1680 1685
85. L. Greco, D. Fontanelli, A. Bicchi, Almost sure stability of anytime controllers via stochastic scheduling, in: Proc. IEEE Conf. Decis. Contr., New Orleans, LA, USA, December 2007, pp. 5640-5645.
86. S. Caliskan, M. Rungger, and R. Majumdar Towards robustness for cyber-physical systems IEEE Trans. Automat. Control 59 12 2014 3151 3163
87. Arnaldo Pereira, Nelson Rodrigues, Jose Barbosa, Paulo Leitao, Trust and risk management towards resilient large-scale Cyber-Physical Systems, in: 2013 IEEE International Symposium on Industrial Electronics, ISIE, 28-31 May 2013, pp. 1-6.
88. F. Pasqualetti, F. Dorfler, and F. Bullo Attack detection and identification in cyber-physical systems IEEE Trans. Automat. Control 58 11 2013 2715 2729
89. Björn Andersson, Nuno Pereira, Eduardo Tovar, How a cyber-physical system can efficiently obtain a snapshot of physical information even in the presence of sensor faults, in: WISES, 2008, pp. 1-10.
90. Jing Lin, Sahra Sedigh, and Ann Miller A general framework for quantitative modeling of dependability in cyber-physical systems: A proposal for doctoral research Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 01 (COMPSAC'09) 2009 IEEE Computer Society Washington, DC, USA 668 671
91. E.J. Candès, and T. Tao The Dantzig selector: Statistical estimation when p is much larger than n Ann. Statist. 35 6 2007 2313 2351
92. YuLun Huang, Alvaro Cardenas, Saurabh Amin, Song-Zyun Lin, Hsin-Yi Tsai, and Shankar Sastry Understanding the physical and economic consequences of attacks against control systems Int. J. Crit. Infrastruct. Prot. 2 3 2009 72 83
93. Aditya Ashok, Adam Hahn, and Manimaran Govindarasu A cyber-physical security testbed for smart grid: system architecture and studies Frederick T. Sheldon, Robert Abercrombie, Axel Krings, Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research (CSIIRW'11) 2011 ACM New York, NY, USA 1 Article 20
94. H. Qi, X. Wang, and L. Tolbert A resilient real-time system design for a secure and reconfigurable power grid IEEE Trans. Smart Grid 2 4 2011 770 781
95. F. Pasqualetti, F. Dorfler, F. Bullo, Cyber-physical attack in power networks: Models, fundamental limitations and monitor design, Technique Report, UC Santa Barbara, Santa Barbara, CA 93106, 1103.2795v1, March 14, 2011. See: http://motion.me.ucsb.edu/pdf/2011i-pdb.pdf.
96. C.M. Krishna, I. Koren, Adaptive fault-tolerance for cyber-physical systems, in: 2013 International Conference on Computing, Networking and Communications, ICNC, 28-31 January 2013, pp. 310-314.
97. D. Macdonald, S.L. Clements, S.W. Patrick, C. Perkins, G. Muller, M.J. Lancaster, W. Hutton, Cyber/physical security vulnerability assessment integration, in: 2013 IEEE PES Innovative Smart Grid Technologies, ISGT, 24-27 February 2013, pp. 1-6.
98. B. Stelte, G.D. Rodosek, Assuring trustworthiness of sensor data for cyber-physical systems, in: 2013 IFIP/IEEE International Symposium on Integrated Network Management, IM 2013, 27-31 May 2013, pp. 395-402.
99. Saurabh Amin On cyber security for networked control systems (Ph.D. dissertation) 2011 University of California Berkeley 198
100. B. McMillin, Privacy and confidentiality in cyber-physical power systems, in: Power and Energy Society General Meeting, 2012 IEEE, 22-26 July 2012, pp. 1-3.
101. Cheolhyeon Kwon, Weiyi Liu, Inseok Hwang, Security analysis for Cyber-Physical Systems against stealthy deception attacks, in: American Control Conference, ACC, 2013, 17-19 June 2013, pp. 3344-3349.
102. X. Yang, J. Lin, W. Yu, P. Moulema, X. Fu, and W. Zhao A novel en-route filtering scheme against false data injection attacks in cyber-physical networked systems IEEE Trans. Comput. 64 1 2015 4 18
103. Alvaro A. Cárdenas, Saurabh Amin, Zong-Syun Lin, Yu-Lun Huang, Chi-Yen Huang, and Shankar Sastry Attacks against process control systems: risk assessment, detection, and response Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security (ASIACCS'11) 2011 ACM New York, NY, USA 355 366
104. T.J.H.M. Eggen Item selection in adaptive testing with the sequential probability ratio test Appl. Psychol. Meas. 23 3 1999 249 261
105. M. He, and J. Zhang Fault Detection and Localization in Smart Grid: A Probabilistic Dependence Graph Approach 2010 IEEE 43 48
106. Marco A.R. Ferreira, and Victor De Oliveira Bayesian reference analysis for Gaussian Markov random fields J. Multivariate Anal. 98 4 2007 789 812
107. J.E. Besag, and C. Kooperberg On conditional and intrinsic autoregressions Biometrika 82 1995 733 746
108. C. Ten, J. Hong, and C. Liu Anomaly detection for cybersecurity of the substations IEEE Trans. Smart Grid 2 4 2011 865 873
109. Power system test case archive, Available at: http://www.ee.washington.edu/research/pstca/.
110. S. Sridhar, A. Hahn, and M. Govindarasu Cyber-physical system security for the electric power grid Proc. IEEE 100 1, 2012 210 224
111. P. Mohajerin Esfahani, M. Vrakopoulou, G. Andersson, J. Lygeros, A tractable nonlinear fault detection and isolation technique with application to the cyber-physical security of power systems, in: 2012 IEEE 51st Annual Conference on Decision and Control, CDC, 10-13 December 2012, pp. 3433-3438.
112. Joerg Haehner, Stefan Rudolph, Sven Tomforde, Dominik Fisch, Bernhard Sick, Nils Kopal, Arno Wacker, A concept for securing cyber-physical systems with organic computing techniques, in: Proceedings of 2013 26th International Conference on Architecture of Computing Systems, ARCS, 19-22 February 2013, pp. 1-13.
113. W. Shen, L. Liu, X. Cao, Y. Hao, and Y. Cheng Cooperative message authentication in vehicular cyber-physical systems IEEE Trans. Emerging Top. Comput. 1 1 2013 84 97
114. Feng Tan, Yufei Wang, Qixin Wang, Lei Bu, Rong Zheng, N. Suri, Guaranteeing proper-temporal-embedding safety rules in wireless CPS: A hybrid formal modeling approach, in: 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN, 24-27 June 2013, pp. 1-12.
115. S. Amin, G.A. Schwartz, and A. Hussain In quest of benchmarking security risks to cyber-physical systems IEEE Netw. 27 1 2013 19 24
116. D. Goswami, R. Schneider, S. Chakraborty, Re-engineering cyber-physical control applications for hybrid communication protocols, in: 14th Conference for Design, Automation and Test in Europe, DATE, Grenoble, France, 2011.
117. W. Zhang, M.S. Branicky, and S.M. Phillips Stability of networked control systems IEEE Control Syst. Mag. 21 1 2001 84 99
118. D. Goswami, R. Schneider, S. Chakraborty, Co-design of cyber-physical systems via controllers with flexible delay constraints, in: 16th Asia and South Pacific Design Automation Conference, ASP-DAC, Yokohama, Japan, 2011.
119. H. Voit, R. Schneider, D. Goswami, A. Annaswamy, S. Chakraborty, Optimizing hierarchical schedules for improved control performance, in: 5th International Symposium on Industrial Embedded Systems, SIES, Trento, Italy, 2010.
120. R. Schneider, U. Bordoloi, D. Goswami, S. Chakraborty, Optimized schedule synthesis under real-time constraints for the dynamic segment of flexray, in: 8th International Conference on Embedded and Ubiquitous Computing, EUC, Hong Kong SAR, China, 2010.
121. F. Zhang, K. Szwaykowska, W. Wolf, V.J. Mooney III, Task scheduling for control oriented requirements for cyber-physical systems, in: IEEE Real-Time Systems Symposium, 2008, pp. 47-56.
122. M. Chow, Y. Tipsuwan, Network-based control systems, in: Proceedings of IEEE IECon 2001 Tutorial, Denver, CO, November 28-December 2, 2001, pp. 1593-1602.
123. An introduction to Kalman filters: http://www.cs.unc.edu/~welch/kalman/kalmanIntro.html.
124. P. Dagum, R. Karp, M. Luby, and S. Ross An optimal algorithm for Monte Carlo estimation SIAM J. Comput. 29 5 2000 1484 1496
125. Bernd A. Berg Markov Chain Monte Carlo Simulations and their Statistical Analysis (With Web-Based Fortran Code) 2004 World Scientific 981-238-935-0
126. D. Li, and et al. A Cyber Physical Networking System for Monitoring and Cleaning up Blue-Green Algae Blooms with Agile Sensor and Actuator Control Mechanism on Lake Tai 2011 Chinese Academy of Sciences Beijing, China 978-1-4577-0248/11
127. A. Nasir, Boon-Hee Soong, PipeSense: A framework architecture for in-pipe water monitoring system, in: 2009 IEEE 9th Malaysia International Conference on Communications, MICC, 15-17 December 2009, pp. 703-708.
128. T. Dillon, V. Potdar, J. Singh, A. Talevski, Cyber-physical systems: Providing Quality of Service (QoS) in a heterogeneous systems-of-systems environment, in: 2011 Proceedings of the 5th IEEE International Conference on Digital Ecosystems and Technologies Conference, DEST, May 31 2011-June 3 2011, pp. 330-335.
129. Jingyong Liu, Lichen Zhang, QoS modeling for cyber-physical systems using aspect-oriented approach, in: 2011 Second International Conference on Networking and Distributed Computing, ICNDC, 21-24 September 2011, pp. 154-158.
130. Feng Xia, Longhua Ma, Jinxiang Dong, Youxian Sun, Network QoS management in cyber-physical systems, in: International Conference on Embedded Software and Systems Symposia, 2008. ICESS Symposia'08. 29-31 July 2008, pp. 302-307.
131. Y.-C. Pai, and T.S. Bhatt Repeated-slip training: An emerging paradigm for prevention of slip-related falls among older adults Phys. Ther. 87 2007 1478 1491
132. HDT Robotics - KineAssist: http://devwww.hdtglobal.com/services/robotics/portfolio/KineAssist/ For more detailed materials on KineAssist, see http://www.kineadesign.com/portfolio/kineassist/ Note that Kinea Design Inc. is now renamed as HDT Robotics Inc., a division of HDT Global.
133. J. Patton, E. Lewis, G. Crombie, M. Peshkin, E. Colgate, J. Santos, A. Makhlin, and D.A. Brown A novel robotic device to enhance balance and mobility training post-stroke Top. Stroke Rehabil. 15 2 2008 131 139
134. K.J. Sullivan, B.J. Knowlton, and B.H. Dobkin Step training with body weight support: effect of treadmill speed and practice paradigms on poststroke locomotor recovery Arch. Phys. Med. Rehabil. 83 2002 683 691
135. E. Hsu, K. Pulli, J. Popovi, Style translation for human motion, in: Markus Gross (Ed.), ACM SIGGRAPH 2005, SIGGRAPH'05, ACM, New York, NY, USA, 1082-1089.
136. W.K. Pratt Generalized Wiener filtering computation techniques IEEE Trans. Comput. 21 7 1972 636 641
137. Ali H. Sayed Adaptive Filters 2008 Wiley-IEEE Press book
138. C. Li, Q. Hao, W. Guo, and F. Hu Compressive neural activity detection with fMR images using graphical model inference Int. J. Comput. Biol. Drug Des. (InderScience) 3 3 2010 187 200 December of
139. M. Liu, H. Ji, and C. Zhao Event related potentials extraction from EEG using artificial neural network Proceedings of the 2008 Congress on Image and Signal Processing, Volume 01 (CISP'08) 2008 IEEE Computer Society Washington, DC, USA 213 215
140. A. Villringer, J. Planck, C. Hock, L. Schleinkofer, and U. Dirnagl Near infrared spectroscopy (NIRS): A new tool to study hemodynamic changes during activation of brain function in human adults Neurosci. Lett. 154 1993 101 104
141. H. Choi, S. Choi, A. Katake, Y. Kang, and Y. Choe Manifold Alpha-Integration Lecture Notes in Computer Science vol. 6230/2010 2010 Springer-Verlag Berlin, Heidelberg 397 408
142. D.A. Cesario, and G. William Implantable cardioverter defibrillator therapy in clinical practice J. Am. Coll. Cardiol. 47 2006 1507 1517
143. S. O'Driscoll Adaptive signal acquisition and power delivery for implanted medical devices (Ph.D. dissertation) 2009 Electrical Engineering, Stanford University
144. A.K.R. Rakhyani Design of efficient wireless power-transfer system and piezoelectric transducer for sonoporation-based drug-delivery implants (M.s. thesis) 2010 Electrical and Computer Engineering, The University of British Columbia Vancouver
145. M.H. Schoenfeld, S.J. Compton, R.H. Mead, D.N. Weiss, L. Sherfesee, J. Englund, and et al. Remote monitoring of implantable cardioverter defibrillators: a prospective analysis Pacing Clin. Electrophysiol. 27 2004 757 763
146. J.C. Res, D.A. Theuns, and L. Jordaens The role of remote monitoring in the reduction of inappropriate implantable cardioverter defibrillator therapies Clin. Res. Cardiol. 95 2006 III17 III21
147. G. Liu, A high quality PN sequence generator based on chaotic maps, in: 2009 Fifth International Conference on Natural Computation, ICNC, Vol. 5, 2009, pp. 432-436.
148. H. Jiang, C. Fu, A chaos-based high quality PN sequence generator, in: 2008 International Conference on Intelligent Computation Technology and Automation, ICICTA, Issue Date: 20-22 October 2008, pp. 60-64.
149. S. Zhu, S. Setia, and S. Jajodia LEAP: efficient security mechanisms for large-scale distributed sensor networks Proceedings of the 10th ACM Conference on Computer and Communications Security (CCS'03) 2003 ACM New York, NY, USA 62 72
150. Q. Hao, F. Hu, and Y. Xiao Multiple human tracking and identification with wireless distributed pyroelectric sensors IEEE Syst. J. 3 4 2009 428 439 special issue on Biometrics
151. D. Donoho Compressed sensing IEEE Trans. Inform. Theory 52 4 2006 1289 1306
152. Ahmad T. Al-Hammouri A comprehensive co-simulation platform for cyber-physical systems Comput. Commun. 36 1 2012 8 19 1 December
153. Weilin Li, Xiaobin Zhang, and Huimin Li Co-simulation platforms for co-design of networked control systems: An overview Control Eng. Pract. 23 2014 44 56
154. Jing Lin, S. Sedigh, A. Miller, Towards integrated simulation of cyber-physical systems: A case study on intelligent water distribution, in: Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing, 2009. DASC'09, 12-14 December 2009, pp. 690-695.
155. J. Wan, and et al. From machine-to-machine communications towards cyber-physical systems Comput. Sci. Inf. Syst. 10 3 2013 1105 1128
156. J. Wan, and et al. Context-aware vehicular cyber-physical systems with cloud support: architecture, challenges and solutions IEEE Commun. Mag. 52 8 2014 106 113