Skip to Main content Skip to Navigation
Journal articles

Maximally Permissive Liveness-Enforcing Supervisor with Lowest Implementation Cost for Flexible Manufacturing Systems

Abstract : This paper develops a place invariant based deadlock prevention method to obtain a maximally permissive Petri net supervisor with the lowest implementation cost. A supervisor consists of a set of control places and the arcs connecting control places to transitions. We assign an implementation cost for each control place and control and observation costs for each transition. Based on reachability graph analysis, maximal permissiveness can be achieved by designing place invariants that prohibit all first-met bad markings but no legal markings. 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 implementation cost of the final supervisor. A vector covering approach is used to reduce the number of considered markings, aiming to reduce the computational overhead of the proposed method. Finally, a number of examples are proposed to illustrate the proposed approach.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01126280
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 11:48:45 AM
Last modification on : Wednesday, February 5, 2020 - 4:36:03 PM

Identifiers

  • HAL Id : hal-01126280, version 1

Collections

Citation

Yufeng Chen, Zhiwu Li, Kamel Barkaoui. Maximally Permissive Liveness-Enforcing Supervisor with Lowest Implementation Cost for Flexible Manufacturing Systems. Information sciences, Information Sciences, 2014, 256, pp.74-90. ⟨hal-01126280⟩

Share

Metrics

Record views

88