A mode-based implementation framework for advanced control methods in building automation systems with Petri-Nets

Energy efficiency of buildings and districts is a core element in facing the climate change and scarcity of energy resources. A major domain for improving energy efficiency is building automation and control. Especially the application of advanced control methodologies requires special attention during the engineering process in order to guarantee for a meaningful, reasonable and comprehensible system behavior. In this paper, we present the concept of operating modes for increasing both, the operability and the applicability of advanced control methods in building energy systems. Referring to process automation methods, we introduce Petri-Nets as a powerful description method for mode-based building control development.

[1]  Aaas News,et al.  Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[2]  C. Petri.  Kommunikation mit Automaten , 1962 .

[3]  Zhi-Gang Wei,et al.  A Quantitative Measure for Degree of Automation and Its Relation to System Performance and Mental Load , 1998, Hum. Factors.

[4]  Walter Ukovich,et al.  A District Energy Management Based on Thermal Comfort Satisfaction and Real-Time Power Balancing , 2015, IEEE Transactions on Automation Science and Engineering.

[5]  Y. Hammal.  Reactive semantics for component based Petri nets , 2012, 2012 2nd IEEE International Conference on Parallel, Distributed and Grid Computing.

[6]  Insup Lee,et al.  A Semantic Framework for Mode Change Protocols , 2011, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.

[7]  G. Frey,et al.  A Toolbox for the Development of Logic Controllers using Petri Nets , 2006, 2006 8th International Workshop on Discrete Event Systems.

[8]  Philippe Darondeau,et al.  Petri Net Synthesis , 2015, Texts in Theoretical Computer Science. An EATCS Series.

[9]  Dirk Abel,et al.  Petri-Netze für Ingenieure , 1990 .

[10]  Paulo Sergio Martins Pedro.  Schedulability of mode changes in flexible real-time distributed systems , 2000 .

[11]  W. Murray Wonham,et al.  Supervisory Control of Discrete-Event Systems , 2018 .

[12]  David B. Kaber,et al.  The effects of level of automation and adaptive automation on human performance, situation awareness and workload in a dynamic control task , 2004 .

[13]  L. Gomes,et al.  Petri Net based Building Automation and Monitoring System , 2007, 2007 5th IEEE International Conference on Industrial Informatics.

[14]  Johannes Fütterer,et al.  A multifunctional demonstration bench for advanced control research in buildings—Monitoring, control, and interface system , 2013, IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society.

[15]  Alan Burns,et al.  On the meaning of modes in uniprocessor real-time systems , 2008, SAC '08.

[16]  Frank Schumacher.  Automatische Generierung von IEC 61131-3 Steuerungscode aus einer GRAFCET-Spezifikation , 2013 .

[17]  Abhishek Dubey.  A Discussion on Supervisory Control Theory in Real-Time Discrete Event Systems , 2009 .

[18]  Rita Streblow,et al.  System of Systems theory as a new perspective on building control , 2015, 2015 23rd Mediterranean Conference on Control and Automation (MED).

[19]  Christopher D. Wickens,et al.  Stages and Levels of Automation: An Integrated Meta-analysis , 2010 .

[20]  J. Stuppy,et al.  Integration der Kognition in technische Systeme , 2005 .

[21]  Farrokh Janabi-Sharifi,et al.  Theory and applications of HVAC control systems – A review of model predictive control (MPC) , 2014 .

[22]  Dirk Müller,et al.  Concept and Energy Management in the new E.ON ERC Main Building , 2012 .

[23]  Alfons Crespo,et al.  Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal , 2004, Real-Time Systems.

[24]  W. Wonham,et al.  Supervisory control of timed discrete-event systems , 1994, IEEE Trans. Autom. Control..

[25]  Carsten Rust,et al.  Pr/T-Net Based Seamless Design of Embedded Real-Time Systems , 2001, ICATPN.