韩晓光

作品数：6被引量：14H指数：3
导出分析报告
供职机构：南开大学更多>>
发文主题：PETRI网有界PETRI网矩阵STP可达性分析更多>>
发文领域：自动化与计算机技术理学更多>>
发文期刊：《中国科学：信息科学》《系统科学与数学》《控制理论与应用》《北京邮电大学学报》更多>>
所获基金：天津市自然科学基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于矩阵半张量积方法的带有敌对输入的异步时序机控制被引量：1
《中国科学：信息科学》2019年第11期1488-1501,共14页陈增强 王晶晶 韩晓光 张青 
国家自然科学基金(批准号:61573199);天津市自然科学基金(批准号:14JCYBJC18700)资助项目
本文基于矩阵半张量积方法研究了带有敌对输入的异步时序机的控制问题.首先,利用矩阵半张量积,给出了带有敌对输入的异步时序机动态行为的代数表示.接着,通过分析具体的控制过程设计了具有最小状态集的控制器并给出了控制器状态转移结...
关键词：敌对输入 异步时序机 矩阵半张量积 控制器 转移结构矩阵 输出结构矩阵 
一类Petri网系统建模与可达性分析的STP方法被引量：1
《北京邮电大学学报》2016年第6期72-76,共5页韩晓光 陈增强 张奎泽 刘忠信 张青 
国家自然科学基金项目(61573199;61573200);天津自然科学基金资助项目(14JCYBJC18700;13JCYBJC17400)
基于矩阵半张量积(STP)方法研究了一类Petri网系统(PNSs)的建模和可达性问题.首先,利用STP将这类PNSs的动态演化表示为离散时间双线性方程;然后,给出了这类PNSs的变迁-状态邻接矩阵的定义,利用所建立的双线性方程和变迁-状态邻接矩阵给...
关键词：PETRI网系统 可达性 矩阵的半张量积 变迁-状态转移矩阵 变迁-状态邻接矩阵 
有界Petri网系统稳定性与镇定性分析的矩阵半张量积方法被引量：2
《中国科学：信息科学》2016年第11期1542-1554,共13页韩晓光 陈增强 刘忠信 张青 
国家自然科学基金(批准号:61573199;61573200);天津市自然科学基金(批准号:14JCYBJC18700;13JCYBJC17400)资助项目
基于矩阵半张量积(semi-tensor product,STP)方法,本文研究了有界Petri网系统稳定性和镇定性问题.首先,在布尔代数框架下,对先前所建立的有界Petri网系统的标识演化方程进行了改进.利用改进后的这个方程,给出了有界Petri网系统平衡点稳...
关键词：PETRI网 离散事件动态系统 矩阵的半张量积 平衡点 稳定性 镇定性 
带有同步变迁的有界Petri网系统的建模及可达性分析被引量：4
《系统科学与数学》2016年第7期924-936,共13页高娜 韩晓光 陈增强 张青 
国家自然科学基金(61573199;61573200);天津自然科学基金(14JCYBJC18700)资助课题
由于存在可达标识集的爆炸性问题,大型Petri网系统的建模及可达性分析等问题的研究存在难度.文章利用矩阵的半张量积工具,研究了带有同步变迁的有界Petri网系统的建模及可达性问题.一方面,由于该类Petri网系统可以看作是由若干个子Petr...
关键词：可达性 有界PETRI网 同步变迁 矩阵的半张量积 标识演化方程 
Petri网信标和陷阱计算的矩阵半张量积方法被引量：4
《控制理论与应用》2016年第7期849-855,共7页韩晓光 陈增强 刘忠信 张青 
国家自然科学基金项目(61573199;61573200);天津市自然科学基金项目(14JCYBJC18700;13JCYBJC17400)资助~~
本文基于矩阵半张量积(semi-tensor product,STP)方法研究了普通Petri网(Petri nets,PNs)信标和陷阱的计算问题.首先,利用STP方法建立了两个矩阵方程,分别称为Petri网的信标方程(siphon equation,SE)和陷阱方程(trap equation,TE).其次...
关键词：PETRI网 信标 陷阱 矩阵的半张量积 信标方程 陷阱方程 
有界Petri网的可逆性和活性的STP判别方法被引量：4
《系统科学与数学》2016年第3期361-370,共10页韩晓光 陈增强 刘忠信 张青 
国家自然科学基金(61573199;61573200);天津自然科学基金(14JCYBJC18700;13JCYBJC17400)资助课题
基于矩阵半张量积(the semi-tensor product,STP)方法研究了有界Petri网系统的可逆性和活性问题.首先,利用先前所建立的有界Petri网系统的状态演化方程,分别给出了有界Petri网系统的可逆性和活性判别的充要条件.文章的结果是基于矩阵形...
关键词：PETRI网 状态演化方程 可逆性 活性 半张量积. 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部