A novel matrix approach for the stability and stabilization analysis of colored Petri nets

被引：0
|
作者：
Jiantao Zhao
Zengqiang Chen
Zhongxin Liu
机构：
[1] Nankai University,College of Computer and Control Engineering
[2] Nankai University,Key Laboratory of Intelligent Robotics of Tianjin
来源：
Science China Information Sciences | 2019年 / 62卷
关键词：
discrete event system; colored Petri net; semi-tensor product of matrices; stability; equilibrium point; stabilization;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In this study, the stability and stabilization problem of a colored Petri net based on the semitensor product of matrices is investigated. First, the marking evolution equation of the colored Petri net in a Boolean algebra framework is established, and the necessary and sufficient condition for the stability of the equilibrium point of the colored Petri net is given. Then, the concept of the pre-k steps reachability set is defined and is used to study the problem of marking feedback stabilization. Some properties of the pre-k steps reachability set are developed. The condition of the stabilization of the colored Petri net is given. The algorithm of the optimal marking feedback controller is designed. The proposed method in this paper could judge the stability and stabilization of the colored Petri net by matrix approach. The obtained results are simple and easy to implement by computer. An example is provided to illustrate the effectiveness of the proposed method.
引用
收藏
相关论文
共 50 条
12345