Abstract
The very recent development of Cyber-Physical Systems (CPS) provides a smart infrastructure connecting abstract computational artifacts with the physical world. The solution to CPS must transcend the boundary between the cyber world and the physical world by providing integrated models addressing issues from both worlds simultaneously. This needs new theories, conceptual frameworks and engineering practice. In this paper, we set out the key requirements that must be met by CPS systems, review and evaluate the progress that has been made in the development of theory, conceptual frameworks and practical applications. We then discuss the need for semantics and a proposed approach for addressing this. Grand challenges to informatics posed by CPS are raised in the paper.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Dillon, T.S., Zhuge, H., Wu, C., Singh, J., Chang, E.: Web-of-things framework for cyber–physical systems. Concurrency and Computation: Practice and Experience 23(9), 905–923 (2011)
President’s Council of Advisors on Science and Technology (PCAST), Leadership under challenge: Information technology r&d in a competitive world (August 2007), http://www.nitrd.gov/pcast/reports/PCAST-NIT-FINAL.pdf
National Science Foundation, Cyber-physical systems (CPS) workshop series, http://varma.ece.cmu.edu/Summit/Workshops.html
National Science Foundation, Cyber-physical systems summit report, Missouri, USA (April 24-25, 2008), http://precise.seas.upenn.edu/events/iccps11/_doc/CPS_Summit_Report.pdf
Lee, E.: Cyber physical systems: Design challenges. In: IEEE Object Oriented Real-Time Distributed Computing, pp. 363–369 (2008)
Lee, E.: Computing needs time. Communications of the ACM 52(5), 70–79 (2009)
Singh, J., Hussain, O., Chang, E., Dillon, T.S.: Event Handling for Distributed Real-Time Cyber-Physical Systems. In: IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), China, pp. 23–30 (2012)
Dillon, T.S., Talevski, A., Potdar, V., Chang, E.: Web of Things as a Framework for Ubiquitous Intelligence and Computing. In: Zhang, D., Portmann, M., Tan, A.-H., Indulska, J. (eds.) UIC 2009. LNCS, vol. 5585, pp. 2–13. Springer, Heidelberg (2009)
Dillon, T.: Web-of-things framework for cyber-physical systems. In: The 6th International Conference on Semantics, Knowledge & Grids (SKG), Ningbo, China (2010) (Keynote)
Talcott, C.: Cyber-Physical Systems and Events. In: Wirsing, M., Banâtre, J.-P., Hölzl, M., Rauschmayer, A. (eds.) Soft-Ware Intensive Systems. LNCS, vol. 5380, pp. 101–115. Springer, Heidelberg (2008)
Tan, Y., Vuran, M.C., Goddard, S.: Spatio-temporal event model for cyber-physical systems. In: 29th IEEE International Conference on Distributed Computing Systems Workshops, pp. 44–50 (2009)
Tan, Y., Vuran, M.C., Goddard, S., Yu, Y., Song, M., Ren, S.: A concept lattice-based event model for Cyber-Physical Systems. Presented at the Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, Stockholm, Sweden (2010)
Yue, K., Wang, L., Ren, S., Mao, X., Li, X.: An Adaptive Discrete Event Model for Cyber-Physical System. In: Analytic Virtual Integration of Cyber-Physical Systems Workshop, USA, pp. 9–15 (2010)
Yu, X., Cecati, C., Dillon, T., Godoy Simões, M.: Smart Grids: An Industrial Electronics Perspective. In: IEEE Industrial Electronics Magazine IEM-02-2011 (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 IFIP International Federation for Information Processing
About this paper
Cite this paper
Dillon, T., Chang, E., Singh, J., Hussain, O. (2012). Semantics of Cyber-Physical Systems. In: Shi, Z., Leake, D., Vadera, S. (eds) Intelligent Information Processing VI. IIP 2012. IFIP Advances in Information and Communication Technology, vol 385. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32891-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-32891-6_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32890-9
Online ISBN: 978-3-642-32891-6
eBook Packages: Computer ScienceComputer Science (R0)