IEEE/CAA Journal of Automatica Sinica
Citation: | Xinping Guan, Bo Yang, Cailian Chen, Wenbin Dai and Yiyin Wang, "A Comprehensive Overview of Cyber-Physical Systems: From Perspective of Feedback System," IEEE/CAA J. of Autom. Sinica, vol. 3, no. 1, pp. 1-14, 2016. |
[1] |
Chen J, Yang B, Guan X P. Optimal demand response scheduling with stackelberg game approach under load uncertainty for smart grid. In:Proceedings of the 3rd IEEE International Conference on Smart Grid Communications (SmartGridComm). Tainan, China:IEEE, 2012. 546-551
|
[2] |
Li N, Chen L J, Low S H. Optimal demand response based on utility maximization in power networks. In:Proceedings of the 2011 IEEE Power and Energy Society General Meeting. San Diego, CA:IEEE, 2011. 1-8
|
[3] |
Deng R L, Chen J M, Cao X H, et al. Sensing-performance tradeoff in cognitive radio enabled smart grid. IEEE Transactions on Smart Grid, 2013, 4(1):302-310
|
[4] |
Calhoun B H, Lach J, Stankovic J, Wentzloff D D, Whitehouse K, Barth A T, Brown J K, Li Q, Oh S, Roberts N E, Zhang Y Q. Body sensor networks:a holistic approach from silicon to users. Proceedings of the IEEE, 2012, 100(1):91-106
|
[5] |
Fell M. Roadmap for the internet of things-its impact, architecture and future governance. Carre & Strauss, 2014.
|
[6] |
Wehrmeister M A, Pereira C E, Rammig F J. Aspect-oriented modeldriven engineering for embedded systems applied to automation systems. IEEE Transactions on Industrial Informatics, 2013, 9(4):2373-2386
|
[7] |
Estevez E, Marcos M. Model-based validation of industrial control systems. IEEE Transactions on Industrial Informatics, 2012, 8(2):302-310
|
[8] |
Zotil A, Prahofer H. Guidelines and patterns for building hierarchical automation solutions in the IEC 61499 modeling language. IEEE Transactions on Industrial Informatics, 2013, 9(4):2387-2396
|
[9] |
Lee E A, Seshia S A. Introduction to Embedded Systems, A Cyber-Physical Systems Approach. Lulu.com, 2011.
|
[10] |
Han Y H, Kang S, Kim J. ExCHARON:improved modeling language for cyber-physical systems based on CHARON. In:Proceedings of the 16th IEEE International Conference on Computational Science and Engineering (CSE). Sydney, NSW:IEEE, 2013. 734-741
|
[11] |
Liu M X, Ma W B, Su D S, Huang H B. A new model language for cyber physical systems. In:Proceedings of the 2013 IEEE Conference on Information Science and Cloud Computing Companion (ISCC-C). Guangzhou, China:IEEE, 2013. 435-440
|
[12] |
Taha W, Brauner P, Zeng Y F, Cartwright R, Gaspes V, Ames A, Chapoutot A. A core language for executable models of cyber-physical systems (Preliminary report). In:Proceedings of the 32nd International Conference on Distributed Computing Systems Workshops (ICDCSW). Macau, China:IEEE, 2013. 303-308
|
[13] |
Susuki Y, Koo T J, Ebina H, Yamazaki T, Ochi T, Uemura T, Hikihara T. A hybrid system approach to the analysis and design of power grid dynamic performance. Proceedings of the IEEE, 2012, 100(1):225-239
|
[14] |
Li H S, Lai L F, Poor H V. Multicast routing for decentralized control of cyber physical systems with an application in smart grid. IEEE Journal on Selected Areas in Communications, 2012, 30(6):1097-1107
|
[15] |
Li T, Tan F, Wang Q X, Bu L, Cao J N, Liu X. From offline toward real time:a hybrid systems model checking and cps codesign approach for medical device plug-and-play collaborations. IEEE Transactions on Parallel and Distributed Systems, 2014, 25(3):642-652
|
[16] |
Bak S, Johnson T T, Caccamo M, Sha L. Real-time reachability for verified simplex design. In:Proceedings of the 2014 IEEE Real-Time Systems Symposium(RTSS). Rome:IEEE, 2014. 138-148
|
[17] |
Branicky M S, Borkar V S, Mitter S K. A unified framework for hybrid control:model and optimal control theory. IEEE Transactions on Automatic Control, 1998, 43(1):31-45
|
[18] |
Akyildiz I F, Pompili D, Melodia T. Underwater acoustic sensor networks:research challenges. Ad Hoc Networks, 2005, 3(3):257-279
|
[19] |
Talcott C. Cyber-physical systems and events. Software-Intensive Systems and New Computing Paradigms. Berlin Heidelberg:Springer, 2008. 105-115
|
[20] |
Zhu Q Y, Bushnell L, Başar T. Resilient distributed control of multi-agent cyber-physical systems. Control of Cyber-Physical Systems. Switzerland:Springer, 2013.
|
[21] |
Le N T, Martin L, Mumme C, Pinkwart N. Communication-free detection of resource conflicts in multi-agent-based cyber-physical systems. In:Proceedings of the 6th IEEE International Conference on Digital Ecosystems Technologies (DEST). Campione, d'Italia:IEEE, 2012. 1-6
|
[22] |
Guedes G T A, Vicari R M. Applying AUML and UML 2 in the multiagent systems project. Advances in Conceptual Modeling-Challenging Perspectives. Berlin Heidelberg:Springer, 2009. 106-115
|
[23] |
Lin J, Sedigh S, Miller A. A semantic agent framework for cyberphysical systems. Semantic Agent Systems. Berlin Heidelberg:Springer, 2011. 189-213
|
[24] |
Sharma A B, Ivančić F, Niculescu-Mizil A, Chen H F, Jiang G F. Modeling and analytics for cyber-physical systems in the age of big data. ACM SIGMETRICS Performance Evaluation Review, 2014, 41(4):74-77
|
[25] |
Zhang L C. A framework to model big data driven complex cyber physical control systems. In:Proceedings of the 20th International Conference on Automation and Computing (ICAC). Cranfield:IEEE, 2014. 283-288
|
[26] |
Lee J, Bagheri B, Kao H A. A cyber-physical systems architecture for industry 4. 0-based manufacturing systems. Manufacturing Letters, 2015, 3:18-23
|
[27] |
Lee J, Kao H A, Yang S H. Service innovation and smart analytics for industry 4. 0 and big data environment. Procedia CIRP, 2014, 16:3-8
|
[28] |
Hsieh M A, Mallory K, Forgoston E, Schwartz I B. Distributed allocation of mobile sensing agents in geophysical flows. In:Proceedings of the 2014 IEEE American Control Conference (ACC). Portland, OR:IEEE, 2014. 165-171
|
[29] |
Zivan R, Yedidsion H, Okamoto S, Glinton R, Sycara K. Distributed constraint optimization for teams of mobile sensing agents. Autonomous Agents and Multi-Agent Systems, 2015, 29(3):495-536
|
[30] |
Du R, Chen C, Yang B, Lu N, Guan X P, Shen X M. Effective urban traffic monitoring by vehicular sensor networks. IEEE Transactions on Vehicular Technology, 2015, 64(1):273-286
|
[31] |
Work D B, Bayen A M. Impacts of the mobile internet on transportation cyberphysical systems:traffic monitoring using smartphones. In:Proceedings of the 2008 National Workshop for Research on High-Confidence Transportation Cyber-Physical Systems:Automotive Aviation, & Rail. Washington D. C., USA, 2008. 1-3
|
[32] |
Higashino T, Uchiyama A. A study for human centric cyber physical system based sensing:toward safe and secure urban life. Information Search, Integration and Personalization, Communications in Computer and Information Science. Berlin Heidelberg:Springer, 2013. 61-70
|
[33] |
Luo C, Wu F, Sun J, Chen C W. Compressive data gathering for largescale wireless sensor networks. In:Proceedings of the 15th Annual International Conference on Mobile Computing and Networking (MobiCom). Beijing, China:ACM, 2009. 145-156
|
[34] |
Li W S, Zhu S Y, Chen C L, Guan X P. Distributed consensus filtering based on event-driven transmission for wireless sensor networks. In:Proceedings of the 31st Chinese Control Conference (CCC). Hefei, China:IEEE, 2012. 6588-6593
|
[35] |
Rana R, Yang M R, Wark T, Chou C T, Hu W. SimpleTrack:adaptive trajectory compression with deterministic projection matrix for mobile sensor networks. IEEE Sensors Journal, 2015, 15(1):365-373
|
[36] |
Nower N, Tan Y S, Lim A O. Efficient temporal and spatial data recovery scheme for stochastic and incomplete feedback data of cyber-physical systems. In:Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering (SOSE). Oxford:IEEE, 2014. 192-197
|
[37] |
Eldar Y C, Kutyniok G. Compressed Sensing:Theory and Applications. Cambridge:Cambridge University Press, 2012.
|
[38] |
Li Y, Tian C, Zhang F, Xu C Z. Traffic condition matrix estimation via weighted spatio-temporal compressive sensing for unevenly-distributed and unreliable GPS data. In:Proceedings of the 17th IEEE International Conference on Intelligent Transportation Systems (ITSC). Qingdao, China:IEEE, 2014. 1304-1311
|
[39] |
Du R, Chen C L, Yang B, Guan X P. VANET based traffic estimation:a matrix completion approach. In:Proceedings of the 2013 IEEE Global Communications Conference (GLOBECOM). Atlanta, USA:IEEE, 2013. 30-35
|
[40] |
Han D, Cheng P, Chen J M, Shi L. An online sensor power schedule for remote state estimation with communication energy constraint. IEEE Transactions on Automatic Control, 2014, 59(7):1942-1947
|
[41] |
Man K L, Wan K Y, Ting T O, Chen C, Krilavičius T, Chang J, Poon S H. Towards a hybrid approach to SoC estimation for a smart battery management system (BMS) and battery supported cyber-physical systems (CPS). In:Proceedings of the 2nd IEEE Baltic Congress on Future Internet Communications. Vilnius:IEEE, 2012. 113-116
|
[42] |
Deshmukh S, Natarajan B, Pahwa A. State estimation in spatially distributed cyber-physical systems:Bounds on critical measurement drop rates. In:Proceedings of the 2013 IEEE Conference on Distributed Computing in Sensor Systems. Cambridge, MA:IEEE, 2013. 157-164
|
[43] |
Quevedo D E, Ostergaard J, Ahlen A. Power control and coding formulation for state estimation with wireless sensors. IEEE Transactions on Control Systems Technology, 2014, 22(2):413-427
|
[44] |
Leong A S, Quevedo D E, Ahln A, Johansson K H. Network topology reconfiguration for state estimation over sensor networks with correlated packet drops. In:Proceedings of the 19th IFAC World Congress on International Federation of Automatic Control. Cape Town, South Africa:IFAC, 2014. 5532-5537
|
[45] |
Leong A, Quevedo D. Kalman filtering with relays over wireless fading channels. IEEE Transactions on Automatic Control 2015(accepted). DOI: 10.1109/TAC.2015.2478129
|
[46] |
Nourian M, Leong A S, Dey S. Optimal energy allocation for kalman filtering over packet dropping links with imperfect acknowledgments and energy harvesting constraints. IEEE Transactions on Automatic Control, 2014, 59(8):2128-2143
|
[47] |
Pajic M, Weimer J, Bezzo N, Tabuada P, Sokolsky O, Lee I, Pappas G J. Robustness of attack-resilient state estimators. In:Proceedings of the 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS). Berlin, German:IEEE, 2014. 163-174
|
[48] |
Zonouz S, Rogers K M, Berthier R, Bobba R B, Sanders W H, Overbye T J. SCPSE:security-oriented cyber-physical state estimation for power grid critical infrastructures. IEEE Transactions on Smart Grid, 2012, 3(4):1790-1799
|
[49] |
Zhu S Y, Chen C L, Guan X P. Distributed optimal consensus filter for target tracking in heterogeneous sensor networks. In:Proceedings of the 8th Asian Control Conference (ASCC). Kaohsiung, China:IEEE, 2011. 806-811
|
[50] |
Khan U A, Stankovic A M. Secure distributed estimation in cyberphysical systems. In:Proceedings of the 2013 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). Vancouver, BC:IEEE, 2013. 5209-5213
|
[51] |
Tang A L, Yu X, Kim S, Han J W, Peng W C, Sun Y Z, Leung A, La Porta T. Multidimensional sensor data analysis in cyber-physical system:an atypical cube approach. International Journal of Distributed Sensor Networks, 2012, 2012:Article ID 724846
|
[52] |
Fang X, Misra S, Xue G L, Yang D J. Smart grid:the new and improved power grid:a survey. IEEE Communications Surveys& Tutorials, 2012, 14(4):944-980
|
[53] |
Cui Y, Lau V K N, Wang R, Huang H, Zhang S Q. A survey on delayaware resource control for wireless systems-large deviation theory, stochastic Lyapunov drift, and distributed stochastic learning. IEEE Transactions on Information Theory, 2012, 58(3):1677-1701
|
[54] |
Lien S Y, Cheng S M, Shih S Y, Chen K C. radio resource management for QoS guarantees in cyber-physical systems. IEEE Transactions on Parallel and Distributed Systems, 2012, 23(9):1752-1761
|
[55] |
Zhu X, Yang B, Chen C, Xue L, Guan X P, Wu F. Cross-layer scheduling for ofdma-based cognitive radio systems with delay and security constraints. IEEE Transactions on Vehicular Technology, 2015, 64(12):5919-5934
|
[56] |
Seiler P, Sengupta R. Analysis of communication losses in vehicle control problems. In:Proceedings of the 2001 American Control Conference. Arlington, USA:IEEE, 2001. 1491-1496
|
[57] |
Ghaderi M, Towsley D, Kurose J. Reliability gain of network coding in lossy wireless networks. In:Proceedings of the 27th IEEE Conference on Computer Communications. Phoenix, USA:IEEE, 2008.1-6
|
[58] |
Laneman J N, Wornell G W. Distributed space-time-coded protocols for exploiting cooperative diversity in wireless networks. IEEE Transactions on Information Theory, 2003, 49(10):2415-2425
|
[59] |
Marchenko N, Andre T, Brandner G, Masood W, Bettstetter C. An experimental study of selective cooperative relaying in industrial wireless sensor networks. IEEE Transactions on Industrial Informatics, 2014, 10(3):1806-1816
|
[60] |
Yang B, Shen Y Y, Johansson M, Chen C L, Guan X P. Opportunistic multichannel access with decentralized channel state information. Wireless Communications and Mobile Computing, 2015, 15(2):322-339
|
[61] |
Deng X, Yang Y Y. Communication synchronization in cluster-based sensor networks for cyber-physical systems. IEEE Transactions on Emerging Topics in Computing, 2013, 1(1):98-110
|
[62] |
Ehyaei A, Tovar E, Pereira N, Andersson B. Scalable data acquisition for densely instrumented cyber-physical systems. In:Proceedings of the 2011 IEEE/ACM International Conference on Cyber-Physical Systems (ICCPS). Chicago, USA:IEEE, 2011. 174-183
|
[63] |
Zhou J Z, Hu R Q, Qian Y. Scalable distributed communication architectures to support advanced metering infrastructure in smart grid. IEEE Transactions on Parallel and Distributed Systems, 2012, 23(9):1632-1642
|
[64] |
Han Q N, Yang B, Wang X C, Ma K, Chen C L, Guan X P. Hierarchical-game-based uplink power control in Femtocell networks. IEEE Transactions on Vehicular Technology, 2014, 63(6):2819-2835
|
[65] |
Yang B, Feng G, Shen Y Y, Long C N, Guan X P. Channel-aware access for cognitive radio networks. IEEE Transactions on Vehicular Technology, 2009, 58(7):3726-3737
|
[66] |
Wang Y B, Vuran M C, Goddard S. Cyber-physical systems in industrial process control. ACM SIGBED Review, 2008, 5(1):Article No. 12
|
[67] |
Tabuada P, Caliskan S Y, Rungger M, Majumdar R. Towards robustness for cyber-physical systems. IEEE Transactions on Automatic Control, 2014, 59(12):3151-3163
|
[68] |
Nowzari C, Cortes J. Team-triggered coordination for real-time control of networked cyber-physical systems. IEEE Transactions on Automatic Control, 2015, 61(1):34-47
|
[69] |
Aminifar A, Eles P, Peng Z B, Cervin A. Control-quality driven design of cyber-physical systems with robustness guarantees. In:Proceedings of the 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE). Grenoble, France:IEEE, 2013. 1093-1098
|
[70] |
Molin A, Hirche S. Price-based adaptive scheduling in multi-loop control systems with resource constraints. IEEE Transactions on Automatic Control, 2014, 59(12):3282-3295
|
[71] |
Trimpe S, Buchli J. Event-based estimation and control for remote robot operation with reduced communication. In:Proceedings of the IEEE International Conference on Robotics and Automation. Seattle, USA:IEEE, 2015. 5018-5025
|
[72] |
Gatsis K, Pajic M, Ribeiro A, Pappas G J. Opportunistic control over shared wireless channels. IEEE Transactions on Automatic Control, 2015, 60(12):3140-3155
|
[73] |
Antunes D, Heemels W P M H. Rollout event-triggered control:beyond periodic control performance. IEEE Transactions on Automatic Control, 2014, 59(12):3296-3311
|
[74] |
Goswami D, Schneider R, Chakraborty S. Co-design of cyber-physical systems via controllers with flexible delay constraints. In:Proceedings of the 16th Asia and South Pacific Design Automation Conference. Yokohama, Japan:IEEE, 2011. 225-230
|
[75] |
Demirel B, Zou Z H, Soldati P, Johansson M. Modular design of jointly optimal controllers and forwarding policies for wireless control. IEEE Transactions on Automatic Control, 2014, 59(12):3252-3265
|
[76] |
Cao X H, Cheng P, Chen J M, Sun Y X. An online optimization approach for control and communication codesign in networked cyberphysical systems. IEEE Transactions on Industrial Informatics, 2013, 9(1):439-450
|
[77] |
Giordano A, Spezzano G, Vinci A, Garofalo G, Piro P. A cyber-physical system for distributed real-time control of urban drainage networks in smart cities. Internet and Distributed Computing Systems. Switzerland:Springer International Publishing, 2014. 87-98
|
[78] |
Wu L, Kaiser G. FARE:a framework for benchmarking reliability of cyber-physical systems. In:Proceedings of the 2013 IEEE Long Island Systems, Applications and Technology Conference (LISAT). Farmingdale, NY:IEEE, 2013. 1-6
|
[79] |
Wang X F, Hovakimyan N, Sha L. L1simplex:fault-tolerant control of cyber-physical systems. In:Proceedings of the 2013 ACM/IEEE International Conference on Cyber-Physical Systems. Philadelphia, PA:IEEE, 2013. 41-50
|
[80] |
Liu Y, Ning P, Reiter M K. False data injection attacks against state estimation in electric power grids. ACM Transactions on Information and System Security, 2011, 14(1):Article No. 13
|
[81] |
Pasqualetti F, Carli R, Bullo F A. A distributed method for state estimation and false data detection in power networks. In:Proceedings of the 2011 IEEE International Conference on Smart Grid Communications. Brussels, French:IEEE, 2011. 469-474
|
[82] |
Amin S, Cárdenas A, Sastry S S. Safe and secure networked control systems under denial-of-service attacks. Hybrid Systems:Computation and Control. Berlin Heidelberg:Springer, 2006. 31-45
|
[83] |
Teixeira A, Amin S, Sandberg H, Johansson K H, Sastry S S. Cyber security analysis of state estimators in electric power systems. In:Proceedings of the 49th IEEE Conference on Decision and Control. Atlanta, GA:IEEE, 2010. 5991-5998
|
[84] |
Mo Y L, Sinopoli B. Secure control against replay attacks. In:Proceedings of the 47th Annual Allerton Conference on Communication, Control, and Computing. Monticello, IL, 2009. 911-918
|
[85] |
Smith R S. A decoupled feedback structure for covertly appropriating networked control systems. In:Proceedings of the 18th IFAC World Congress. Milano, Italy:IFAC, 2011. 90-95
|
[86] |
Gkoulalas-Divanis A, Loukides G, Xiong L, Sun J M. Informatics methods in medical privacy. Journal of Biomedical Informatics, 2014, 50(1):1-3
|
[87] |
Akella R, Tang H, McMillin B M. Analysis of information flow security in cyber-physical systems. International Journal of Critical Infrastructure Protection, 2010, 3(3-4):157-173
|
[88] |
Vukovic O, Sou K C, Dan G, Sandberg H. Network-aware mitigation of data integrity attacks on power system state estimation. IEEE Journal on Selected Areas in Communications, 2012, 30(6):1108-1118
|
[89] |
Li H S, Lai L F, Zhang W Y. Communication requirement for reliable and secure state estimation and control in smart grid. IEEE Transactions on Smart Grid, 2011, 2(3):476-486
|
[90] |
Uludag S, Lui K S, Ren W, Nahrstedt K. Secure and scalable data collection with time minimization in the smart grid. IEEE Transactions on Smart Grid, 2016, 7(1):43-54
|
[91] |
Kim Y J, Kolesnikov V, Thottan M. Resilient end-to-end message protection for large-scale cyber-physical system communications. In:Proceedings of the 3rd IEEE International Conference on Smart Grid Communications (SmartGridComm). Tainan, China:IEEE, 2012. 193-198
|
[92] |
Teixeira A, Sou K C, Sandberg H, Johansson K H. Secure control systems:a quantitative risk management approach. IEEE Control Systems, 2015, 35(1):24-45
|
[93] |
Teixeira A, Shames I, Sandberg H, Johansson K H. A secure control framework for resource-limited adversaries. Automatica, 2015, 51:135-148
|
[94] |
Sleptchenko A, Johnson M E. Maintaining secure and reliable distributed control systems. Informs Journal on Computing, 2015, 27(1):103-117
|
[95] |
Pasqualetti F, Zhu Q. Design and operation of secure cyber-physical systems. IEEE Embedded Systems Letters, 2015, 7(1):3-6
|
[96] |
Zhu Q Y, Basar T. Game-theoretic methods for robustness, security, and resilience of cyberphysical control systems:games-in-games principle for optimal cross-layer resilient control systems. IEEE Control Systems, 2015, 35(1):46-65
|
[97] |
Wu C Z, Peng L Q, Huang Z, Zhong M, Chu D F. A method of vehicle motion prediction and collision risk assessment with a simulated vehicular cyber physical system. Transportation Research, Part C:Emerging Technologies, 2014, 47:179-191
|
[98] |
Sau J, El Faouzi N E, Billot R, Canaud M. Particle filter-based strategy for online calibration and parameter estimation of motorway traffic model. In:Proceedings of the 2013 Transportation Research Board (TRB) 92nd Annual Meeting. Washington, D. C, USA, 2013. 1-8
|
[99] |
Jaeger A, Bimeyer N, Stübing H, Huss S A. A novel framework for efficient mobility data verification in vehicular ad-hoc networks. International Journal of Intelligent Transportation Systems Research, 2012, 10(1):11-21
|
[100] |
Fallah Y P, Huang C L, Sengupta R, Krishnan H. Design of cooperative vehicle safety systems based on tight coupling of communication, computing and physical vehicle dynamics. In:Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS). New York, USA:ACM, 2010. 159-167
|
[101] |
Shen P Y, Liu V, Tang M L, Caelli W. An efficient public key management system:an application in vehicular ad hoc networks. In:Proceedigns of the 2011 Pacific Asia Conference on Information Systems (PACIS). Brisbane:AIS Electronic Library, 2011. 175
|
[102] |
Murphey Y L, Chen Z H, Kiliaris L, Masrur M A. Intelligent power management in a vehicular system with multiple power sources. Journal of Power Sources, 2011, 196(2):835-846
|