arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1908.04750math.OCmath.DS
收藏

网络化控制系统自触发设计的符号化方法

A symbolic approach to the self-triggered design for networked control systems

Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas

摘要:

在这篇论文中,我们研究了具有可达性和安全性指标的非线性控制系统的新型自触发控制器。为了综合自触发控制器,我们利用符号模型或抽象的概念,表示控制系统的抽象表达式。符号模型将通过近似交替模拟关系的概念,在此基础上,并采用可达性游戏,自触发控制器的综合。我们通过数值模拟说明了所提出的方法的有效性。

英文摘要:

In this paper, we investigate novel self-triggered controllers for nonlinear control systems with reachability and safety specifications. To synthesize the self-triggered controller, we leverage the notion of symbolic models, or abstractions, which represent abstracted expressions of control systems. The symbolic models will be constructed through the concepts of approximate alternating simulation relations, based on which, and by employing a reachability game, the self-triggered controller is synthesized. We illustrate the effectiveness of the proposed approach through numerical simulations.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑