A Smart Building as a Cyber Pyhsical System
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,
___
- [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
- ISSN: 2147-8228
- Yayın Aralığı: Yılda 4 Sayı
- Başlangıç: 2013
- Yayıncı: Selçuk Üniversitesi