关键词: 混成系统  有界模型检验  可达性分析  组合线性混成自动机  可满足性  不可约不可解子集  

2017年第03期

关键词: 自动机理论  混成系统  设备控制系统  动态行为  状态空间  模型检测  自动机模型  互模拟  形式化定义  动  

2015年第01期 《中国电子教育》

关键词: 协同设计  软硬件混成系统  安全软件  可靠性  软硬件协同设计  混成系统  嵌入式系统  需求规范  开发周期  设计技术  

2005年第04期 《世界科技研究与发展》

关键词: 混成系统  医疗机器人  微分动态逻辑  微分不变式  形式化验证  

2018年第18期 《计算机工程与应用》

关键词: 形式化方法  抽象算法  混成系统  温控系统  

2018年第04期 《软件导刊》

关键词: 混成系统  碰撞躲避  主动安全控制  模式切换  轨迹追踪  

2017年第08期 《系统仿真学报》

关键词: 人工智能  机器人  混成通信顺序进程  混成系统  形式化验证  定理证明  

2017年第05期 《软件学报》

关键词: 液压运动系统  混成系统  微分动态逻辑  

2017年第02期 《甘肃科学学报》

关键词: craig插值  可满足性模理论  线性混成自动机  符号模型检验  混成系统  

2014年第07期 《电子学报》

关键词: 混成系统  微电网  趋优控制  光伏电池  燃料电池  

2013年第05期 《西南交通大学学报·社会科学版》

关键词: 自动发电控制  混成系统  离散混成自动机  事件驱动  hagc  电网  上海  

2009年第01期 《电力自动化设备》

关键词: 配电网  混成系统  电压控制  指标体系  电压质量  

2010年第12期 《电机与控制学报》

关键词: 混成系统  可控混成petri网模型  高层控制  可靠运动  

2011年第03期 《控制工程》

关键词: 混成系统  建模  分析  验证  

2008年第08期 《计算机应用研究》

关键词: 混成系统  形式验证  可达性  可决定性  

2008年第01期 《湖南邮电职业技术学院学报》

关键词: 主成分分析  时间序列  混成系统  

2011年第03期 《福建电脑》

关键词: 列车控制系统  交接协议  混成系统  uml图  微分动态逻辑  

2012年第05期 《中国铁道科学》

关键词: 混成系统  lyapunov函数  平方和松弛  半正定规划  

2012年第05期 《系统科学与数学》

关键词: 混成系统  可达性分析  安全性验证  多面体包含  线性近似  

2013年第05期 《计算机应用》

关键词: 物联网  混成系统  混成程序  微分动态逻辑  组件  系统组合  

2013年第09期 《计算机工程》