This paper studies the problem of state feedback control for discrete event systems, where the predicate is defined on the set of state-event sequences.
本文研究了定义在状态-事件序列上的谓词的离散事件系统的状态反馈控制问题。
Under the geometric background, the extended problem of state feedback control for discrete event systems is solved, including both simple and general predicate.
在这些几何背景下，解决了离散事件系统状态反馈控制的拓广问题，包括关于简单谓词与一般谓词的问题。
The access control rule of the ACBAC model is formalized by the first order predicate logic. The realization method of the model in business process management systems is also discussed.
文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。
According to Boolean algebra, removing minterms is used for a new algorithm about the supremal controllable predicate, which is the most important problem in Supervisory control of DES.
文中结合布尔代数，采用移除最小项的方法，提出了解决离散事件系统监控理论中最关键的问题——计算最大能控子谓词的一种新算法。
According to Boolean algebra, removing minterms is used for a new algorithm about the supremal controllable predicate, which is the most important problem in Supervisory control of DES.
文中结合布尔代数，采用移除最小项的方法，提出了解决离散事件系统监控理论中最关键的问题——计算最大能控子谓词的一种新算法。
应用推荐