文献搜索-钛学术文献服务平台

刊名：计算机应用研究

发表时间：2009-04-01

摘要:

在Petri网的验证中,代数不变式起着非常重要的作用.将Petri网建模为半代数变迁系统,提出了自动生成不变式的算法,该不变式有助于更好地分析Petri网可达空间.算法首先将Petri网的不变式假定为一个含参数系统,然后通过求解半代数系统来求解不变式中的参数;最后,基于DISCOVERER和QEPCAD等Maple软件包实现了该算法,并通过实例说明了算法的有效性.

Petri网不变式半代数系统半代数变迁系统

下载 0

被引 0

 获取原文

2.【期刊】线性系统的同时镇定问题

作者：何冠男关强王龙郁文生

刊名：控制理论与应用

发表时间：2011-01-01

摘要:

线性系统的同时镇定问题,是系统与控制理论中的基本问题,有着广泛的理论意义和应用价值.本文介绍了线性系统同时镇定问题的研究现状和最新进展.首先回顾了同时镇定问题的研究内容、基本方法及相关结果.其次,从理论求解和控制器设计的角度对线性系统同时镇定研究中著名的"香槟问题","比利时巧克力问题"和"威士忌问题"进行了分析探讨,并基于不等式型定理机器证明理论,给出了线性系统同时镇定问题的相关工作.最后指出了对于同时镇定多个线性系统方面的若干研究方向.

线性系统同时镇定香槟问题比利时巧克力问题威士忌问题复分析不等式型定理机器证明半代数系统

下载 0

被引 0

 获取原文

3.【期刊】基于DISCOVERER的Petri网不变式自动生成

作者：毕忠勤单美静陈光喜

刊名：计算机应用研究

发表时间：2009-04-01

摘要:

在Petri网的验证中,代数不变式起着非常重要的作用.将Petri网建模为半代数变迁系统,提出了自动生成不变式的算法,该不变式有助于更好地分析Petri网可达空间.算法首先将Petri网的不变式假定为一个含参数系统,然后通过求解半代数系统来求解不变式中的参数;最后,基于DISCOVERER和QEPCAD等Maple软件包实现了该算法,并通过实例说明了算法的有效性.

Petri网不变式半代数系统半代数变迁系统

下载 0

被引 0

文献类型

学科分类

核心收录

年份

来源