Rechercher

[CLBa11] Optimal Petri net supervisor with lowest implemental cost for flexible manufacturing systems

Conférence Internationale avec comité de lecture : IEEE 16th International Conference on Emerging Technologies & Factory Automation (ETFA), 2011 , February 2011, pp.1 - 6 , Series IEEE/IET (IEL), (DOI: 10.1109/ETFA.2011.6059027 )
motcle:
Résumé: This paper develops a place invariant based deadlock prevention method to obtain an optimal Petri net supervisor by considering its implemental cost. A supervisor is expressed by control places and the arcs connecting control places to transitions. We assign an implemental cost for each control place and arc. Maximally permissiveness can be achieved by designing place invariants that make all legal markings reachable while all first-met bad marking unreachable. By solving an integer linear programming problem (ILPP), a set of optimal control places are obtained and the objective function is used to minimize the implemental cost of the final supervisor. A vector covering approach is used to reduce the number of constraints and variables in the ILPP, aiming to reduce the computational overhead of the proposed method. Finally, a number of examples are used to illustrate the proposed approach

Commentaires: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6059027&tag=1

Equipe: vespa

BibTeX

@inproceedings {
CLBa11,
title="{Optimal Petri net supervisor with lowest implemental cost for flexible manufacturing systems }",
author=" Y. Chen and Z. Li and K. Barkaoui ",
booktitle="{IEEE 16th International Conference on Emerging Technologies & Factory Automation (ETFA), 2011 }",
year=2011,
month="February",
series="IEEE/IET (IEL)",
pages="1 - 6 ",
note="{http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6059027&tag=1}",
doi="10.1109/ETFA.2011.6059027 ",
}