%0 Journal Article
%T 嵌入式控制状态转移的确定性实时语义义
%A 王剑平
%A 张云生
%A 张果
%A 张晶
%J 控制与决策
%P 83-88
%D 2014
%R 10.13195/j.kzyjc.2012.1470
%X 嵌入式控制是在实时事件驱动下物理系统状态转移的执行过程,采用超致密时间(SDT)标签表示事件的实时性,描述一种自然表达时间的实时状态转移语义模型;证明事件实时标签是时间值上的偏序函数,实时事件的状态转移顺序与对应的非实时过程一样;针对状态转移轨迹中的实时约束条件,把非实时过程上的操作扩展到实时过程,得到确定性的操作执行顺序.一个控制横毛织机编织运动的实例表明了语义表达的有效性.
%K 嵌入式控制
%K 状态转移
%K 超致密时间
%K 实时约束
%K 确定性操作
%U http://www.kzyjc.net:8080/CN/abstract/abstract12616.shtml