Calculations - Constraint theory - Control equipment - Invariance - Mathematical models - Petri nets;
D O I:
暂无
中图分类号:
学科分类号:
摘要:
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.