模糊离散事件系统的可观测性与分散控制

模糊离散事件系统作为（清晰）离散事件系统的推广，被引入以有效表示系统动态中产生的不确定性、不精确性和模糊性。模糊离散事件系统由模糊自动机建模；其行为用自动机生成的模糊语言来描述。本文研究具有部分观测的模糊离散事件系统的监督控制问题。将清晰语言的可观测性、正常性和共可观测性扩展到模糊语言。证明了期望模糊语言的可观测性与可控性是存在部分可观测模糊监督器的充分必要条件。当需要分散解时，证明了存在局部模糊监督器当且仅当待合成的模糊语言是可控的且共可观测的。此外，还讨论了最小可控且可观测的模糊超语言和最大可控且正常的模糊子语言。提供了简单示例以说明理论发展。