当前位置：
数字出版物超市 >> 
混合系统的形式验证
混合系统的形式验证
【项目名称】 混合系统的形式验证
【项目编号】 60373103
【项目目标】
【项目关键词】 混合系统 多速率 形式验证 可达性分析 区间时序逻辑 可满足性判定 符号化 时序逻辑 数据结构 判定问题 时间区间 自动机 稠密 状态空间 命题 定义 有界 重赋值 整数域 等价 时间流 等价表示 等价转换 控制状态 模型检查 矩阵 可判定 连续状态 变量 等价类 封闭性 公式 可达
【项目承办单位】 西安电子科技大学;
【项目负责人】 段振华;
【项目来源】 国家自然科学基金项目
【涉及学科】 非线性科学与系统科学
【科研经费】 24万
【所属大项目】
【项目参与研究人员】
    【项目参与研究机构】
    【项目成果摘要】
    【发布单位】 国家自然科学基金委员会
    【发布时间】 2002-12-16
    【申请截止时间】 2003-03-31
    【立项时间】 2004-01
    【完成时间】 2006-12
    【申请条件】
    【联系方式】
    【项目信息来源】 https://isis.nsfc.gov.cn/portal/proj_search.asp
    加载本项目科研成果产出报表....
    加载本项目科研成果....
    加载项目负责人以往科研成果....
    加载同类科研项目成果比较....
    加载本项目科研成果引证文献....
    加载学术文献....
    加载所属大项目下的其它项目....
    加载相关研究人员....
    加载相关研究机构....