Skip to Main content Skip to Navigation
Journal articles

Feedback control logic for forbidden state problem of marked graphs: Application to a real manufacturing system

Asma Ghaffari 1 Nidhal Rezg 1 Xiaolan Xie 1
1 MACSI - Industrial system modeling, analysis and operation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This paper addresses the forbidden state problem of general marked graphs with uncontrollable transitions. The models need not to be safe nor cyclic. Control requirements are expressed as the conjunction of General Mutual Exclusion Constraints (GMEC) of markings of so-called critical places. Structural properties such as influence paths and influence zones are proposed to perform the worst-case analysis for each GMEC specification with any given initial marking when only uncontrollable transitions are allowed. Efficient solutions are proposed for the determination of the maximal uncontrollably reachable marking of any critical place, and this for many possible, more or less general, configurations of the net structure, even for the case of overlapping paths of critical places. Besides, we demonstrate that these results can be easily extended to unbounded nets and when critical places have negative weights. For the most general case, when analytical solution is not available, a linear programming approach is proposed. The great advantage of the proposed approach over existing methods is emphasized by using it to solve the supervisory control problem of the automated manufacturing system of AIP-RAO of Lyon, France (Atelier Inter-établissements de Productique Rhône Alpes Ouest).
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/inria-00099641
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 9:39:39 AM
Last modification on : Friday, February 26, 2021 - 3:28:04 PM

Identifiers

  • HAL Id : inria-00099641, version 1

Collections

Citation

Asma Ghaffari, Nidhal Rezg, Xiaolan Xie. Feedback control logic for forbidden state problem of marked graphs: Application to a real manufacturing system. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2003, 48 (1), pp.18-29. ⟨inria-00099641⟩

Share

Metrics

Record views

206