[IEEE 2017 IEEE Conference on Energy Internet and Energy System Integration (EI2) - Beijing (2017.11.26-2017.11.28)] 2017 IEEE Conference on Energy Internet and Energy System Integration (EI2) - Formal modeling and verification of flexible load control for power grid CPS based on differential dynamic logic
Qin, Boya, Liu, Dong, Cao, Min, Zou, JingxiYear:
2017
Language:
english
DOI:
10.1109/EI2.2017.8245721
File:
PDF, 404 KB
english, 2017