Semantics of Cyber-Physical Systems

  • Tharam Dillon
  • Elizabeth Chang
  • Jaipal Singh
  • Omar Hussain
Conference paper
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT, volume 385)


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.


Physical World Event Instance Distribute Energy System Network Information System Sensor Instance 
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.


  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    President’s Council of Advisors on Science and Technology (PCAST), Leadership under challenge: Information technology r&d in a competitive world (August 2007),
  3. 3.
    National Science Foundation, Cyber-physical systems (CPS) workshop series,
  4. 4.
    National Science Foundation, Cyber-physical systems summit report, Missouri, USA (April 24-25, 2008),
  5. 5.
    Lee, E.: Cyber physical systems: Design challenges. In: IEEE Object Oriented Real-Time Distributed Computing, pp. 363–369 (2008)Google Scholar
  6. 6.
    Lee, E.: Computing needs time. Communications of the ACM 52(5), 70–79 (2009)CrossRefGoogle Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    Dillon, T.: Web-of-things framework for cyber-physical systems. In: The 6th International Conference on Semantics, Knowledge & Grids (SKG), Ningbo, China (2010) (Keynote)Google Scholar
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    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)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2012

Authors and Affiliations

  • Tharam Dillon
    • 1
  • Elizabeth Chang
    • 2
  • Jaipal Singh
    • 3
  • Omar Hussain
    • 2
  1. 1.La Trobe UniversityAustralia
  2. 2.School of Information SystemsCurtin UniversityAustralia
  3. 3.Dept. of Electrical and Computer EngineeringCurtin UniversityAustralia

Personalised recommendations