具有不可控变迁离散事件系统的Petri网控制器
Petri Net Controller for Discrete Event Systems with Uncontrollable Transitions
-
摘要: 考虑可用具有不可控变迁的受控Petri网建模的离散事件动态系统.提出了在这类 系统中实现一组不等式约束的控制器的综合方法.所提出的控制器可通过给系统Petri网模 型增加一些Petri网元素来实现,其计算是建立在本文提出的Petrl网的路增益概念基础上 的.方法是系统、简单、计算量小.Abstract: In this paper 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 first introduced in this paper. The approach is systematic and computationally inexpensive in terms of design time and implementation complexity.
-
Key words:
- Discrete event dynamic systems /
- Petri net /
- path gain /
- invariant /
- controller
-
点击查看大图
计量
- 文章访问数: 2086
- HTML全文浏览量: 66
- PDF下载量: 1100
- 被引次数: 0
下载:
