A journal of IEEE and CAA , publishes high-quality papers in English on original theoretical/experimental research and development in all areas of automation
Volume 4 Issue 1
Jan.  2017

IEEE/CAA Journal of Automatica Sinica

  • JCR Impact Factor: 11.8, Top 4% (SCI Q1)
    CiteScore: 17.6, Top 3% (Q1)
    Google Scholar h5-index: 77, TOP 5
Turn off MathJax
Article Contents
Yang Liu, Yu Peng, Bailing Wang, Sirui Yao and Zihe Liu, "Review on Cyber-physical Systems," IEEE/CAA J. Autom. Sinica, vol. 4, no. 1, pp. 27-40, Jan. 2017.
Citation: Yang Liu, Yu Peng, Bailing Wang, Sirui Yao and Zihe Liu, "Review on Cyber-physical Systems," IEEE/CAA J. Autom. Sinica, vol. 4, no. 1, pp. 27-40, Jan. 2017.

Review on Cyber-physical Systems

Funds:

This work was supported by National Natural Science of China 61170262

This work was supported by National Natural Science of China 61371177

More Information
  • Cyber-physical systems (CPS) are complex systems with organic integration and in-depth collaboration of computation, communications and control (3C) technology. Subject to the theory and technology of existing network systems and physical systems, the development of CPS is facing enormous challenges. This paper first introduces the concept and characteristics of CPS and analyzes the present situation of CPS researches. Then the development of CPS is discussed from perspectives of system model, information processing technology and software design. At last it analyzes the main obstacles and key researches in developing CPS.

     

  • loading
  • [1]
    Z.Song, Y.Q.Chen, C.R.Sastry, and N.C.Tas, Optimal Observation for Cyber-Physical Systems:A Fisher-Information-Matrix-Based Approach.London:Springer-Verlag, 2009.
    [2]
    R.Rajkumar, "A cyber-physical future, "Proc.IEEEE, vol.100, no.Special Centennial Issue, pp.1309-1312, May 2012.
    [3]
    C.Tricaud and Y.Q.Chen, "Optimal mobile actuator/sensor network motion strategy for parameter estimation in a class of cyber physical systems, "in Proc.2009 American Control Conf., St.Louis, MO, 2009, pp.367-372.
    [4]
    E.A.Lee, "Computing foundations and practice for cyber-physical systems:a preliminary report, "Tech.Rep.UCB/EECS-2007-72, University of California, Berkeley, May 2007. https://www2.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-72.pdf
    [5]
    J.F.He, "Cyber-physical systems, "Commun.China Comput.Feder., vol.6, no.1, pp.25-29, 2010. https://www.cs.purdue.edu/homes/bb/CPSReviewPaper.pdf
    [6]
    G.R.Gonzalez, M.M.Organero, and C.D.Kloos, "Early infrastructure of an internet of things in spaces for learning, "in Proc.8th IEEE Int. Conf.Advanced Learning Technologies, Santander, Cantabria, 2008, pp.381-383. https://www.researchgate.net/profile/Gustavo_Ramirez-Gonzalez/publication/221425065_Early_Infrastructure_of_an_Internet_of_Things_in_Spaces_for_Learning/links/0fcfd50b642350cfa3000000.pdf?inViewer=true&disableCoverPage=true&origin=publication_detail
    [7]
    Y.Sun, B.McMillin, X.Q.Liu, and D.Cape, "Verifying noninterference in a cyber-physical system the advanced electric power grid, "in Proc.7th Int.Conf.Quality Software, Portland, OR, 2007, pp.363-369. http://filpower.mst.edu/media/research/filpower/documents/QSIC2007_081607.pdf
    [8]
    M.D.Ilic, L.Xie, U.A.Khan, and J.M.F.Moura, "Modeling of future cyber-physical energy systems for distributed sensing and control, "IEEE Trans.Syst.Man Cybernet.A:Syst.Human., vol.40, no.4, pp.825-838, Jul.2010. http://www.ece.tamu.edu/~lxie/papers/Final_As_Appear_July2010.pdf
    [9]
    F.M.Zhang, K.Szwaykowska, W.Wolf, and V.Mooney, "Task scheduling for control oriented requirements for cyber-physical systems, in Proc.2008 Real-time Systems Symp., Barcelona, 2008, pp.47-56. http://dl.acm.org/citation.cfm?id=1475690.1475889
    [10]
    P.L.Tan, J.Shu, and Z.H.Wu, "An architecture for cyber-physical systems, "J.Comput.Res.Dev., vol.47, no.Suppl., pp.312-316, Nov.2010. http://en.cnki.com.cn/Article_en/CJFDTOTAL-JFYZ2010S2065.htm
    [11]
    Y.F.Zhang, C.Gill, and C.Y.Lu, "Reconfigurable real-time middleware for distributed cyber-physical systems with aperiodic events, "in Proc.28th International Conf.Distributed Computing Systems, Beijing, China, 2008, pp.581-588. http://ieeexplore.ieee.org/document/4595930/
    [12]
    D.Faggioli, M.Bertogna, and F.Checconi, "Sporadic server revisited, in Proc.2010 ACM Symp.Applied Computing, Sierre, Switzerland, 2010, pp.340-345.
    [13]
    Y.Tan, S.Goddard, and L.C.Pérez, "A prototype architecture for cyber-physical systems, "ACM SIGBED Rev., vol.5, no.1, Article No.26, Jan.2008.
    [14]
    T.L.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.28th IEEE Int.Real-Time Systems Symp., Tucson, AZ, 2007, pp.400-412. http://web.engr.illinois.edu/~egunter/papers/RTSS2007.pdf
    [15]
    K.J.Lin and M.Panahi, "A real-time service-oriented framework to support sustainable cyber-physical systems, "in Proc.8th IEEE Int. Conf.Industrial Informatics, Osaka, 2010, pp.15-21. http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5549473
    [16]
    F.Pasqualetti, F.Dörfler, and F.Bullo, "Attack detection and identification in cyber-physical systems, "IEEE Trans.Auto.Control, vol.58, no.11, pp.2715-2729, Nov.2013. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6545301
    [17]
    B.Stasonis, "Introducing the LXI specification-intent & benefits, "in Proc.of International Conference on Distributed Computing Systems (ICDCS), Piscataway, 2011, pp.1-18.
    [18]
    R.A.Thacker, K.R.Jones, C.J.Myers, and H.Zheng, "Automatic abstraction for verification of cyber-physical systems, "in Pro.1st ACM/IEEE Int.Conf.Cyber-Physical Systems, Stockholm, Sweden, 2010, pp.12-21. http://dl.acm.org/citation.cfm?doid=1795194.1795197
    [19]
    C.Qi and Y.He, "Design of data collection system based on CPS," Comput.Syst.Appl., vol.19, no.6, pp.5-8, Jul.2010.
    [20]
    Y.F.Hu, F.M.Li, and X.H.Liu, "CPS:network system framework and key technologies, "J.Comput.Res.Dev., vol.47, no.Suppl., pp.304-311, Nov.2010.
    [21]
    I.D.Chakeres, C.Danilov, T.R.Henderson, and J.P.Macker, "Connecting MANET multicast, "in Proc.IEEE Military Communications Conf., Orlando, FL, USA, 2007, pp.1-7.
    [22]
    C.Y.Wan, C.Y.Li, R.H.Hwang, and Y.S.Chen, "Global connectivity for mobile IPv6-based ad hoc networks, "in Proc.19th Int.Conf. Advanced Information Networking and Applications, Taipei, China, 2005, pp.807-812. https://www.researchgate.net/profile/Yuh-Shyan_Chen2/publication/224613520_Global_connectivity_for_mobile_IPv6-based_ad_hoc_networks/links/0deec52adbff426476000000.pdf
    [23]
    K.Chandran, S.Raghunathan, S.Venkatesan, and R.Prakash, "A feedback based scheme for improving TCP performance in ad-hoc wireless networks, "in Proc.18th Int.Conf.Distributed Computing System, Amsterdam, 1998, pp.472-479. http://ieeexplore.ieee.org/document/904897/
    [24]
    A.G.Neonakis and R.Tafazolli, "On the relaying capability of nextgeneration GSM cellular networks, "IEEE Personal Commun., vol.8, no.1, pp.40-47, Feb.2001. http://ieeexplore.ieee.org/document/904898/
    [25]
    A.N.Zadeh, B.Jabbari, R.Pickhohz, and B.Vojcic, "Self-organizing packet radio ad hoc networks with overlay (SoPRANO), "IEEE Commun. Mag., vol.40, no.6, pp.149-157, Jun.2012. http://acronyms.thefreedictionary.com/Self-Organizing+Packet+Radio+Ad-Hoc+Networks+with+Overlay
    [26]
    W.Hu, C.M.Qiao, S.De, and O.Tonguz, "Integrated cellular and ad hoc relaying systems:iCAR, "IEEE J.Select.Areas Commun., vol.19, no.10, pp.2105-2115, Oct.2001.
    [27]
    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.2008 Int.Workshop on Intelligent Solutions in Embedded Systems, Regensburg, 2008, pp.1-10. http://ieeexplore.ieee.org/document/4623298/
    [28]
    A.A.Cárdenas, S.Amin, and S.Sastry, "Secure control:towards survivable cyber-physical systems, "in Proc.28th Int.Conf.Distributed Computing Systems Workshops, Beijing, China, 2008, pp.495-500. https://chess.eecs.berkeley.edu/pubs/449/SecureControl-v1-1.pdf
    [29]
    C.Singh and A.Sprintson, "Reliability assurance of cyber-physical power systems, "in Proc.2010 IEEE Power and Energy Society General Meeting, Minneapolis, MN, 2010, pp.1-6. http://ieeexplore.ieee.org/document/5590189/
    [30]
    T.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.2010 IEEE 34th Annual Computer Software and Applications Conf.Workshops, Seoul, 2010, pp.158-163. https://cs.mst.edu/media/academic/cs/images/accreditations/Gamage%202.pdf
    [31]
    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 Proc.20th Int.Symp.Software Reliability Engineering, Mysuru, Karnataka, 2009, pp.51-60. doi: 10.1109/ISSRE.2009.21
    [32]
    Q.Y.Zhu, C.Rieger, and T.Basar, "A hierarchical security architecture for cyber-physical systems, "in Proc.20114th Int.Symp.Resilient Control Systems, Boise, ID, 2011, pp.15-20. http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=6016081
    [33]
    W.Jiang, W.H.Guo, and N.Sang, "Periodic real-time message scheduling for confidentiality-aware cyber-physical system in wireless networks, "in Proc.5th Int.Conf.Frontier of Computer Science and Technology, Changchun, China, 2010, pp.355-360. http://ieeexplore.ieee.org/articleDetails.jsp?arnumber=5575936
    [34]
    F.Mueller, "Challenges for cyber-physical systems:security, timing analysis and soft error protection, "in High-Confidence Software Platforms for Cyber-Physical Systems (HCSP-CPS) Workshop, Alexandria, Virginia, 2006. http://moss.csc.ncsu.edu/~mueller/ftp/pub/mueller/papers/cps06.pdf
    [35]
    E.A.Lee, "Cyber physical systems:design challenges, "in Proc. the 11th IEEE Int.Symp.Object and Component-Oriented Real-Time Distributed Computing (ISORC), Orlando, FL, 2008, pp.363-369.
    [36]
    U.Kremer, "Cyber-physical systems:a case for soft real-time", Accessed on:May 1, 2013.[Online].Available:http://www.research.rutgers.edu/~uli/Sarana/documents/CPS-Uli.pdf
    [37]
    H.Al-Omari, F.Wolff, C.Papachristou, and D.McIntyre, "Avoiding delay jitter in cyber-physical systems using one way delay variations model, "in Proc.2009 Int.Conf.Computational Science and Engineering, Vancouver, BC, 2009, pp.295-302.
    [38]
    K.Pereira, "Cyber-Physical Systems", Accessed on:Nov.1, 2013.[Online].Available:http://www.International.rutgers.edu/
    [39]
    J.H.Shi, J.F.Wan, H.H.Yan, and H.Suo, "A survey of cyber-physical systems, "in Proc.2011 Int.Conf.IEEE Wireless Communications and Signal Processing (WCSP), Nanjing, China, 2011.
    [40]
    T.Tidwell, X.Y.Gao, H.M.Huang, C.Y.Lu, S.Dyke, and C.Gill, "Towards configurable real-time hybrid structural testing:a cyber-physical system approach", in Proc.IEEE Int.Symp. Object Component Service-Oriented Real-Time Distributed Computing, Tokyo, 2009, pp.37-44. http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=5231975
    [41]
    Y.Peng, Q.H.Luo, and Z.Q.Liu, "An automatic evaluation system for IEEE1588 synchronization clock unit, "in Proc.9th Int.Conf. Electronic Measurement & Instruments, Beijing, China, 2009, pp.3-408-3-413. https://www.deepdyve.com/lp/institute-of-electrical-and-electronics-engineers/an-automatic-evaluation-system-for-ieee1588-synchronization-clock-unit-m5T7Cin0uJ
    [42]
    S.Andrei and A.M.K.Cheng, "Optimizing automotive cyber-physical system specifications with multi-event dependencies, "in Proc.10th Int.Symp.Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, 2008, pp.475-479. http://dl.acm.org/citation.cfm?id=1608330
    [43]
    K.D.Kang and S.H.Son, "Real-time data services for cyber physical systems, "in Proc.28th Int.Conf.Distributed Computing Systems Workshops, Beijing, China, 2008, pp.483-488. https://www.cs.virginia.edu/~son/publications/cpsw08.pdf
    [44]
    Y.Peng, Q.H.Luo, and X.Y.Peng, "Analysis of uncertain data processing methods in networking test framework, "Chin.J.Sci.Instr., vol.31, no.1, pp.229-240, Jan.2010. https://www.researchgate.net/publication/289737963_Analysis_of_uncertain_data_processing_methods_in_networking_test_framework
    [45]
    M.C.Bujorianu, M.L.Bujorianu, and H.Barringer, "A unifying specification logic for cyber-physical systems, "in Proc.17th Mediterranean Conf.Control and Automation, Thessaloniki, 2009, pp.1166-1171. http://wenku.baidu.com/view/fdfec27202768e9951e738f1.html
    [46]
    L.Parolini, N.Tolia, B.Sinopoli, and B.H.Krogh, "A cyber-physical systems approach to energy management in data centers, "in Proc. 1st ACM/IEEE Int.Conf.Cyber-Physical Systems, Stockholm, Sweden, 2010, pp.168-177. http://dl.acm.org/citation.cfm?doid=1795194.1795218
    [47]
    H.Ahmadi, T.F.Abdelzaher, and I.Gupta, "Congestion control for spatio-temporal data in cyber-physical systems, "in Proc.1st ACM/IEEE Int.Conf.Cyber-Physical Systems, Stockholm, Sweden, 2010, pp.89-98. http://dl.acm.org/citation.cfm?id=1795207
    [48]
    Z.J.Wang and L.L.Xie, "Cyber-physical systems:a survey, "Acta Automat.Sin., vol.37, no.10, pp.1157-1166, Oct.2011.
    [49]
    K.J.Park, M.K.Yoon, K.Kang, and C.G.Lee, "Scheduling and control co-design under end-to-end response time constraints in cyberphysical systems, "in Proc.2011 IEEE Conf.Computer Communications Workshops, Shanghai, China, 2011, pp.762-767. http://cse.unl.edu/~byrav/INFOCOM2011/workshops/papers/p773-park.pdf
    [50]
    M.Blanke, M.Kinnaert, J.Lunze, and M.Staroswiecki, Diagnosis and Fault-tolerant Control.Berlin:Springer-Verlag, 2003.
    [51]
    F.Pasqualetti, F.Dörfler, and F.Bullo, "Cyber-physical attacks in power networks:models, fundamental limitations and monitor design, in Proc.201150th IEEE Conf.Decision and Control and European Control Conf., Orlando, FL, USA, 2011, pp.2195-2201. http://motion.me.ucsb.edu/pdf/2011i-pdb.pdf
    [52]
    V.K.Singh and R.Jain, "Situation based control for cyber-physical environments, "in Proc.IEEE Military Communications Conf., Boston, MA, 2009, pp.1-7.
    [53]
    J.L.Ny and G.J.Pappas, "Robustness analysis for the certification of digital controller implementations, "in Proc.1st ACM/IEEE Int.Conf. Cyber-Physical Systems, Stockholm, Sweden, 2010, pp.99-108. http://dl.acm.org/citation.cfm?id=1795209&dl=ACM&coll=DL
    [54]
    S.Bak, A.Greer, and S.Mitra, "Hybrid cyberphysical system verification with simplex using discrete abstractions, "in Proc.201016th IEEE Real-Time and Embedded Technology and Applications Symp., Stockholm, 2010, pp.143-152. https://www.researchgate.net/publication/221569270_Hybrid_Cyberphysical_System_Verification_with_Simplex_Using_Discrete_Abstractions
    [55]
    G.Pota, A.Girard, and P.Tabuada, "Approximately bisimilar symbolic models for nonlinear control systems, "Automatica, vol.44, no.10, pp.2508-2516, Oct.2008. http://www.sciencedirect.com/science/article/pii/S0005109808001933
    [56]
    D.Goswami, R.Schneider, A.Masrur, M.Lukasiewycz, S. Chakraborty, H.Voit, and A.Annaswamy, "Challenges in automotive cyber-physical systems design, "in Proc.2012 Int.Conf.Embedded Computer Systems, Samos, 2012, pp.346-354.
    [57]
    C.Gill, "Cyber-physical system software for HCMDSS, "in Proc.Joint Workshop on High Confidence Medical Devices, Software, and Systems Medical Device Plug-and-Play Interoperability, Boston, MA, 2007, pp.176-177.
    [58]
    A.Dabholkar and A.Gokhale, "An approach to middleware specialization for cyber physical systems, "in Proc.29th IEEE Int. Conf.Distributed Computing Systems Workshops, Montreal, QC, 2009, pp.73-79. http://www.dre.vanderbilt.edu/~gokhale/WWW/papers/WCPS09_GAMMA.pdf
    [59]
    H.Woo, J.L.Yi, J.C.Browne, A.K.Mok, E.Atkins, and F.Xie, Design and development methodology for resilient cyber-physical systems, "in Proc.28th Int.Conf.Distributed Computing Systems Workshops, Beijing, China, 2008, pp.525-528. http://ieeexplore.ieee.org/document/4577838/
    [60]
    P.A.Vicaire, E.Hoque, Z.H.Xie, and J.A.Stankovic, "Bundle:a group-based programming abstraction for cyber-physical systems," IEEE Trans.Ind.Inform., vol.8, no.2, pp.379-392, May 2012. https://www.cs.virginia.edu/~stankovic/psfiles/Bundles-3.pdf
    [61]
    J.Lin, S.Sedigh, and A.Miller, "Towards integrated simulation of cyber-physical systems:a case study on intelligent water distribution, in Proc.8th IEEE Int.Conf.Dependable, Autonomic and Secure Computing, Chengdu, China, 2009, pp.690-695. http://ieeexplore.ieee.org/document/5380619/
    [62]
    T.Tidwell, R.Glaubius, C.D.Gill, and W.D.Smart, "Optimal time utility based scheduling policy design for cyber-physical systems, Washington University, St.Louis, MO, WUCSE-2010-27, 2010. http://openscholarship.wustl.edu/cgi/viewcontent.cgi?article=1040&context=cse_research
    [63]
    R.R.Rajkumar, I.Lee, L.Sha, and J.Stankovic, "Cyber-physical systems:the next computing revolution, "in Proc.47th Design Automation Conference, Anaheim, California, 2010, pp.731-736. http://www.cs.virginia.edu/~stankovic/psfiles/Rajkumar-DAC2010-Final.pdf
    [64]
    R.F.Li, Y.Xie, R.Li, and L.Li, "Survey of cyber-physical systems," J.Comp.Res.Dev., vol.49, no.6, pp.1149-1161, Jun.2012.
    [65]
    X.D.Zhang, T.Parisini, and M.M.Polycarpou, "Adaptive faulttolerant control of nonlinear uncertain systems:an information-based diagnostic approach, "IEEE Trans.Automat.Contr., vol.49, no.8, pp.1259-1274, Aug.2004. http://ieeexplore.ieee.org/document/1323169/
    [66]
    W.Schamai,U.Pohlmann,P.Fritzson,C.J.J.Paredis,P.Helle,and C.Strobel, "Execution of UML state machines using modelica," in Proc.3rd Int.Workshop on Equation-Based Object-Oriented Modeling Languages and Tools,Oslo,Norway,2010,pp.1-10.
    [67]
    J.Huang,F.Bastani,I.L.Yen,J.Dong,W.Zhang,F.-J.Wang,and H.-J.Hsu,"Extending service model to build an effective service composition framework for cyber-physical systems,"in Proc.2009 IEEE Int.Conf.Service-Oriented Computing and Applications (SOCA), Taipei,China,2009.
    [68]
    C.Neuman, "Challenges in security for cyber-physical systems," DHS:S & T workshop on future directions in cyber-physical systems security. Jul.2009.
    [69]
    N.Adam,"Workshop on future directions in cyber-physical systems security,"Report on workshop organized by Department of Homeland Security (DHS),Jan.2010.
    [70]
    H.Tang, "Security analysis of a cyber-physical system," M.S.thesis, University of Missouri-Rolla,Rolla,2007.
    [71]
    Y.Tan,M.C.Vuran,and S.Goddard,"Spatio-temporal event model for cyber-physical systems,"in Proc.29th IEEE Int.Conf.Distributed Computing Systems Workshops,Montreal,QC,2009,pp.44-50.
    [72]
    N.Kottenstette,G.Karsai,and J.Sztipanovits,"A passivity-based framework for resilient cyber physical systems,"in Proc.2nd Int.Symp. Resilient Control Systems,Idaho Falls,ID,2009,pp.43-50. http://www.isis.vanderbilt.edu/sites/default/files/resilient_Jul_27_2009_05_23_PM.pdf
    [73]
    C.Zimmer,B.Bhat,F.Mueller,and S.Mohan,"Time-based intrusion detection in cyber-physical systems,"in Proc.1st ACM/IEEE Int.Conf. Cyber-Physical Systems,Stockholm,Sweden,2010,pp.109-118. http://moss.csc.ncsu.edu/~mueller/ftp/pub/mueller/papers/iccps10.pdf
    [74]
    S.Little,D.Walter,K.Jones,and C.Myers,"Analog/mixed-signal circuit verification using models generated from simulation traces, in Proc.5th Int.Symp.Automated Technology for Verification and Analysis,Tokyo,Japan,2007,pp.114-128. http://www.academia.edu/2698039/Analog_mixed-signal_circuit_verification_using_models_generated_from_simulation_traces
    [75]
    R.A.Thacker,C.J.Myers,K.Jones,and S.R.Little,"A new verification method for embedded systems,"in Proc.IEEE Int.Conf. Computer Design,Lake Tahoe,CA,2009,pp.193-200. http://dl.acm.org/citation.cfm?id=1792354.1792393
    [76]
    T.L.Crenshaw and S.Beyer,"UPBOT:a testbed for cyber-physical systems,"in Proc.3rd Int.Conf.Cyber Security Experimentation and Test,Washington,DC,2010,Article No.1-8.
    [77]
    S.Kopparty,S.V.Krishnamurthy,M.Faloutsos,and S.K.Tripathi, Split TCP for mobile ad hoc networks,"in Proc.IEEE Global Telecommunications Conf.,Taipei,China,2002,pp.138-142.
    [78]
    X.Y.Li,Y.Y.Wang,X.S.Zhou,and D.F.Liang,"Approach for cyber-physical system simulation modeling,"J.Syst.Simul.,vol.26, no.3,pp.631-637,2014. http://en.cnki.com.cn/Article_en/CJFDTOTAL-XTFZ201403026.htm
    [79]
    T.W.Hnat,T.Sookoor,P.Hooimeijer,W.Weimer,and K.Whitehouse, MacroLab:a vector-based macroprogramming framework for cyberphysical systems,"in Proc.6th ACM Conf.Embedded Networked Sensor Systems,Raleigh,NC,USA,2008,pp.225-238.
    [80]
    T.Facchinetti and M.L.D.Vedova,"Real-time modeling for direct load control in cyber-physical power systems,"IEEE Trans.Industr. Inf.,vol.7,no.4,pp.689-698,Nov.2011. http://ieeexplore.ieee.org/document/6009189/
    [81]
    M.D.Illic,L.Xie,U.A.Khan,and J.M.F.Moura,"Modeling future cyber-physical energy systems,"in Proc.2008 IEEE Power & Energy Society General Meeting-Conversion and Delivery of Electrical Energy in the 21st Century,Pittsburgh,PA,2008,pp.1-9. http://www.ece.tamu.edu/~lxie/papers/ModelingFuture.pdf
    [82]
    G.Karsai and J.Sztipanovits,"Model-integrated development of cyberphysical systems,"in Proc.6th Int.Workshop on Software Technologies for Embedded and Ubiquitous Systems,Anacarpi,Capri Island,Italy, 2008,pp.46-54. doi: 10.1007/978-3-540-87785-1_5.pdf
    [83]
    E.A.Lee, "Cyber physical systems:design challenges," in Proc. 200811th IEEE Int.Symp.Object Oriented Real-Time Distributed Computing,Orlando,FL,2008,pp.363-369.
    [84]
    E.Geisberger and M.Broy,Agenda CPS:Integrierte Forschungsagenda Cyber-Physical Systems.Berlin:Springer,2012.
    [85]
    T.Padir,G.S.Fischer,S.Chernova,and M.A.Gennert,"A unified and integrated approach to teaching a two-course sequence in Robotics Engineering,"JRM,vol.23,no.5,pp.748-758,Oct.2011. https://www.fujipress.jp/jrm/rb/robot002300050748/
    [86]
    S.A.Edwards and E.A.Lee,"The case for the precision timed (PRET) machine,"in Proc.44th ACM/IEEE Design Automation Conf.(DAC), San Diego,CA,2007,pp.264-265.
    [87]
    O.Avissar,R.Barua,and D.Stewart,"An optimal memory allocation scheme for scratch-pad-based embedded systems,"ACM Trans. Embedded Comput.Syst.,vol.1,no.1,pp.6-26,Aug.2002. http://www.ece.umd.edu/~barua/avissar:TECS:2002.pdf
    [88]
    T.A.Henzinger,B.Horowitz,and C.M.Kirsch,"Giotto:a timetriggered language for embedded programming,"Proc.IEEE,vol.91, no.1,pp.84-99,Jan.2003.
    [89]
    G.Berry,"The effectiveness of synchronous languages for the development of safety-critical systems,"Tech.Rep.,Esterel Technologies, 2003. http://citeseerx.ist.psu.edu/showciting?cid=3856348
    [90]
    E.A.Lee,S.Neuendorffer,and M.J.Wirthlin,"Actor-oriented design of embedded hardware and software systems,"J.Circuit.Syst.Comput., vol.12,no.3,pp.231-260,Jun.2003. http://ptolemy.eecs.berkeley.edu/papers/03/actorOrientedDesign/JCircuitsSystemsComputers.pdf
    [91]
    S.Johannessen, "Time synchronization in a local area network," IEEE Contr.Syst.,vol.24,no.2,pp.61-69,Apr.2004.
    [92]
    O.Tardieu and S.A.Edwards,"Scheduling-independent threads and exceptions in SHIM,"in Proc.6th ACM & IEEE Int.Conf.Embedded Software,Seoul,Korea,2006,pp.142-151. http://www1.cs.columbia.edu/~tardieu/papers/emsoft06.pdf
    [93]
    Y.Zhao,J.Liu,and E.A.Lee,"A programming model for timesynchronized distributed real-time systems,"in Proc.13th IEEE Real Time and Embedded Technology and Applications Symp.,Bellevue, USA,2007,pp.259-268. http://research.microsoft.com/en-us/um/people/liuj/publications/zhaoliulee_ptides.pdf
    [94]
    T.Abdelzaher,"Research challenges in distributed cyber-physical systems,"in Proc.IEEE/IFIP Int.Conf.Embedded and Ubiquitous Computing,Shanghai,China,2008,pp.5. http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=4756313
    [95]
    T.Ahola,P.Korpinen,J.Rakkola,T.Ramo,J.Salminen,and J. Savolainen, "Wearable FPGA based wireless sensor platform," in Proc. 29th Annual Int.Conf.IEEE Engineering in Medicine and Biology Society,Lyon,2007,pp.2288-2291. http://ieeexplore.ieee.org/document/4352782/
    [96]
    M.Rungger and P.Tabuada,"Abstracting and refining robustness for cyber-physical systems,"in Proc.17th Int.Conf.Hybrid Systems:Computation and Control,Berlin,Germany,2014,pp.223-232. http://dl.acm.org/citation.cfm?doid=2562059.2562133
    [97]
    K.R.Rohloff and T.Bacşar,"Deterministic and stochastic models for the detection of random constant scanning worms,"ACM Trans.Model. Comput.Simul.,vol.18,no.2,Article No.8,Apr.2008. https://web.njit.edu/~rohloff/papers/2008/Rohloff_Basar_ACM_TOMACS_final.pdf
    [98]
    The CPS Steering Group,"Cyber-Physical Systems Executive Summary, Accessed on:Sep.21,2010.[Online].Available:http://iccps2012.cse.wustl.edu/doc/CPS-Executive-Summary.pdf
    [99]
    W.Wolf, "Cyber-physical systems,"Computer,vol.42,no.3,pp.88-89,Mar.2009.
    [100]
    W.Wayne, "The good news and the bad news,"Accessed on:Jun. 9,2010.[Online].Available:http://www.computer.org/portal/site/computer
    [101]
    President's Council of Advisors on Science and Technology,"Leadership under challenge:information technology R & D in a competitive world.An assessment of the federal networking and information technology R & D program,"Accessed on:Aug.30,2011.[Online]. Available:http://ostpgov/pdf/nitrd/review.pdf

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Figures(3)

    Article Metrics

    Article views (2519) PDF downloads(135) Cited by()

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return