A building automation case study setup and challenges

ABSTRACT

Smart buildings will play a fundamental role in ensuring comfort while reducing the energy required. However, due to the lack of knowledge about the operation of the smart controllers, the occupants can unintentionally increase the energy spent. Nevertheless, there is evidence that the informed and motivated user will actually cooperate with the system.

Some of the issues associated with researching control systems in the context of building automation are difficult to address, because of the chronic lack of effective laboratory settings for experimentation. In this paper, we describe a system representative of the usual complexity found in cyber-physical systems, whose purpose is to address the needs for experimenting with building automation, with a focus on control systems and gamification. Designed with pragmatic concerns, this system presents a unique set of challenges and opportunities to research a new generation of software control systems, and supporting interfaces, that leverage the occupants' behaviour.

References

1. Charilaos Akasiadis, Evaggelos Spyrou, Georgios Pierris, Dimitris Sgouropoulos, Giorgos Siantikos, Alexandros Mavrommatis, Costas Vrakopoulos, and Theodoros Giannakopoulos. 2015. Exploiting future internet technologies. In 8th ACM International Conference on Pervasive Technologies Related to Assistive Environments. ACM Press, New York, USA, 1--2.
2. Larry Apfelbaum and John Doyle. 1997. Model based testing. In Software Quality Week Conference. 296--300.
3. Ankica Barisic, Vasco Amaral, and Miguel Goulão. 2018. Usability driven DSL development with USE-ME. Computer Languages, Systems & Structures 51 (2018), 118--157.
4. Sergiy Bogomolov, Marius Greitschus, Peter G. Jensen, Kim G. Larsen, Marius Mikučionis, Thomas Strump, and Stavros Tripakis. 2015. Co-Simulation of Hybrid Systems with SpaceEx and Uppaal. In 11th International Modelica Conference. Linköping University Electronic Press, Paris, France, 159--169.
5. Sarah Darby. 2008. Energy feedback in buildings: improving the infrastructure for demand reduction. Building Research & Information 36, 5 (oct 2008), 499--508.
6. Anna Carolina Kossmann de Menezes, Richard Tetlow, C Philip Beaman, Dino Bouchlaghem, Andrew Cripps, and Richard A Buswell. 2012. Assessing the impact of occupant behaviour on electricity consumption for lighting and small power in office buildings. (2012).
7. Sebastian Deterding, Dan Dixon, Rilla Khaled, and Lennart Nacke. 2011. From game design elements to gamefulness. In 15th International Academic MindTrek Conference on Envisioning Future Media Environments. ACM Press, New York, USA, 9.
8. W. Stuart Dols, Steven J. Emmerich, and Brian J. Polidoro. 2016. Coupling the multizone airflow and contaminant transport software CONTAM with En-ergyPlus using co-simulation. Building Simulation 9, 4 (aug 2016), 469--479.
9. A.I. Dounis and C. Caraiscos. 2009. Advanced control systems engineering for energy and comfort management in a building environment-A review. Renewable and Sustainable Energy Reviews 13, 6--7 (aug 2009), 1246--1261.
10. Mark Eilers, John Reed, and TecMRKT Works. 1996. Behavioral aspects of lighting and occupancy sensors in private offices: a case study of a university office building. Summer Study on Energy Efficiency in Buildings (1996).
11. Valentina Fabi, Rune Vinther Andersen, Stefano Corgnati, and Bjarne W. Olesen. 2012. Occupants' window opening behaviour: A literature review of factors influencing occupant behaviour and models. Building and Environment 58 (dec 2012), 188--198.
12. Cláudio Gomes, Paschalis Karalis, Eva M. Navarro-López, and Hans Vangheluwe. 2017. Approximated Stability Analysis of Bi-Modal Hybrid Co-simulation Scenarios. In 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems. Trento, Italy, to appear.
13. Cláudio Gomes, Benoît Legat, Raphaël M. Jungers, and Hans Vangheluwe. 2017. Stable Adaptive Co-simulation : A Switched Systems Approach. In IUTAM Symposium on Co-Simulation and Solver Coupling. Darmstadt, Germany, to appear.
14. Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, and Hans Vangheluwe. 2017. Co-simulation: State of the art. Technical Report. arXiv:1702.00686 http://arxiv.org/abs/1702.00686
15. Cláudio Gomes, Yentl Van Tendeloo, Joachim Denil, Paul De Meulenaere, and Hans Vangheluwe. 2017. Hybrid System Modelling and Simulation with Dirac Deltas. In Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (DEVS '17). Virginia Beach, Virginia, USA, to appear.
16. S. Harte. 2005. Fault tolerance in sensor networks using self-diagnosing sensor nodes. In IEE Seminar on Intelligent Building Environments, Vol. 2005. IEE, v2--7--v2--7.
17. Tianzhen Hong and Hung-Wen Lin. 2013. Occupant behavior: impact on energy use of private offices. Technical Report.
18. Daniel Johnson, Ella Horton, Rory Mulcahy, and Marcus Foth. 2017. Gamification and serious games within the domain of domestic energy consumption: A systematic review. Renewable and Sustainable Energy Reviews 73 (jun 2017), 249--264.
19. Vasileios Karagiannis, Periklis Chatzimisios, Francisco Vazquez-Gallego, and Jesus Alonso-Zarate. 2015. A Survey on Application Layer Protocols for the Internet of Things. Transaction on IoT and Cloud Computing 3, 1 (2015), 11--17.
20. David P. Y. Lawrence, Claudio Gomes, Joachim Denil, Hans Vangheluwe, and Didier Buchs. 2016. Coupling Petri nets with Deterministic Formalisms Using Co-simulation. In Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium. Pasadena, CA, USA, 6:1--6:8.
21. Edward A. Lee. 2008. Cyber Physical Systems: Design Challenges. In 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC). 363--369.
22. Edward A Lee, Mehrdad Niknami, Thierry S Nouidui, and Michael Wetter. 2015. Modeling and Simulating Cyber-physical Systems Using CyPhySim. In 12th International Conference on Embedded Software (EMSOFT '15). IEEE Press, Piscataway, NJ, USA, 115--124.
23. Libelium. 2018. Open Aquarium Platform Description. (2018). https://www.cooking-hacks.com/documentation/tutorials/open-aquarium-aquaponics-fish-tank-monitoring-arduino
24. Levi Lúcio, Bentley James Oakes, Cláudio Gomes, Gehan Selim, Juergen Dingel, James R. Cordy, andHans Vangheluwe. 2015. SyVOLT: Full Model Transformation Verification Using Contracts. In 8th International Conference on Model Driven Engineering Languages and Systems. Ottawa, Canada.
25. Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, and Enrico Tronci. 2013. System Level Formal Verification via Model Checking Driven Simulation. In Computer Aided Verification, Natasha Sharygina and Helmut Veith (Eds.). Lecture Notes in Computer Science, Vol. 8044. Springer Berlin Heidelberg, 296--312.
26. Luca Morganti, Federica Pallavicini, Elena Cadel, Antonio Candelieri, Francesco Archetti, and Fabrizia Mantovani. 2017. Gaming for Earth: Serious games and gamification to engage consumers in pro-environmental behaviours for energy efficiency. Energy Research & Social Science 29 (jul 2017), 95--102.
27. Sirajum Munir, John a. Stankovic, Chieh-Jan Mike Liang, and Shan Lin. 2013. Cyber Physical System Challenges for Human-in-the-Loop Control. The 8th International Workshop on Feedback Computing (2013).
28. Don Norman. 2013. The design of everyday things: Revised and expanded edition. Basic Books (AZ).
29. T G Papaioannou, D Kotsopoulos, C Bardaki, and S Lounis. 2017. " IoT-Enabled Gamification for Energy Conservation in Public Buildings ". (2017).
30. Wout Parys, Dirk Saelens, and Hugo Hens. 2011. Coupling of dynamic building simulation with stochastic modelling of occupant behaviour in offices - a review-based integrated methodology. Journal of Building Performance Simulation 4, 4 (dec 2011), 339--358.
31. Srinath Perera, Suhothayan Sriskandarajah, Mohanadarshan Vivekanandalingam, Paul Fremantle, and Sanjiva Weerawarana. 2014. DEBS Grand Challenge : Solving the Grand Challenge Using an Opensource CEP engine Categories and Subject Descriptors. Debs '14 (2014), 288--293.
32. Timothy I. Salsbury. 2005. A Survey of Control Technologies in the Building Automation Industry. IFAC Proceedings Volumes 38, 1 (2005), 90--100.
33. Dimitris Sgouropoulos, Evaggelos Spyrou, Giorgos Siantikos, and Theodoros Giannakopoulos. 2015. Counting and tracking people in a smart room: An IoT approach. In 10th International Workshop on Semantic and Social Media Adaptation and Personalization. IEEE, 1--5.
34. Pervez Hameed Shaikh, Nursyarizal Bin Mohd Nor, Perumal Nallagownden, Irraivan Elamvazuthi, and Taib Ibrahim. 2014. A review on optimized control systems for building energy and comfort management of smart sustainable buildings. Renewable and Sustainable Energy Reviews 34 (jun 2014), 409--429.
35. David Sousa Sousa Nunes, Pei Zhang, and Jorge Sa Silva. 2015. A Survey on human-in-The-loop applications towards an internet of all. IEEE Communications Surveys and Tutorials 17, 2 (2015), 944--965.
36. Richard M. Tetlow, Chris van Dronkelaar, C. Philip Beaman, Abbas A. Elmualim, and Kevin Couling. 2015. Identifying behavioural predictors of small power electricity consumption in office buildings. Building and Environment 92 (oct 2015), 75--85.
37. C. J. Tomlin, I. Mitchell, A. M. Bayen, and M. Oishi. 2003. Computational techniques for the verification of hybrid systems. Proc. IEEE 91, 7 (jul 2003), 986--1001.
38. Michal Veselý and Wim Zeiler. 2014. Personalized conditioning and its impact on thermal comfort and energy performance - A review. Renewable and Sustainable Energy Reviews 34 (jun 2014), 401--408.
39. Molly Webb. 2008. Smart 2020: Enabling the low carbon economy in the information age. Technical Report 1. 1 pages. https://www.theclimategroup.org/sites/default/files/archive/files/Smart2020Report.pdf
40. F. Yamada, K. Yonezawa, S. Sugawara, and N. Nishimura. 1999. Development of air-conditioning control algorithm for building energy saving. In IEEE International Conference on Control Applications, Vol. 2. IEEE, 1579--1584.
41. Wim Zeiler, Derek Vissers, Rik Maaijen, and Gert Boxem. 2014. Occupants' behavioural impact on energy consumption: 'human-in-the-loop' comfort process control. Architectural Engineering and Design Management 10, 1--2 (apr 2014), 108--130.

Index Terms

• Computer systems organization

  • Embedded and cyber-physical systems

    • Sensor networks

    • Sensors and actuators

• Human-centered computing

  • Collaborative and social computing

    • Collaborative and social computing design and evaluation methods

  • Human computer interaction (HCI)

    • Interaction paradigms

      • Collaborative interaction

• Networks

  • Network types

    • Cyber-physical networks