.png){kind=icon}
返回
Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach
.png){kind=icon}
OA
AI
DOI：10.1109/TCNS.2021.3050123.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
In this article, we focus on mitigating the computational complexity in abstraction-based controller synthesis for interconnected control systems. To do so, we provide a compositional framework for the construction of abstractions for interconnected systems and a bottom-up controller synthesis scheme. In particular, we propose a notion of approximate composition which makes it possible to compute an abstraction of the global interconnected system from the abstractions (possibly of different types) of its components. Finally, by leveraging our notion of approximate composition, we propose a bottom-up approach for the synthesis of controllers enforcing decomposable safety specifications. The effectiveness of the proposed results is demonstrated using two case studies (viz., dc microgrid and traffic network) by comparing them with different abstraction and controller synthesis schemes.
Keyword:
Abstraction
compositionality
interconnected systems
safety specifications
symbolic control
期刊
IF:
5
论文数:
1.7K
被引数:
5.8K
机构
引用论文
Triazine-fused β-carbolines: a facile three-step, one-pot synthesis of novel 2-alkyl(aryl)amino and 2-dialkylamino-7H-[1,3,5]triazino [1',2':1,6]pyrido[3,4-b]indol-4-ones.png)
ArkivocOAAI
ArkivocIF0
OAAI分享收藏
分享收藏分享收藏
查看更多内容