Skip to Main content Skip to Navigation
Journal articles

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

Abstract : 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.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01126364
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 11:52:22 AM
Last modification on : Tuesday, July 23, 2019 - 3:38:05 PM

Identifiers

  • HAL Id : hal-01126364, version 1

Collections

Citation

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, Institute of Electrical and Electronics Engineers, 2012, 42, pp.615-629. ⟨hal-01126364⟩

Share

Metrics

Record views

89