| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 709785 | IFAC Proceedings Volumes | 2012 | 6 Pages |
Abstract
In this paper a method is proposed for preventing the system from entering the forbidden states in Discrete Event Systems. So, a small number of control places are obtained by solving a few integer linear programming problems. The numbers of constraints and variables in each problem linearly grow with respect to the number of authorized states and forbidden states. The controller after connecting the obtained control places to the model is maximally permissive.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
