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.
本文研究了定义在状态-事件序列上的谓词的离散事件系统的状态反馈控制问题。
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.
本文提出了基于状态-事件的时空数据模型,并系统阐述各时空数据模型之间的相互转换条件。
You can see that the methods — state, transition, and event — combined with closures and hash maps, make a nice DSL.
可以看到这个方法——状态、转换和事件——与闭包和散列映射结合起来,可以形成一个良好的DSL。
应用推荐