A Smart Building as a Cyber Pyhsical System

Hanife Apaydın Ozkan [1]


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.

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
Subjects Engineering
Journal Section Research Article
Authors

Author: Hanife Apaydın Ozkan
Institution: ANADOLU ÜNİVERSİTESİ
Country: Turkey


Dates

Publication Date : December 1, 2016

Bibtex @conference paper { ijamec270297, journal = {International Journal of Applied Mathematics Electronics and Computers}, issn = {}, eissn = {2147-8228}, address = {}, publisher = {Selcuk University}, year = {2016}, volume = {}, pages = {200 - 204}, doi = {10.18100/ijamec.270297}, title = {A Smart Building as a Cyber Pyhsical System}, key = {cite}, author = {Apaydın Ozkan, Hanife} }
APA Apaydın Ozkan, H . (2016). A Smart Building as a Cyber Pyhsical System. International Journal of Applied Mathematics Electronics and Computers , (Special Issue-1) , 200-204 . DOI: 10.18100/ijamec.270297
MLA Apaydın Ozkan, H . "A Smart Building as a Cyber Pyhsical System". International Journal of Applied Mathematics Electronics and Computers (2016 ): 200-204 <https://dergipark.org.tr/en/pub/ijamec/issue/25619/270297>
Chicago Apaydın Ozkan, H . "A Smart Building as a Cyber Pyhsical System". International Journal of Applied Mathematics Electronics and Computers (2016 ): 200-204
RIS TY - JOUR T1 - A Smart Building as a Cyber Pyhsical System AU - Hanife Apaydın Ozkan Y1 - 2016 PY - 2016 N1 - doi: 10.18100/ijamec.270297 DO - 10.18100/ijamec.270297 T2 - International Journal of Applied Mathematics Electronics and Computers JF - Journal JO - JOR SP - 200 EP - 204 VL - IS - Special Issue-1 SN - -2147-8228 M3 - doi: 10.18100/ijamec.270297 UR - https://doi.org/10.18100/ijamec.270297 Y2 - 2016 ER -
EndNote %0 International Journal of Applied Mathematics Electronics and Computers A Smart Building as a Cyber Pyhsical System %A Hanife Apaydın Ozkan %T A Smart Building as a Cyber Pyhsical System %D 2016 %J International Journal of Applied Mathematics Electronics and Computers %P -2147-8228 %V %N Special Issue-1 %R doi: 10.18100/ijamec.270297 %U 10.18100/ijamec.270297
ISNAD Apaydın Ozkan, Hanife . "A Smart Building as a Cyber Pyhsical System". International Journal of Applied Mathematics Electronics and Computers / Special Issue-1 (December 2016): 200-204 . https://doi.org/10.18100/ijamec.270297
AMA Apaydın Ozkan H . A Smart Building as a Cyber Pyhsical System. International Journal of Applied Mathematics Electronics and Computers. 2016; (Special Issue-1): 200-204.
Vancouver Apaydın Ozkan H . A Smart Building as a Cyber Pyhsical System. International Journal of Applied Mathematics Electronics and Computers. 2016; (Special Issue-1): 204-200.