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.
本文研究了定义在状态-事件序列上的谓词的离散事件系统的状态反馈控制问题。
2
In this paper, a new spatial-temporal data model based on state-event is presented, and the qualifications for conversion between spatial-temporal data models are analyzed.
本文提出了基于状态-事件的时空数据模型，并系统阐述各时空数据模型之间的相互转换条件。
3
You'll use state names and event names directly as the array's indexes.