TY - GEN
T1 - Evaluating Energy Consumption for Cyber-Physical Energy System
T2 - 39th IEEE Annual Computer Software and Applications Conference, COMPSAC 2015
AU - Chen, Xiaohong
AU - Gu, Fan
AU - Chen, Mingsong
AU - Du, Dehui
AU - Liu, Jing
AU - Sun, Haiying
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2015/9/21
Y1 - 2015/9/21
N2 - 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.
AB - 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.
KW - Cyber-Physical Energy Systems
KW - Environment Ontology
KW - Statistical Model Checking
KW - Stochastic Hybrid Automata (SHA)
KW - Uncertainty of Environment
UR - https://www.scopus.com/pages/publications/84962199713
U2 - 10.1109/COMPSAC.2015.114
DO - 10.1109/COMPSAC.2015.114
M3 - 会议稿件
AN - SCOPUS:84962199713
T3 - Proceedings - International Computer Software and Applications Conference
SP - 5
EP - 14
BT - Proceedings - 2015 IEEE 39th Annual Computer Software and Applications Conference, COMPSAC 2015
A2 - Huang, Gang
A2 - Yang, Jingwei
A2 - Ahamed, Sheikh Iqbal
A2 - Hsiung, Pao-Ann
A2 - Chang, Carl K.
A2 - Chu, William
A2 - Crnkovic, Ivica
PB - IEEE Computer Society
Y2 - 1 July 2015 through 5 July 2015
ER -
