Formal Evaluation of Scheduling Strategies for Smart Building Air-Conditioning Systems under Uncertain Environment
Author:
Affiliation:

Clc Number:

Fund Project:

National Natural Science Foundation of China (NSFC) (91418203, 61202103, 61202104); Innovation Program of Shanghai Municipal EducationCommission (14ZZ047); Shanghai Knowledge Service Platform (ZF1213)

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    In recent years people have witnessed an increased worldwide attention to the concept of smart buildings.Compared with traditional counterpart, smart buildings are more energy efficient, comfortable and maintainable.Hence, smart buildings are becoming the mainstream of future building construction.As a key part of smart building ventilation systems, air conditioners highly impact the overall energy consumption of smart buildings as well as the experience of their occupants.Therefore, how to design and evaluate feasible scheduling strategies of air conditioning systems becomes a major challenge in the design of smart buildings.Especially when many uncertain factors caused by physical environment are involved, the complexity of strategy evaluation increases drastically.Although existing approaches allow the evaluation of smart buildings from the perspectives of energy consumption and performance, few of them consider the evaluation of the scheduling strategies themselves.Based on priced timed automata, this paper proposes an efficie framework that enables accurate modeling and evaluation of scheduling strategies of smart building air-conditioning systems with uncertain environment.This framework utilizes the statistical model checker UPPAAL-SMC as the engine to quantitatively analyze user-specified performance queries in the form of properties.Based on the underlying random simulation runs monitored by UPPAAL-SMC, the framework can automatically report the quantitative analysis results of energy consumption and user satisfaction under uncertain environment.Experimental results show that the proposed approach can effectively help smart building designers to make their decisions in the selection and optimization of scheduling strategies.

    Reference
    Related
    Cited by
Get Citation

陈铭松,顾璠,徐思远,陈小红.不确定环境下智能大厦空调系统调度策略评估.软件学报,2016,27(3):655-669

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:July 28,2015
  • Revised:October 20,2015
  • Adopted:
  • Online: January 06,2016
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063