首页> 中文期刊> 《合肥工业大学学报：自然科学版》 >基于流管道过近似的混合系统形式化验证技术

基于流管道过近似的混合系统形式化验证技术

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

文章针对混合系统形式验证中可达集计算的问题,介绍了通过流管道过近似的方法计算系统可达集的基本原理,给出了具体的计算过程;结合一个切换系统的实例,建立其混合自动机模型,在MATLAB语言环境下编程,实现验证过程。

著录项

来源
《合肥工业大学学报：自然科学版》 |2008年第1期|52-55|共4页
作者
李辉; 方敏;
展开▼
作者单位

合肥工业大学电气与自动化工程学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;自动模拟理论（自动仿真理论）;
关键词
混合系统; 形式验证; 流管道; 可达集;

相似文献

中文文献
外文文献
专利

1. 基于Spin的安全协议形式化验证技术 [J] . 冉俊轶 ,吴尽昭 . 计算机应用 . 2014,第0z2期
2. 基于SCADE的形式化验证技术的改进研究 [J] . 李耀 ,郭进 ,孔令晶 . 计算机工程与设计 . 2013,第006期
3. 基于SCADE的形式化验证技术研究 [J] . 林枫 . 测控技术 . 2011,第012期
4. 一种基于状态机的形式化验证技术 [J] . 林敬恩 ,滕忠坚 ,陈圣群 . 电脑知识与技术 . 2008,第013期
5. 一种基于状态机的形式化验证技术 [J] . 林敬恩 ,滕忠坚 ,陈圣群 . 电脑知识与技术：学术交流 . 2008,第005期
6. 基于属性描述语言的形式化验证技术研究 [C] . Hu Yayun ,胡亚云 ,LI Dongfang . 全国抗恶劣环境计算机第二十八届学术年会 . 2018
7. 形式验证技术中流管道近似方法的研究与应用 [A] . 李健 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号