嵌入式控制状态转移的确定性实时语义义
CSTR:
作者:
作者单位:

昆明理工大学 信息工程与自动化学院

作者简介:

王剑平

通讯作者:

中图分类号:

TP393

基金项目:

国家自然科学基金项目(61364008, 61263017);云南省自然科学基金项目(2009CD041, 2010CD038);云南省教育厅重点基金项目(2013Z127);昆明理工大学人才培养项目(14118596).


Real-time semantics of state transition for embedded control systems
Author:
Affiliation:

Faculty of Information Engineering and Automation,Kunming University of Science and Technology

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

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

    Abstract:

    Embedded control is the procedure execution of the physical system state transition driven by the real-time event. It uses super dense time(SDT) label to indicate the real-time nature of the event, and describes a real-time state transition semantic model which naturally expresses time. It is proved that the real-time event tag is a partial order function in time value, and the state transition sequence of real-time events are same as the corresponding non-real-time process. For the real-time constraints on the trajectory of the state transition, the operation on the non-real-time process is extended to the real-time process to obtain the execution order of determinacy operation. An example of controling flat machine weaving movement shows the effectiveness of the semantic expression.

    参考文献
    相似文献
    引证文献
引用本文

王剑平 张云生 张果 张晶.嵌入式控制状态转移的确定性实时语义义[J].控制与决策,2014,29(1):83-88

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2012-10-05
  • 最后修改日期:2013-03-24
  • 录用日期:
  • 在线发布日期: 2014-01-20
  • 出版日期:
文章二维码