Probabilistic model checking and scheduling implementation of an energy router system in energy internet for green cities

M Gao, K Wang, L He - IEEE Transactions on Industrial …, 2018 - ieeexplore.ieee.org
Energy router (ER) based system is a crucial part of the energy transmission and
management under the circumstance of energy Internet for green cities. During its design …

Probabilistic model checking for green energy router system in energy internet

M Gao, K Wang, L He - GLOBECOM 2017-2017 IEEE Global …, 2017 - ieeexplore.ieee.org
Green energy router (ER) system is a crucial part in the energy transmission and
management under the circumstance of Energy Internet and green communication. During …

Energy flow analysis of the multi-energy energy router

S Li, Z Li, P Li, Y Zhang, D Xie - IOP Conference Series: Earth …, 2020 - iopscience.iop.org
Energy routers have become a hot topic in recent years as a key link to realize the wide
interconnection of multiple energy sources in the energy Internet. Firstly, this paper analyzed …

[PDF][PDF] 能源互联微电网的商业模式分析

辛立宸, 董朝阳, 徐岩, 刘峻玮… - SOUTHERN POWER …, 2016 - epjournal.csee.org.cn
As the concept of energy internet develops rapidly, the top r level design in different areas of
energy internet has become one of the important tasks among energy field research. The …

Modelling of plug and play interface for energy router based on IEC61850

YF Shi, F Yang, L Gan, HL He - IOP Conference Series: Earth and …, 2017 - iopscience.iop.org
Under the background of the" Internet Plus", as the energy internet infrastructure equipment,
energy router will be widely developed. The IEC61850 standard is the only universal …

Applications of Formal And Semi-formal Verification on Software Testing, High-level Synthesis And Energy Internet

M Gao - 2018 - escholarship.org
With the increasing power of computers and advances in constraint solving technologies,
formal and semi-formal verification have received great attentions on many applications …

Prvky silové části energetického internetu

P Smolík - 2017 - dspace.cvut.cz
Tato bakalářská práce popisuje problematikou energetického internetu s důrazem kladeným
na jeho hlavní součást, jíž je energetický router. Dále se zabývá požadavky kladenými na …