论文部分内容阅读
嵌入式控制是在实时事件驱动下物理系统状态转移的执行过程,采用超致密时间(SDT)标签表示事件的实时性,描述一种自然表达时间的实时状态转移语义模型;证明事件实时标签是时间值上的偏序函数,实时事件的状态转移顺序与对应的非实时过程一样;针对状态转移轨迹中的实时约束条件,把非实时过程上的操作扩展到实时过程,得到确定性的操作执行顺序.一个控制横毛织机编织运动的实例表明了语义表达的有效性.
Embedded control is the implementation of state transition of physical system driven by real-time events. Using SDT tags to represent real-time events, a real-time state transition semantic model of natural representation time is presented. The real-time tagging of events is proved to be time Value partial order function, and the real-time events are transferred in the same order as the corresponding non-real-time processes. In view of the real-time constraints in the state transition trajectories, the operations on non-real-time processes are extended to real-time processes, An example of controlling the weaving motion of a cross - loom shows the validity of the semantic expression.