A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Modeling of cooperative power supply protocol and verification test for small power system
小型マイクログリッドにおける協調給電プロトコルと正当性検証のためのモデル化
2020
小型マイクログリッドにおける協調給電プロトコルと正当性検証のためのモデル化
This paper considers a security framework for small power systems. The target system is the virtual grid (VG) system that is suitable for battery driven devices. VG networks batteries, battery driven devices, renewable energy sources via DC power transmission. The minimum unit of VG is the VG-Hub. The VG-hub has a collaborative power supply function that supply power from several batteries. This paper considers a verification method of the collaborative power supply function. Especially, we consider the Petri Net modeling of the VG-Hub.
doi:10.11511/jacc.63.0_1289
fatcat:7qd6kxb3h5fatlvu42kjtygdaa