摘要
Energy consumption evaluation is one of the most important steps in Cyber-Physical Energy System (CPES) development. However, due to the lack of accurate and effective modeling and evaluation approaches considering the uncertainty of environment, it is hard to conduct the quantitative analysis for the energy consumption of CPESs. To address the above issue, this paper proposes an environment-aware energy consumption evaluation framework based on the Statistical Model Checking (SMC). In our framework, the environment uncertainty of CPESs is modeled using the Stochastic Hybrid Automata (SHA). In order to describe various environment modeling patterns, we create a collection of parameterized SHA models and save them to a domain specific environment ontology. Based on the domain environment ontology and user designs in the form of UML sequence diagrams and activity diagrams, our framework can automatically guide the construction of CPES models using networks of SHA and conduct the corresponding energy consumption evaluation. A case study based on an energy-aware building design demonstrates that our approach can not only support the accurate environment modeling with various uncertain factors, but also can be used to reason the relations between the energy consumption and environment uncertainties of CPES designs.
| 源语言 | 英语 |
|---|---|
| 主期刊名 | Proceedings - 2015 IEEE 39th Annual Computer Software and Applications Conference, COMPSAC 2015 |
| 编辑 | Gang Huang, Jingwei Yang, Sheikh Iqbal Ahamed, Pao-Ann Hsiung, Carl K. Chang, William Chu, Ivica Crnkovic |
| 出版商 | IEEE Computer Society |
| 页 | 5-14 |
| 页数 | 10 |
| ISBN(电子版) | 9781467365635 |
| DOI | |
| 出版状态 | 已出版 - 21 9月 2015 |
| 活动 | 39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015 - Taichung, 中国台湾 期限: 1 7月 2015 → 5 7月 2015 |
出版系列
| 姓名 | Proceedings - International Computer Software and Applications Conference |
|---|---|
| 卷 | 2 |
| ISSN(印刷版) | 0730-3157 |
会议
| 会议 | 39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015 |
|---|---|
| 国家/地区 | 中国台湾 |
| 市 | Taichung |
| 时期 | 1/07/15 → 5/07/15 |
联合国可持续发展目标
此成果有助于实现下列可持续发展目标:
-
可持续发展目标 7 经济适用的清洁能源
指纹
探究 'Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach' 的科研主题。它们共同构成独一无二的指纹。引用此
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver