论文标题
基于对数量化的非线性控制系统的符号抽象
Logarithmic Quantization based Symbolic Abstractions for Nonlinear Control Systems
论文作者
论文摘要
本文使用对数量化研究了非线性控制系统的符号抽象。使用对数量化器，我们近似于状态和输入集，然后为非线性控制系统构建新的离散抽象。建立了构建的离散抽象与原始系统之间的反馈改进关系。使用构造的离散抽象，研究了安全控制器的合成问题。通过离散的抽象和抽象规范，研究了安全控制器的存在，并提出了算法来计算抽象控制器。最后，给出一个数值示例来说明获得的结果。
This paper studies symbolic abstractions for nonlinear control systems using logarithmic quantization. With a logarithmic quantizer, we approximate the state and input sets, and then construct a novel discrete abstraction for nonlinear control systems. A feedback refinement relation between the constructed discrete abstraction and the original system is established. Using the constructed discrete abstraction, the safety controller synthesis problem is studied. With the discrete abstraction and the abstract specification, the existence of a safety controller is investigated, and the algorithm is proposed to compute the abstract controller. Finally, a numerical example is given to illustrate the obtained results.
