A Smart Building as a Cyber Pyhsical System
Abstract
References (10)
- 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