论文标题
通过反馈改进关系，非线性控制系统的符号抽象
Symbolic Abstractions for Nonlinear Control Systems via Feedback Refinement Relation
论文作者
论文摘要
本文通过反馈改进关系研究了非线性控制系统符号抽象的构建。无延迟和时间延迟案件均已解决。对于无延迟情况，为了降低计算复杂性，我们根据静态量化器提出了一种针对状态和输入集的新近似方法，然后构建了一种新颖的符号模型，以使原始系统和符号模型满足反馈改进关系。对于时间延迟情况，将静态和动态量化器组合在一起以近似状态和输入集。这导致了时间延迟控制系统的新型动态符号模型，并且在原始系统和符号模型之间建立了反馈改进关系。最后，提出了一个数值示例，以说明获得的结果。
This paper studies the construction of symbolic abstractions for nonlinear control systems via feedback refinement relation. Both the delay-free and time-delay cases are addressed. For the delay-free case, to reduce the computational complexity, we propose a new approximation approach for the state and input sets based on a static quantizer, and then a novel symbolic model is constructed such that the original system and the symbolic model satisfy the feedback refinement relation. For the time-delay case, both static and dynamic quantizers are combined to approximate the state and input sets. This leads to a novel dynamic symbolic model for time-delay control systems, and a feedback refinement relation is established between the original system and the symbolic model. Finally, a numerical example is presented to illustrate the obtained results.
