1. 引言
离散事件系统(discrete event systems简记为DES)的控制理论首先由Ramadge和Wonham [1] [2] 提出,在该理论中DES以自动机为模型,并且将系统的控制分为事件反馈控制和状态反馈控制,DES的状态反馈控制是通过状态反馈控制器来控制系统的。在DES的状态反馈控制中,我们并非直接观察系统的状态,而是通过一个输出映射将状态集映射为一个符号集来观察相应的输出符号。如果每一个状态都有一个对应的互不相同的输出符号,我们便称这类系统为完全可观察DES;如果系统中的状态只有部分状态通过输出映射可以被观察到相应的输出符号,我们便称这类系统为部分可观察DES。早在20世纪90年代,Li Y.和Wonham W. M. [3] 便开始了对部分可观察DES的探究。随后,诸多学者对部分可观察DES进行了研究,例如,Xiang Yin和Stéphane Lafortune [4] 研究了部分可观察DES的最大允许控制问题;Liujuan Mei和Rongjian Liu [5] 给出了验证部分可观察DES不透明度的矩阵方法等等。
然而,在实际生活中还有许多系统用Li Y.和Wonham W. M.所提出的模型难以进行模拟,因为这些系统中含有不确定性或模糊性。于是,Feng Lin和Hao Ying [6] [7] 把模糊集理论引入到其中,给出了以模糊自动机为模型的模糊DES,并研究了模糊DES的可观察性和最优控制问题,在此基础上Yong Cao [8] 研究了模糊DES的状态反馈控制。此外,还有许多学者对部分可观察模糊DES的很多其他性质也进行了研究,例如可检测性 [9],可预测性 [10],可诊断性 [11] 和安全诊断 [12] 以及基于梯度的在线学习 [13] 等。
本文主要研究了完全可观察和部分可观察模糊DES的状态反馈控制。我们给出了模糊谓词可观察的定义,并证明了对于预先给定的模糊谓词存在合理的状态反馈控制器使得闭环系统的可达模糊谓词等于所给定模糊谓词的充要条件是给定模糊谓词可控且可观察;然后,在一定条件下将部分可观察模糊DES转换为完全可观察模糊DES,并讨论模糊谓词在两类系统之间的控制不变性和可控性。
2. 基础知识
本小节主要介绍部分可观察一般DES和部分可观察模糊DES的基本模型以及模糊DES状态反馈控制中的基本概念。
部分可观察一般DES与模糊DES的模型
部分可观察一般DES可表示为自动机 [3]
(1)
其中
为状态集,
为事件集,
为状态转移函数,
为初始状态,
是可观察的输出符号集,而
是输出映射。
,
,当
时,称
有定义,记为
。
当
且
是一一映射时系统是完全可观察的,并记为
.(2)
部分可观察模糊DES可表示为自动机
(3)
其中Q为模糊状态集,
为模糊事件集,
为状态转移函数,
为初始状态,Y是可观察的输出符号集,而
是输出映射。
与一般状态集
相对应的模糊状态集Q中的元素表示为
,
表示q属于
的程度;
且
表示事件
发生后使系统从状态
可以转移到状态
的可能性;在G中,
,
,
,
。
状态反馈控制是利用状态反馈控制器来控制系统。为了使系统在预先给定的状态集中发生变化,将事件集
分为可控事件集
和不可控事件集
且
。定义控制输入
为映射:
满足
,记控制输入的全体为
。模糊状态反馈控制器f [15] 为
(4)
由于系统是部分可观察的,其控制器应该基于观察到的输出符号来进行控制,即此时的控制器还应该满足
,也就是说存在函数
,称g为一个h-控制器。
对f及
,定义
为
(5)
显然f完全由
决定。
2.2. 基础概念
定义2.1 [14] 部分可观察模糊DES中的模糊谓词P定义为状态集Q上的一个函数:
(6)
其中
,
。
记Q上所有模糊谓词组成的集合为
,定义
上的算子~(否定)、
(合取)、
(析取)如下:
(7)
定义2.2 [15] 对模糊谓词P和事件
,模糊谓词变换
定义为:
(8)
与谓词变换
的含义向反,我们定义模糊谓词P的另一模糊谓词变换如下:
定义2.3 [15] 对模糊谓词P和事件
,模糊谓词变换
定义为:
(9)
其中模糊谓词
为
。
显然,由定义2.3可知,若对
,
,
,若
,则
且
。
定义2.4 [15] 对模糊谓词P和事件
引入模糊状态反馈控制f,定义模糊谓词变换
为:
,
.(10)
定义2.5 [15] 称模糊谓词
是控制不变的,如果存在模糊状态反馈控制器f使得:
,
,
.(11)
定义2.6 [15] 定义G在f控制下闭环统的可达谓词
(12)
为
且
,
。存在
及
以及
且
满足:
1)
;
2)
;
3) 至少存在
使得
或
;
4) 对其他任意不完全相同于状态
,事件
的状态
及事件
满足
且
,则有
且
。
记
为
的可达状态集。
定义2.7 [15] 设
且
。定义模糊谓词
(13)
为
且
。存在
及
且
满足:
1)
;
2)
;
3) 至少存在
使得
或
;
4) 对其他任意不完全相同于状态
,事件
的状态
及事件
满足
且
,则有
且
。
3. 主要结论
本节在文 [15] 所给出的模糊谓词定义的基础上,讨论了部分可观察模糊DES和完全可观察模糊DES的状态反馈控制。
定义3.1设
,如果
,
有
(14)
则称模糊谓词P是可控的。
对任一模糊谓词
,
,首先给出输出映射h的一个逆像
,即
定义3.2设
,如果
有
(15)
则称模糊谓词P是可观察的。
显然,模糊谓词
,
可观察等价于存在满足
,
的
,
,
且
,则
。
定理3.1设模糊谓词P可控可观察当且仅当存在一个合理的h-控制器f使得
。
证明 首先给出G的一个合理的模糊控制器
(16)
在给定上述控制器的前提下证明该引理。
充分性:假设P是可控且可观察的,下证
。对任意的
,
,则有
。记
,下证
。由于P是可控可观察的且
,则
成立。由定义2.7可知:
,状态
及事件
,
满足:
且
。由定义2.6可知要证
成立,只需证
即可。
当
时,由f的定义可知
恒成立;
当
时,利用反证法,假设存在k使得
,则由f可知有
成立。由自动机
的定义可知
。这与定义2.7中的
矛盾,因此
成立,即
成立。故而有
,即
。
必要性:假设对任意的
,对上述所给合理的控制器f有
成立,下证模糊谓词P是可控且可观察的。
由文 [15] 中定理3.2可知,存在合理的模糊控制器f使得
成立时,P是可控的。
下证模糊谓词P是可观察的,即任给的
,若存在某
,
,满足
,
,
,
,
,
时,有
。
因为
,所以只须证
即可。
由
,
且
,故而有
。又因为
,所以
,由定义2.6可知
。又因为模糊控制器f是合理的,所以
,由f可知
,
,故
,所以
,因此模糊谓词P是可观察的。
综上所述,模糊谓词P是可控且可观察的。
证毕。
为进一步研究模糊DES的状态反馈控制,我们在给定下面条件A的基础上,将部分可观察模糊DES转化为完全可观察模糊DES。
条件A 对
及满足
,
的
,若
,
,则
。
对可控可观察模糊谓词P,设
,记
。
(17)
其中
,
(18)
这里
为Y的一个虚设状态,而
。对于任意可观察的模糊谓词P,由
的转移函数可知
中的每一个状态都会有相对应的输出符号,因此
是一个完全可观察的模糊DES。
下面我们讨论
作为
的谓词与P作为G的谓词之间的关系。
定理3.2 设模糊谓词P满足条件A且可控可观察,则
1) P相对于G是控制不变的当且仅当
相对于
是控制不变的。
2) 若P相对于G是可控的,则
相对于
是可控的。
证明 (1)充分性:要证
相对于
是控制不变的,只须证对任给的
,
,
且
,
,则有
即可。若对
,
,
且
,可知
且
,使得
且
。又因为P相对于G是控制不变的,则有
,即对
,
,
,若
,则有
且
。因此
且
。
必要性:要证P相对于G是控制不变的,只须证对
,
,
且
,则有
即可。对任给的
,
,
且
,记
,由
的定义可知
。又因为
相对于
是控制不变的,故而有
,从而
。
若P相对于G是可控的,则
。由定义2.7知
,状态
及事件
,满足
且
。记
,则
且
,所以有
。因此,结合(1)可知
相对于
是可控。
但其逆并不成立。例如,若P相对于G是可控,取
但有
且
成立,此时
是不可达的,故有
是不可控的,但我们根据
的定义可知
却是可控的。