|
 
|
[CL12a] On Structural Minimality of Optimal Supervisors for Flexible Manufacturing Systems
Revue Internationale avec comité de lecture : Journal Automatica, vol. 48(10), pp. 2647-2656, 2012
motcle:
Résumé:
This paper develops a place invariant based deadlock prevention
method to obtain an optimal, i.e., maximally permissive,
liveness-enforcing Petri net supervisor with a minimal supervisory
structure \textcolor[rgb]{0.00,0.00,1.00}{that means the minimal
number of control places}. Maximal permissiveness can be achieved by
designing place invariants that make all legal markings reachable
while all first-met bad markings unreachable. An integer linear
programming problem is formulated to compute all place invariants
and its objective function minimizes the number of place invariants,
aiming to yield a minimal supervisory structure. Importantly, we
develop a technique to greatly improve the efficiency of the
proposed method by reducing the number of constraints and variables
in the integer linear programming problem under consideration. A
number of examples from the literature are used to illustrate the
proposed approaches.
Equipe:
sys
BibTeX
| @article { | |||
| CL12a, | |||
| title | = | "{On Structural Minimality of Optimal Supervisors for Flexible Manufacturing Systems}", | |
| author | = | "Y. Chen and Z. Li", | |
| journal | = | "Automatica", | |
| year | = | 2012, | |
| volume | = | 48, | |
| number | = | 10, | |
| pages | = | "2647-2656", | |
| } | |||
