用于控制设计的有限状态 $\rho/\mu$ 近似的输入输出构造
最优化与控制
2014-02-18 v2
摘要
我们考虑通过固定离散字母表与其控制器交互的离散时间被控对象。针对此类系统，并在没有外生输入的情况下，我们提出了一种通用的概念性过程，用于从有限长度的输入和输出信号对序列构建有限状态近似模型序列。我们明确推导了所提出的构造在与特定广义结构结合使用时满足 近似理想特性的条件，从而导出可用于经设计认证控制器综合的标称确定性有限状态机模型。我们还表明，在此设置中可使用的最小扰动字母表的基数等于传感器输出字母表的基数。最后，我们证明了所提出的构造满足相关的半完备性性质。
引用
@article{arxiv.1302.6289,
title = {An Input-Output Construction of Finite State $\rho/\mu$ Approximations for Control Design},
author = {Danielle C. Tarraf},
journal= {arXiv preprint arXiv:1302.6289},
year = {2014}
}