A Smart Building as a Cyber Pyhsical System

Year 2016, Special Issue (2016), 200 - 204, 01.12.2016

Hanife Apaydın Ozkan

https://doi.org/10.18100/ijamec.270297

Abstract

In recent years, systems consisting of both
physical and computational elements, called Cyber Physical Systems (CPSs), have
entered into our lives. These systems are becoming increasingly important
because of their wide application area such as smart buildings, intelligent
manufacturing processes, energy grids, healthcare devices, smart agriculture
and etc. In this work, CPSs are considered by means of a smart building
application. Firstly, CPSs are introduced and their features are explained.  Then, a smart building is considered for
emphasizing and illustrating the importance of CPSs. In order to display
working mechanism of computational and physical components of the building and
to provide easy trace of the evolution of overall system, some physical components
(smart AC, lighting system and smart TV) are developed via Petri net, which is
a mathematical and graphical tool for modelling and analysing discrete event
systems.

Keywords

Cyber physical system, Petri nets, smart building, communications, sensors

References

• [1] CyPhERS Cyber-Physical European Roadmap & Strategy, The European Union’s Framework Programme FP7-ICT, area ICT-2013.3.4.
• [2] J. C. Jensen, D. Chang and E. A. Lee, “A Model-Based Design Methodology for Cyber-Physical Systems” Wireless Communications and Mobile Computing Conference (IWCMC), 2011 7th International, 1666 - 1671, 6, July, 2011
• [3] X. Zheng and C. Julien, “Verification and validation in cyber physical systems: research challenges and a way forward”, SEsCPS '15 Proceedings of the First International Workshop on Software Engineering for Smart Cyber-Physical Systems Pages 15-18
• [4] S. Bak, Z.Haung, F. Abdi TaghiAbad and M. Cacamo, “Safety and Progress for Distributed Cyber-Physical Systems with Unreliable Communication” ,Journal ACM Transactions on Embedded Computing Systems (TECS) Volume 14 Issue 4, December 2015
• [5] J. Wang, H. Yu and C. Leng, “Sequence Composition Analysis of Noninterference in Cyber-Physical System with Petri Net”, International Journal of Security and Its Applications Vol.8, No.3 (2014), pp. 185-192
• [6] J. Huang, Y. Zhu, B. Cheng, C. Lin and J. Chen, “A PetriNet-Based Approach for Supporting Traceability in Cyber-Physical Manufacturing Systems”, Sensors 2016, 16, 382; doi:10.3390
• [7] Y. Sun, X. Wang, H. Luo, and X. Li, “Conflict Detection Scheme Based on Formal Rule Model for Smart Building Systems” IEEE Transactions on Human Machine Systems, Vol. 45, No. 2, April 2015
• [8] H. A. Ozkan and A. Aybar, “A Smart Air Conditioner in Smart Home”, The 16th IEEE International Conference on Environment and Electrical Engineering, (IEEE-EEEIC'16)
• [9] C.-H. Lu, Y.-C. Ho, Y.-H. Chen, and L.-C. Fu, “Hybrid user-assisted incremental model adaptation for activity recognition in a dynamic smarthome environment,” IEEE Trans. Human-Mach. Syst., vol. 43, no. 5, pp. 421–436, Sep. 2013
• [10] L. Chen, C. Nugent, and G. Okeyo, “An ontology-based hybrid approach to activity modeling for smart homes,” IEEE Trans. Human-Mach. Syst., vol. 44, no. 1, pp. 92–105, Feb. 2014