메뉴 건너뛰기




Volumn , Issue , 2011, Pages

A survey of Cyber-Physical Systems

Author keywords

communications; computation; control; cyber physical systems (CPSs)

Indexed keywords

CONTROL TECHNIQUES; CYBER-PHYSICAL SYSTEMS; CYBER-PHYSICAL SYSTEMS (CPSS); MULTI-DISCIPLINARY; PHYSICAL PROCESS; RESEARCH CHALLENGES; RESEARCH PROGRESS;

EID: 84555177840     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WCSP.2011.6096958     Document Type: Conference Paper
Times cited : (483)

References (68)
  • 1
    • 84855755667 scopus 로고    scopus 로고
    • Available at: http://chess.eecs.berkeley.edu/cps/.
  • 3
    • 84855750605 scopus 로고    scopus 로고
    • Available at: http://newsinfo.nd.edu/news/17248-nsf-funds-cyber-physical- systems-project/.
  • 5
    • 84855755668 scopus 로고    scopus 로고
    • Available at: http://cpschina.org/.
  • 6
    • 84855755669 scopus 로고    scopus 로고
    • Available at: http://www.jiafuwan.net/gdcps.html.
  • 8
    • 84555205358 scopus 로고    scopus 로고
    • Carnegie Mellon University, May
    • R. Rajkumar, "CPS briefing," Carnegie Mellon University, May 2007.
    • (2007) CPS Briefing
    • Rajkumar, R.1
  • 11
    • 84855750606 scopus 로고    scopus 로고
    • Available at: http://www.cpsweek.org/.
  • 19
    • 54249125817 scopus 로고    scopus 로고
    • Energy-efficient thermal-aware task scheduling for homogeneous high-performance computing data centers: A cyber-physical approach
    • Q. H. Tang, S. K. S. Gupta, and G. Varsamopoulos, "Energy-efficient thermal-aware task scheduling for homogeneous high-performance computing data centers: A cyber-physical approach," IEEE Transactions on Parallel and Distributed Systems, Vol. 19, 2008, pp. 1458-1472.
    • (2008) IEEE Transactions on Parallel and Distributed Systems , vol.19 , pp. 1458-1472
    • Tang, Q.H.1    Gupta, S.K.S.2    Varsamopoulos, G.3
  • 22
    • 84555203442 scopus 로고    scopus 로고
    • Reliability assurance of cyber-physical power systems
    • C. Singh, and A. Sprintson, "Reliability assurance of Cyber-Physical Power Systems," in Conference Proc., 2010.
    • (2010) Conference Proc.
    • Singh, C.1    Sprintson, A.2
  • 32
    • 84855742696 scopus 로고    scopus 로고
    • Available at: http://www.isis.vanderbilt.edu/research/MIC.
  • 35
    • 77955653864 scopus 로고    scopus 로고
    • A model based integration framework for computer numerical control system development
    • D. Li, F. Li, and X. Huang, et al. "A model based integration framework for computer numerical control system development," Robotics and Computer-Integrated Manufacturing, Vol. 26, 2010, pp. 848-860.
    • (2010) Robotics and Computer-Integrated Manufacturing , vol.26 , pp. 848-860
    • Li, D.1    Li, F.2    Huang, X.3
  • 37
    • 77954609873 scopus 로고    scopus 로고
    • A concept lattice-based event model for Cyber-Physical Systems
    • Apr, Stockholm, Sweden
    • Y. Tan, M. C. Vuran, and S. Goddard, "A concept lattice-based event model for Cyber-Physical Systems," in Proc. of CCPS, Apr 2010, Stockholm, Sweden.
    • (2010) Proc. of CCPS
    • Tan, Y.1    Vuran, M.C.2    Goddard, S.3
  • 39
    • 77954618612 scopus 로고    scopus 로고
    • Automatic abstraction for verification of Cyber-Physical Systems
    • Apr, Stockholm, Sweden
    • R. A. Thacker, K. R. Jones, C. J. Myers, et al. "Automatic abstraction for verification of Cyber-Physical Systems," in Proc. of CCPS, Apr 2010, Stockholm, Sweden.
    • (2010) Proc. of CCPS
    • Thacker, R.A.1    Jones, K.R.2    Myers, C.J.3
  • 40
    • 77954604308 scopus 로고    scopus 로고
    • Mathematical equations as executable models of mechanical systems
    • Apr, Stockholm, Sweden
    • Y. Zhu, E. Westbrook, J. Inoue, et al. "Mathematical equations as executable models of mechanical systems," in Proc. of CCPS, Apr 2010, Stockholm, Sweden.
    • (2010) Proc. of CCPS
    • Zhu, Y.1    Westbrook, E.2    Inoue, J.3
  • 41
    • 77954612071 scopus 로고    scopus 로고
    • Synthesizing switching logic for safety and dwell-time requirements
    • Apr, Stockholm, Sweden
    • S. Jha, S. Gulwani, S. A. Seshia, et al. "Synthesizing switching logic for safety and dwell-time requirements," in Proc. of CCPS, Apr 2010, Stockholm, Sweden.
    • (2010) Proc. of CCPS
    • Jha, S.1    Gulwani, S.2    Seshia, S.A.3
  • 42
    • 49649119406 scopus 로고    scopus 로고
    • Cyber physical systems: Design challenges
    • May, Orlando, USA
    • E. A. Lee, "Cyber Physical Systems: Design challenges," in Proc. of ISORC, May, 2008, Orlando, USA.
    • (2008) Proc. of ISORC
    • Lee, E.A.1
  • 45
    • 82755188169 scopus 로고    scopus 로고
    • The simplex reference model: Limiting fault-propagation due to unreliable components in Cyber-Physical System architectures
    • T. L. Crenshaw, E. Gunter, C. L. Robinson, et al. "The simplex reference model: Limiting fault-propagation due to unreliable components in Cyber-Physical System architectures," in Proc. of IEEE International Real-Time Systems Symposium, 2008.
    • (2008) Proc. of IEEE International Real-Time Systems Symposium
    • Crenshaw, T.L.1    Gunter, E.2    Robinson, C.L.3
  • 48
    • 77954580896 scopus 로고    scopus 로고
    • Integrating neuromuscular and Cyber Systems for neural control of artificial legs
    • Apr, Stockholm, Sweden
    • H. Huang, Y. Sun, Q. Yang, et al. "Integrating neuromuscular and Cyber Systems for neural control of artificial legs," in Proc. of CCPS, Apr 2010, Stockholm, Sweden.
    • (2010) Proc. of CCPS
    • Huang, H.1    Sun, Y.2    Yang, Q.3
  • 49
    • 77954647301 scopus 로고    scopus 로고
    • Robustness analysis for the certification of digital controller implementations
    • Apr, Stockholm, Sweden
    • J. L. Ny, and G. J. Pappas, "Robustness analysis for the certification of digital controller implementations," in Proc. of CCPS, Apr 2010, Stockholm, Sweden.
    • (2010) Proc. of CCPS
    • Ny, J.L.1    Pappas, G.J.2
  • 50
    • 77952749006 scopus 로고    scopus 로고
    • Key technology of embedded system implementation for software-based CNC system
    • J. F. Wan, D. Li, and P. Zhang, "Key technology of embedded system implementation for software-based CNC system," Chinese Journal of Mechanical Engineering, Vol. 23, 2010, pp. 241-248.
    • (2010) Chinese Journal of Mechanical Engineering , vol.23 , pp. 241-248
    • Wan, J.F.1    Li, D.2    Zhang, P.3
  • 51
    • 80053166409 scopus 로고    scopus 로고
    • Fuzzy feedback scheduling algorithm based on central processing unit utilization for a softwarebased computer numerical control system
    • J. F. Wan, D. Li, H. H. Yan, and P. Zhang, "Fuzzy feedback scheduling algorithm based on central processing unit utilization for a softwarebased computer numerical control system," Journal of Engineering Manufacture, Vol. 224, 2010, pp. 1133-1143.
    • (2010) Journal of Engineering Manufacture , vol.224 , pp. 1133-1143
    • Wan, J.F.1    Li, D.2    Yan, H.H.3    Zhang, P.4
  • 54
    • 79951776747 scopus 로고    scopus 로고
    • Feedback control of cyber-physical systems with multi resource dependencies and model uncertainties
    • Dec
    • M. Lindberg, and K. E. Årzén, "Feedback control of cyber-physical systems with multi resource dependencies and model uncertainties," in Proc. of the 31st IEEE Real-Time Systems Symposium, Dec 2010.
    • (2010) Proc. of the 31st IEEE Real-Time Systems Symposium
    • Lindberg, M.1    Årzén, K.E.2
  • 61
    • 77956216385 scopus 로고    scopus 로고
    • Medical cyber physical systems
    • Anaheim, California, USA
    • I. Lee, and O. Sokolsky, "Medical Cyber Physical Systems," in Proc. of DAC, 2010, Anaheim, California, USA.
    • (2010) Proc. of DAC
    • Lee, I.1    Sokolsky, O.2
  • 68
    • 77956217277 scopus 로고    scopus 로고
    • Cyber-physical systems-the next computing revolution
    • Anaheim, California, USA
    • R. Rajkumar, I. Lee, L. Sha, et al. "Cyber-Physical Systems-The next computing revolution," in Proc. of Design Automation Conference, 2010, Anaheim, California, USA.
    • (2010) Proc. of Design Automation Conference
    • Rajkumar, R.1    Lee, I.2    Sha, L.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.