有界Petri网系统稳定性与镇定性分析的矩阵半张量积方法.pdf

中国科学: 信息科学 2016 年 第46 卷 第11 期: 1542–1554 SCIENTIA SINICA Informationis 不确定信息网络专题 有界 网系统稳定性与镇定性分析的矩阵 半张量积方法 * 韩晓光 陈增强 刘忠信 张青 南开大学计算机与控制工程学院, 天津 300350 南开大学天津市智能机器人技术重点实验室, 天津 300350 中国民航大学理学院, 天津 300300 * 通信作者. E-mail: chenzq@ 收稿日期: 2016–05–26; 接受日期: 2016–08–02; 网络出版日期: 2016–11–08 国家自然科学基金(批准号: 和天津市自然科学基金 (批准号: 14JCYBJC18700, 13JCYBJC17400) 资助 项目 摘要 基于矩阵半张量积(semi-tensor product, STP) 方法, 本文研究了有界Petri 网系统稳定性和镇 定性问题. 首先, 在布尔代数框架下, 对先前所建立的有界Petri 网系统的标识演化方程进行了改进. 利用改进后的这个方程, 给出了有界Petri 网系统平衡点稳定性判别的充要条件. 其次, 为了研究有 界Petri 网系统的标识反馈镇定问题, 定义了Petri 网系统的标识 步前可达性集, 并给出了它的一 些基本性质. 利用这些性质, 给出了有界Petri 网系统镇定性的判别方法, 并设计了最优标识反馈控 制器的有效算法. 本文的结果是基于矩阵形式的, 利用MATLAB 的STP 工具箱, 可将Petri 网系统 的稳定性和镇定性判别问题转化为简单直接的矩阵计算问题. 该方法的优势不仅在于所得到的结果 形式简单, 而且易于计算机实现. 最后, 实例说明了该方法的可行性和有效性. 关键词 Petri 网 离散事件动态系统 矩阵的半张量积 平衡点 稳定性 镇定性 引言 作为图形化和数学建模工具, Petri 网已成为离散事件动态系统建模、分析和管控的有效工具之 一∼ , 尤其是描述和管控系统的并发、同步、冲突、不确定和随机等行为非常有效. 近 20 年来, 它 受到了来自计算机领域和自控领域学者的普遍关注, 并被广泛应用于并行软件系统 、柔性制造系 统 和系统生物学 等领域. 纵观过去的几十年, 虽然有关Petri 网系统问题的研究取得了长足发展, 但是由于缺乏恰当的数 学工具, 仍有一些基本问题有待进一步解决, 如Petri 网系统的控制、死锁、可观性和辨识等问题. 有 关这方面问题的介绍见综述文献 [9]. 最近, 一种基于精确数学模型的方法已经被用于Petri 网系统的 研究当中, 并且取得了一系列结果∼ . 其基本工具是矩阵半张量积 (semi-tensor product, STP), 它 引用格式 韩晓光 陈增强 刘忠信 等 有界 网系统稳定性与镇定性分析的矩阵半张量积方法 中国科学 信息科学 ⃝ 《中国科学》杂志社 中国科学: 信息科学 第 46 卷 第 11 期 是普通矩阵乘法的推广, 由中国科学院程代展教授首次提出 . 至今已形成了相当规模的应用研究 领域, 包括布尔网络 、博弈论 、有限自动机 等. 系统的稳定性和镇定性是两个基本问题, 它是系统运行的前提条件. 当选择用Petri 网作为系统 建模工具时, 首先要考虑 Petri 网系统的稳定性. 到目前为止, 还没有发现有关 Petri