嵌入式控制状态转移的确定性实时语义

来源期刊：控制与决策2014年第1期

论文作者：王剑平 张云生 张果 张晶

文章页码：83 - 88

关键词：嵌入式控制;状态转移;超致密时间;实时约束;确定性操作;

摘    要：嵌入式控制是在实时事件驱动下物理系统状态转移的执行过程,采用超致密时间(SDT)标签表示事件的实时性,描述一种自然表达时间的实时状态转移语义模型;证明事件实时标签是时间值上的偏序函数,实时事件的状态转移顺序与对应的非实时过程一样;针对状态转移轨迹中的实时约束条件,把非实时过程上的操作扩展到实时过程,得到确定性的操作执行顺序.一个控制横毛织机编织运动的实例表明了语义表达的有效性.