混合自动机

作品数：28被引量：81H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘保罗裴海龙陈宗基薛乐魏晨更多>>
相关机构：华东理工大学华南理工大学上海交通大学汕头大学更多>>
相关期刊：《计算机仿真》《中国学术期刊文摘》《南京大学学报（自然科学版）》《控制理论与应用》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划广东省自然科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 主题=非线性x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一类非线性混合自动机的离散化验证
《电脑知识与技术》2018年第2Z期263-265,共3页施枫 
混合系统是同时包含有相互作用的连续性子系统和离散性子系统的一类动态系统。混合自动机是目前混合系统验证研究中最常用的一种形式化模型。由于混合自动机连续变量的复杂性以及连续变量和离散变量的相互作用性,对混合自动机的可达集...
关键词：混合自动机 离散化验证 计算树逻辑 连续变量 形式化验证 
自动化理论与技术
《电子科技文摘》2001年第10期143-144,共2页
0117906基于混合自动机的Post-WIMP界面的建模[刊]/栗阳//软件学报.—2001,12(5).—633～644(K)0117907非线性系统的全局调节[刊]/王连圭//控制理论与应用.—2001,18(3).—469～472(K) 0117908单亲遗传算法图式定理的进一步分析[刊]/车...
关键词：理论与应用 单亲遗传算法 图式定理 非线性系统 混合自动机 全局调节 比较原理 超中立型 遗传算子 连续系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部