混合系统的形式验证技术及其在化工过程控制中的应用

来源 :控制与决策 | 被引量 : 0次 | 上传用户:jack88698
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对PLC等逻辑控制器控制连续对象的可靠性问题,给出了混合系统的形式验证的方法,即用混合矩形自动机建模,通过其商迁移的可达性分析,证明了控制程序的正确性。应用实例表明该方法是可行和有效的。
其他文献
近年来,在世界和我国服务外包业迅速发展的背景下,合肥服务外包业迅速发展。本文主要分析了合肥发展服务外包业的各项指标,指明合肥发展服务外包业具有较强的比较优势,但在某些问
在文化多元背景下,如何促进高校思政教学改革成效的提升,成为相关教育者需要重点思考的问题。文章立足于高校思政教学现状,主要分析了几点改革策略。
大学生思想政治教育是高校教育中非常重要的一部分,在如今的新媒体时代,学生思想受到互联网信息影响大,思政教育工作较过去有了很大转变。本文通过对101位大学生的问卷调查,
操作风险管理是商业银行风险管理领域中的热点问题,本文基于流程控制的角度来探讨银行操作风险管理,从流程的视角来分析操作风险,并利用流程控制来帮助银行实施有效的风险控
将无损耗电阻器应用于直流电动机调速系统,采用瞬时值补偿控制方法,通过控制无损耗电阻器的输出,实现了电动机的转速控制,并改善了速度控制系统的动态特性.无损耗电阻器控制
近年来,随着我国经济建设的快速发展,高校的发展问题越来越被重视,所以现在高校的发展速度呈上升趋势,同时由于教育问题涉及到方方面面所以已经受到全社会的广泛关注。对于高
提出一种基于Volterra模型的非线性预测控制器.采用收敛精度高、速度快的EGA算法滚动求解控制律,反馈校正中考虑了对误差和输出变化趋势影响的双重抑制.对一类非线性系统的仿
海勤人员是我国海军的主体力量,担负保护海上安全,维护领海主权,确保海洋权益,保卫蓝色祖国的重要责任。随着我国海军战略方针的转变,海勤人员的任务形式、组训方式、训练模