有界输入线性系统符号抽象中完备性的参数化
系统与控制
2014-02-18 v1
摘要
一个已输入量化的控制系统，其良好的状态-时间量化符号抽象应满足三个条件：邻近性、健全性和完备性。现有的不稳定系统符号抽象方法仅限于满足邻近性和健全性，而不满足完备性。即使使用监督反馈，系统的不稳定性也是为有界且量化的输入不稳定系统构建完全完备的状态-时间量化符号模型的障碍。因此，本文通过引入修剪输入近似互模拟这一核心概念，提出了一种对符号模型完备性进行参数化的方法。完备性的程度由一个称为输入轨迹集修剪的参数指定。我们随后讨论了一种构建状态-时间量化符号模型的过程，该模型除了相对于时间量化模型是健全和邻近的之外，还是近乎完备的。
引用
@article{arxiv.1402.3928,
title = {Parametrization of completeness in symbolic abstraction of bounded input linear systems},
author = {Santosh Arvind Adimoolam},
journal= {arXiv preprint arXiv:1402.3928},
year = {2014}
}