Formal Modeling and Verification of Flexible Load Control for Power Grid CPS Based on Differential Dynamic Logic
Date of Publication:2017-01-01 Hits:
Journal:2017 IEEE CONFERENCE ON ENERGY INTERNET AND ENERGY SYSTEM INTEGRATION (EI2)
Translation or Not:no
Date of Publication:2017-01-01
Indexed by:会议论文
