混合自动机

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

检索结果分析

结果分析中...
选择条件：
  • 主题=形式化x
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一类非线性混合自动机的离散化验证
《电脑知识与技术》2018年第2Z期263-265,共3页施枫 
混合系统是同时包含有相互作用的连续性子系统和离散性子系统的一类动态系统。混合自动机是目前混合系统验证研究中最常用的一种形式化模型。由于混合自动机连续变量的复杂性以及连续变量和离散变量的相互作用性,对混合自动机的可达集...
关键词：混合自动机 离散化验证 计算树逻辑 连续变量 形式化验证 
基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法被引量：2
《中国铁道科学》2012年第5期91-97,共7页吕继东 李开成 唐涛 袁磊 
国家“八六三”计划项目(2011AA010104);北京交通大学轨道交通控制与安全国家重点实验室开放课题(RCS2011K010);北京交通大学科技基金资助项目(2012JBM024)
针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具...
关键词：高速铁路列控系统 混合通信顺序进程 混合自动机 行车许可场景 
基于混合自动机的PSL模型研究被引量：2
《计算机应用研究》2010年第1期196-199,203,共5页张萌 高德远 樊晓桠 
基于SPICE的计算机仿真方法在混合信号电路验证应用中具有较大的计算开销,讨论基于属性描述的建模方法减小计算开销的问题。通过分析PSL(property specification language)对系统属性的形式化描述方法,并分析混合自动机理论对混合信号...
关键词：计算机仿真 混合自动机 混合信号电路 模型 形式化方法 
基于混合自动机的随机噪声电路动态特性分析被引量：2
《计算机仿真》2008年第6期326-330,共5页张萌 高德远 樊晓桠 
国家自然科学基金项目(60573143)
在集成电路非线性随机噪声的分析中应用Petri网技术,需要对原有的Petri网从定义和变迁发射规则方面等进行统计特性与连续特性的拓展研究和补充。并且基于噪声的随机非线性特性分析目的需求,拓展了传统的Petri网,提出了混合随机Petri网(H...
关键词：计算机仿真 模型 佩特里网 混合自动机 形式化方法 动态特性 
混合投影时序逻辑与混合系统的形式化验证被引量：4
《计算机科学》2007年第11期279-282,共4页张海宾 段振华 
国家自然科学基金(60373103);国家自然科学基金(60433010);博士点基金(20030701015)
为了描述混合系统的性质和行为,10多年来,各种时序逻辑,如Hybrid Temporal Logic等相继出现。这些时序逻辑适用于刻画混合系统的性质和规范,但不适宜表示描述系统的实现模型。本文定义了一个混合投影时序逻辑(Hybrid Projection Tempora...
关键词：混合系统 混合自动机 区间时序逻辑 形式化验证 
卫星定位系统的验证原型被引量：1
《华东理工大学学报（自然科学版）》2004年第1期74-77,共4页李一阁 宋国新 
国防科技重点实验室基金(99JS94.10.1.DZ4201)
用模型检查的方法对卫星定位系统进行了验证,对把模型检查应用于实际系统进行了初步的探索。
关键词：卫星定位系统 验证原型 模型检查 混合自动机 混合系统 形式化验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部