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

• 作者: 张云生 张晶 张果 王剑平
• 来源期刊: 控制与决策
• 学科: 工学
• 关键词: 嵌入式控制 状态转移 超致密时间 实时约束 确定性操作
• 年，卷（期）: 2014,（1）
• 所属期刊栏目: 论文与报告
• 页码范围: 83-88
• 页数: 6页
• 分类号: TP393
• 语种: 中文
• DOI: 10.13195/j.kzyjc.2012.1470

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张云生	昆明理工大学信息工程与自动化学院	89	503	11.0	18.0
2	张果	昆明理工大学信息工程与自动化学院	47	281	10.0	15.0
3	张晶	昆明理工大学信息工程与自动化学院	60	174	8.0	9.0
4	王剑平	昆明理工大学信息工程与自动化学院	59	352	11.0	16.0