模糊离散事件系统的监督控制：一种形式化方法

模糊{\it 离散事件系统}（DESs）由Lin和Ying[19]近期提出，可更好地应对具有模糊性、不精确性与主观性的现实问题，如生物医学中的问题。作为[19]的延续，本文通过处理模糊DESs的监督控制进一步发展模糊DESs。具体而言，（i）我们重构清晰DESs的并行组合，进而定义等价于[19]中形式的模糊DESs并行组合；考虑用于建模模糊DESs的{\it 最大积}与{\it 最大最小}自动机；（ii）我们处理若干关于模糊DESs监督控制的基本问题，特别证明模糊DESs的可控性定理与非阻塞可控性定理，从而给出模糊DESs中监管器存在的条件；（iii）我们分析以统一准则检验由最大积自动机建模的模糊DESs模糊可控性条件的复杂度；特别地，若用最大最小自动机建模模糊DESs，我们详细给出检验模糊可控性条件是否成立的一般计算方法，藉此方法可搜索最大最小自动机中从初始模糊状态可达的所有可能模糊状态；并引入针对某些实际问题的模糊 $n$-可控性条件；（iv）描述若干示例以说明所得结果与方法的应用；研究若干与模糊DESs监督控制相关的基本性质。最后，提出若干待进一步考虑的相关问题。