Formal Control of New England 39-Bus Test System: An Assume-Guarantee Approach
CoRR(2023)
摘要
This work is concerned with an assume-guarantee approach to compositionally
control a New England 39-bus Test System (NETS). The proposed scheme is based
on the new notion of robust simulation functions with disturbance refinement
alongside the composition of multiple subsystems to tackle the difficulties
associated with scalability, also known as the curse of dimensionality. In our
proposed setting, we approximate concrete subsystems with abstractions that
have lower dimensions (a.k.a. reduced-order models) while providing
mathematical guarantees on controller synthesis through the quantification of
an upper bound on the closeness between output trajectories of original systems
and their abstractions. We propose two control methods to provide guarantees
for NETS: one using the principle of interconnected synchronous machines and
another considering the power flows in the network between neighbouring
subsystems.
更多查看译文
关键词
control,system,assume-guarantee
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要