韩晓光
- 作品数：7 被引量：12H指数：3
- 供职机构：南开大学更多>>
- 发文基金：天津市自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 带有同步变迁的有界Petri网系统的建模及可达性分析被引量：3
- 2016年
- 由于存在可达标识集的爆炸性问题,大型Petri网系统的建模及可达性分析等问题的研究存在难度.文章利用矩阵的半张量积工具,研究了带有同步变迁的有界Petri网系统的建模及可达性问题.一方面,由于该类Petri网系统可以看作是由若干个子Petri网系统组成,所以可以用半张量积工具表述得到整个Petri网系统的矩阵表示.另一方面,在得出的矩阵表示的基础上,研究了两个标识之间可达性的充要判据,并给出了求可达变迁序列的算法.最后,文章用实例验证了该算法的正确性.所提出的方法在一定程度上解决了状态空间爆炸问题,并易于计算机实现.
- 高娜韩晓光陈增强张青
- 关键词：可达性有界PETRI网
- Petri网信标和陷阱计算的矩阵半张量积方法被引量：4
- 2016年
- 本文基于矩阵半张量积(semi-tensor product,STP)方法研究了普通Petri网(Petri nets,PNs)信标和陷阱的计算问题.首先,利用STP方法建立了两个矩阵方程,分别称为Petri网的信标方程(siphon equation,SE)和陷阱方程(trap equation,TE).其次,证明了计算Petri网的信标和陷阱分别等价于求信标方程(SE)和陷阱方程(TE)的非零解.同时,给出了计算Petri网所有信标和陷阱的算法.最后,实例和实验结果说明了本文方法的可行性与有效性.本文所提出的方法对于Petri网信标和陷阱的计算是非常有效的,它只涉及到矩阵的乘法运算.
- 韩晓光陈增强刘忠信张青
- 关键词：PETRI网信标
- 有界Petri网的可逆性和活性的STP判别方法被引量：4
- 2016年
- 基于矩阵半张量积(the semi-tensor product,STP)方法研究了有界Petri网系统的可逆性和活性问题.首先,利用先前所建立的有界Petri网系统的状态演化方程,分别给出了有界Petri网系统的可逆性和活性判别的充要条件.文章的结果是基于矩阵形式的,利用Matlab的STP工具箱,可将Petri网系统的可逆性和活性判别问题转化为简单直接的矩阵计算问题.所提出的方法不仅形式简单、计算方便,而且易于计算机实现.其次,两个实例说明了文章所提出方法的可行性和有效性.
- 韩晓光陈增强刘忠信张青
- 关键词：PETRI网可逆性活性
- 基于矩阵半张量积方法的带有敌对输入的异步时序机控制
- 2019年
- 本文基于矩阵半张量积方法研究了带有敌对输入的异步时序机的控制问题.首先,利用矩阵半张量积,给出了带有敌对输入的异步时序机动态行为的代数表示.接着,通过分析具体的控制过程设计了具有最小状态集的控制器并给出了控制器状态转移结构矩阵和输出结构矩阵的赋值算法.其次,基于带有敌对输入的异步时序机的代数表示和控制器的赋值算法给出了整个闭环系统的动态行为的代数表示,从而验证本文理论结果的正确性.最后,利用具体实例说明了本文所提方法的的可行性和有效性.
- 陈增强陈增强韩晓光王晶晶
- 关键词：控制器
- 一类Petri网系统建模与可达性分析的STP方法被引量：1
- 2016年
- 基于矩阵半张量积(STP)方法研究了一类Petri网系统(PNSs)的建模和可达性问题.首先,利用STP将这类PNSs的动态演化表示为离散时间双线性方程;然后,给出了这类PNSs的变迁-状态邻接矩阵的定义,利用所建立的双线性方程和变迁-状态邻接矩阵给出了这类PNSs状态可达性判别的几个充要条件,同时设计了计算这类PNSs任意两可达状态的所有路径的有效算法;最后,用实例说明了所得结果的可行性与有效性.
- 韩晓光陈增强张奎泽刘忠信张青
- 关键词：PETRI网系统可达性
- 有界Petri网系统稳定性与镇定性分析的矩阵半张量积方法被引量：2
- 2016年
- 基于矩阵半张量积(semi-tensor product,STP)方法,本文研究了有界Petri网系统稳定性和镇定性问题.首先,在布尔代数框架下,对先前所建立的有界Petri网系统的标识演化方程进行了改进.利用改进后的这个方程,给出了有界Petri网系统平衡点稳定性判别的充要条件.其次,为了研究有界Petri网系统的标识反馈镇定问题,定义了Petri网系统的标识k步前可达性集,并给出了它的一些基本性质.利用这些性质,给出了有界Petri网系统镇定性的判别方法,并设计了最优标识反馈控制器的有效算法.本文的结果是基于矩阵形式的,利用MATLAB的STP工具箱,可将Petri网系统的稳定性和镇定性判别问题转化为简单直接的矩阵计算问题.该方法的优势不仅在于所得到的结果形式简单,而且易于计算机实现.最后,实例说明了该方法的可行性和有效性.
- 韩晓光陈增强刘忠信张青
- 关键词：PETRI网离散事件动态系统镇定性
- 带有同步变迁的有界Petri网系统可达性分析的STP方法
- 本文利用矩阵的半张量积研究了带有同步变迁的有界Petri网系统的建模及可达性问题.首先,将该类Petri网系统根据同步变迁分成若干个子网系统,分别用半张量积工具表述、合并这些子网系统得出整个Petri网系统的标识演化方程...
- 高娜韩晓光陈增强张青
- 关键词：可达性有界PETRI网
- 文献传递
