References
[1]
Rajkumar R R, Lee I, Sha L, et al. Cyber-physical systems: the next computing revolution. In: Proceedings of the 47th Design Automation Conference. New York: ACM, 2010. 731--736.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Rajkumar R R, Lee I, Sha L, et al. Cyber-physical systems: the next computing revolution. In: Proceedings of the 47th Design Automation Conference. New York: ACM, 2010. 731--736&
[2]
Rawat D B, Rodrigues J J, Stojmenovic I. Cyber-Physical Systems: From Theory to Practice. Boca Raton: CRC Press, 2015.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Rawat D B, Rodrigues J J, Stojmenovic I. Cyber-Physical Systems: From Theory to Practice. Boca Raton: CRC Press, 2015&
[3]
Zhou
,
X
S,
Yang
Y L,
Yang
G.
Modeling methods for dynamic behaviors of cyber-physical system.
Chinese J Comput,
2014, 37: 1411-1423
Google Scholar
http://scholar.google.com/scholar_lookup?title=Modeling methods for dynamic behaviors of cyber-physical system&author=Zhou &author=X S&author=Yang Y L&author=Yang G&publication_year=2014&journal=Chinese J Comput&volume=37&pages=1411-1423
[4]
Morgan
J,
O'Donell
G E.
A service-oriented reconfigurable process monitoring system-enabling cyber physical systems.
J Mach Eng,
2014, 14: 116-129
Google Scholar
http://scholar.google.com/scholar_lookup?title=A service-oriented reconfigurable process monitoring system-enabling cyber physical systems&author=Morgan J&author=O'Donell G E&publication_year=2014&journal=J Mach Eng&volume=14&pages=116-129
[5]
Wang
L,
T{ö}rngren
M,
Onori
M.
Current status and advancement of cyber-physical systems in manufacturing.
J Manuf Syst,
2015, 37: 517-527
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Current status and advancement of cyber-physical systems in manufacturing&author=Wang L&author=T{ö}rngren M&author=Onori M&publication_year=2015&journal=J Manuf Syst&volume=37&pages=517-527
[6]
Tariq M U, Grijalva S, Wolf M. A service-oriented, cyber-physical reference model for smart grid. In: Cyber Physical Systems Approach to Smart Electric Power Grid. Berlin: Springer, 2015. 25--42.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Tariq M U, Grijalva S, Wolf M. A service-oriented, cyber-physical reference model for smart grid. In: Cyber Physical Systems Approach to Smart Electric Power Grid. Berlin: Springer, 2015. 25--42&
[7]
Ahmad
A,
Paul
A,
Rathore
M M, et al.
Smart cyber society: integration of capillary devices with high usability based on cyber-physical dystem.
Future Gener Comput Syst,
2015, 56: 493-503
Google Scholar
http://scholar.google.com/scholar_lookup?title=Smart cyber society: integration of capillary devices with high usability based on cyber-physical dystem&author=Ahmad A&author=Paul A&author=Rathore M M&publication_year=2015&journal=Future Gener Comput Syst&volume=56&pages=493-503
[8]
Chen Y X. Stec: a location-triggered specification language for real-time systems. In: Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), Shenzhen, 2012. 1--6.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Chen Y X. Stec: a location-triggered specification language for real-time systems. In: Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), Shenzhen, 2012. 1--6&
[9]
Wu H Y, Chen Y X, Zhang M. On denotational semantics of spatial-temporal consistency language--STeC. In: Proceedings of International Symposium on Theoretical Aspects of Software Engineering (TASE), Birmingham, 2013. 113--120.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Wu H Y, Chen Y X, Zhang M. On denotational semantics of spatial-temporal consistency language--STeC. In: Proceedings of International Symposium on Theoretical Aspects of Software Engineering (TASE), Birmingham, 2013. 113--120&
[10]
Rajhans
A,
Bhave
A,
Ruchkin
I, et al.
Supporting heterogeneity in cyber-physical systems architectures.
IEEE Trans Automat Contr,
2014, 59: 3178-3193
CrossRef
Google Scholar
http://scholar.google.com/scholar_lookup?title=Supporting heterogeneity in cyber-physical systems architectures&author=Rajhans A&author=Bhave A&author=Ruchkin I&publication_year=2014&journal=IEEE Trans Automat Contr&volume=59&pages=3178-3193
[11]
Leit{\ a}o P, Vrba P, Strasser T. Multi-agent systems as automation platform for intelligent energy systems. In: Proceedings of IECON 39th Annual Conference of the IEEE Industrial Electronics Society, Vienna, 2013. 66--71.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Leit{\ a}o P, Vrba P, Strasser T. Multi-agent systems as automation platform for intelligent energy systems. In: Proceedings of IECON 39th Annual Conference of the IEEE Industrial Electronics Society, Vienna, 2013. 66--71&
[12]
Ni Z, Kobetski A, Axelsson J. Design and Implementation of a Dynamic Component Model for Federated AUTOSAR Systems. In: Proceedings of the 51st Annual Design Automation Conference. New York: ACM, 2014. 1--6.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Ni Z, Kobetski A, Axelsson J. Design and Implementation of a Dynamic Component Model for Federated AUTOSAR Systems. In: Proceedings of the 51st Annual Design Automation Conference. New York: ACM, 2014. 1--6&
[13]
Ramos C, Vale Z, Faria L. Cyber-physical intelligence in the context of power systems. In: Future Generation Information Technology. Berlin: Springer, 2011. 19--29.
Google Scholar
http://scholar.google.com/scholar_lookup?title=Ramos C, Vale Z, Faria L. Cyber-physical intelligence in the context of power systems. In: Future Generation Information Technology. Berlin: Springer, 2011. 19--29&