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.
文章用一阶谓词对该模型的访问控制约束规则进行了形式化描述，并讨论了该模型在业务流程管理系统中的实现方法。
应用推荐