The Spatio-Temporal Consistency Language(STeC)is a high-level modeling language that deals natively with spatio-temporal behaviour,i.e.,behaviour relating to certain locations and time.Such restriction by both locatio...The Spatio-Temporal Consistency Language(STeC)is a high-level modeling language that deals natively with spatio-temporal behaviour,i.e.,behaviour relating to certain locations and time.Such restriction by both locations and time is of first importance for some types of real-time systems.CCSL is a formal specification language based on logical clocks.It is used to describe some crucial safety properties for real-time systems,due to its powerful expressiveness of logical and chronometric time constraints.We consider a novel verification framework combining STeC and CCSL,with the advantages of addressing spatio-temporal consistency of system behaviour and easily expressing some crucial time constraints.We propose a theory combining these two languages and a method verifying CCSL properties in STeC models.We adopt UPPAAL as the model checking tool and give a simple example to illustrate how to carry out verification in our framework.展开更多
The presence of distributed generators(DGs)with high penetration poses new challenges in the management and operation of electrical grids.Due to the local character of DGs,they could in principle be used in emergency ...The presence of distributed generators(DGs)with high penetration poses new challenges in the management and operation of electrical grids.Due to the local character of DGs,they could in principle be used in emergency situations to prevent a voltage instability event of the grid.In this paper,a certain method is proposed to coordinate the operation of virtual power plant(VPP)and conventional voltage regulation device to improve the static voltage stability of distribution network with the multi-agent framework.The concept and the general framework of this coordinated control system is introduced,and the voltage instable nodes are determined based on the voltage instability indicator.The voltage coordinated control model of the distribution system is established according to the multi-agent consistency control theory and the coordinated controllers for agents are designed by solving a problem with bilinear matrix inequality constraints.The suggested method is implemented on an IEEE 33 nodes test system and the simulation results show its efficiency and validity.展开更多
基金This work was supported by the National Natural Science Foundation of China(Grant Nos.61370100,61321064)Shanghai Knowledge Service Platform Project(ZF1213)+1 种基金Shanghai Municipal Science and Technology Commission Project(14511100400)Defense Industrial Technology Development Program JCKY(2016212B004-2).
文摘The Spatio-Temporal Consistency Language(STeC)is a high-level modeling language that deals natively with spatio-temporal behaviour,i.e.,behaviour relating to certain locations and time.Such restriction by both locations and time is of first importance for some types of real-time systems.CCSL is a formal specification language based on logical clocks.It is used to describe some crucial safety properties for real-time systems,due to its powerful expressiveness of logical and chronometric time constraints.We consider a novel verification framework combining STeC and CCSL,with the advantages of addressing spatio-temporal consistency of system behaviour and easily expressing some crucial time constraints.We propose a theory combining these two languages and a method verifying CCSL properties in STeC models.We adopt UPPAAL as the model checking tool and give a simple example to illustrate how to carry out verification in our framework.
文摘“双碳”目标驱动以新能源为主体的新型电力系统快速发展,大规模新能源接入给电力系统带来强随机扰动,传统控制方法无法有效解决强随机扰动下电力系统稳定性变差的问题。从自动发电控制(automatic generation control,AGC)角度,提出了一种具有信息松弛的多态能源协调控制策略,以获取多态能源系统的最优协调控制。所提策略在“控制”部分采用具有完全信息松弛特性的前瞻有界Q学习(lookahead-bounded Q-learning,LQ)来预测未来Q值的上下界,以提高强随机环境下Q学习的快速收敛能力及控制性能;在“分配”部分利用新颖的分层双Q学习强一致性(hierarchical double Q-learning based multi paxos,HDQMP)策略来解决机组激增而产生的“维度灾难”问题。通过对改进的IEEE标准两区域负荷频率控制模型和大规模新能源接入的多态能源系统模型仿真,验证了所提方法的有效性。且与其他方法相比,所提方法具有更优的控制性能和更快的收敛速度。
文摘The presence of distributed generators(DGs)with high penetration poses new challenges in the management and operation of electrical grids.Due to the local character of DGs,they could in principle be used in emergency situations to prevent a voltage instability event of the grid.In this paper,a certain method is proposed to coordinate the operation of virtual power plant(VPP)and conventional voltage regulation device to improve the static voltage stability of distribution network with the multi-agent framework.The concept and the general framework of this coordinated control system is introduced,and the voltage instable nodes are determined based on the voltage instability indicator.The voltage coordinated control model of the distribution system is established according to the multi-agent consistency control theory and the coordinated controllers for agents are designed by solving a problem with bilinear matrix inequality constraints.The suggested method is implemented on an IEEE 33 nodes test system and the simulation results show its efficiency and validity.