一个可控制变迁系统模型 (2011年)

本文以带输出的非确定型标记变迁系统为基本框架，建立了一个可控制变迁系统模型。在该模型中，伴随内部状态的输出作为观察部分，根据外部观察固定长度的历史记录，决定对系统实施反馈控制。运行状态、外部观察以及反馈控制形成一个环路。赋予非确定性的模糊或概率表示，可以进一步研究系统的相关性质。引入状态等价关系下的双模，可实现系统优化。