主 题
不 限
全 文
按相关度排序
混杂系统验证中商迁移系统迁移关系的简化算法 CNKI文献
混杂系统的形式验证中,确定近似商迁移系统的迁移关系,需要根据初始状态集计算系统可达集的流管道近似。本文针对线性定常系统的特点,结合凸多面体的性质,给出了当初始状态区域为凸多面体且不变集内连续状态方程为线性...
方敏 李辉... 第二十九届中国控制会议论文集 2010-07-29 中国会议
关键词： 混杂系统 / 流管道 / 迁移关系 / 形式验证
下载（28）| 被引（1）
混杂系统模型验证工具的验证效果分析 CNKI文献
混杂系统的形式验证技术是利用数学分析方法对混杂系统的安全性进行验证。近十年来,模型验证技术是形式验证研究的主要方法。模型验证技术是指,利用计算机强大的计算功能自动地对混杂系统的数学模型...
刘震 导师:方敏 合肥工业大学 2010-04-01 硕士论文
关键词： 混杂系统 / 模型验证 / 混杂自动机 / 形式验证工具
下载（271）| 被引（8）
混杂系统验证中可达集过近似方法的研究 CNKI文献
混杂系统是连续变量动态系统和离散事件动态系统相结合,并且二者相互影响相互作用的一类系统。混杂系统形式验证是混杂系统的一个研究方向,它是分析在给定的初始条件下,系统
罗来豹 导师:方敏 合肥工业大学 2010-03-01 硕士论文
关键词： 混杂系统 / 形式验证 / 有向矩形壳 / 凸多面体
下载（194）| 被引（2）
