摘要
考虑可用具有不可控变迁的受控 Petri网建模的离散事件动态系统 .提出了在这类系统中实现一组不等式约束的控制器的综合方法 .所提出的控制器可通过给系统 Petri网模型增加一些 Petri网元素来实现 ,其计算是建立在本文提出的 Petri网的路增益概念基础上的 .方法是系统、简单、计算量小 .
We consider discrete event dynamic systems represented by controlled Petri nets with some uncontrollable transitions. A method for synthesizing a controller is presented, which enforces a set of linear inequality constraints on the reachable markings of the system Petri net model. The controller is implemented by adding some Petri net elements into the system Petri net model and is computed based on the Petri net concept of path gains introduced in this paper. The approach is systematic and computationally inexpensive in terms of design time and implementation complexity.
出处
《自动化学报》
EI
CSCD
北大核心
2001年第2期180-185,共6页
Acta Automatica Sinica
基金
国家自然科学基金
西安交通大学机械制造系统工程国家重点实验室基金资助项目
关键词
离散事件系统
PETRI网
路增益
控制器
Calculations
Constraint theory
Control equipment
Invariance
Mathematical models
Petri nets
