上海交大研究生院主页平台管理系统 liudong--Home-- Formal Modeling and Verification of Flexible Load Control for Power Grid CPS Based on Differential Dynamic Logic

Home > Scientific Research > Paper Publications

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:会议论文

Pre One:Hierarchical Optimization Control Strategy for Electric Vehicle in Active Distribution Network

Next One:配电自动化实用化提升关键技术

Recommend this article

Home

Scientific Research

Teaching Research

Awards and Honours

Admission Information

Student Information

My Album

Blog

Personal Information

Formal Modeling and Verification of Flexible Load Control for Power Grid CPS Based on Differential Dynamic Logic