Behaviorally Optimal and Structurally Simple Liveness-enforcing Supervisors of Flexible Manufacturing Systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans Année : 2012

Behaviorally Optimal and Structurally Simple Liveness-enforcing Supervisors of Flexible Manufacturing Systems

Zhiwu Li
Mengchu Zhou
  • Fonction : Auteur

Résumé

This paper presents two iterative deadlock prevention policies for flexible manufacturing systems (FMSs). Both can find a maximally permissive liveness-enforcing supervisor with a small number of control places. A vector covering approach is used to obtain a minimal covering set of legal markings and a minimal covered set of first-met bad markings (FBMs), which are much smaller than the sets of legal markings and FBMs, respectively. At each iteration, by solving an integer linear programming problem (ILPP), a place invariant (PI) associated with a control place is designed to forbid as many FBMs as possible and no markings in the minimal covering set of legal markings are forbidden. The objective function of the ILPP maximizes the number of FBMs that are forbidden by the PI. Then, the forbidden FBMs by the PI are removed from the minimal covered set of FBMs. This process is carried out until all FBMs are forbidden. Two ILPP design techniques are developed for the control policies. Though the proposed methods cannot in general guarantee the minimality of the supervisory structure, they reduce the overall computational time greatly, which is shown by numerical studies. Finally, a number of FMS examples from the literature are presented to illustrate the proposed methods.
Fichier non déposé

Dates et versions

hal-01126364 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01126364 , version 1

Citer

Yufeng Chen, Zhiwu Li, Mengchu Zhou. Behaviorally Optimal and Structurally Simple Liveness-enforcing Supervisors of Flexible Manufacturing Systems. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 2012, 42, pp.615-629. ⟨hal-01126364⟩
11 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More