Skip to Main content Skip to Navigation
Conference papers

Supervisory Control of Partially Observable Marked Graph Based on Marking Exclusion Constraint Management and Control of Production and Logistics

Abstract : This paper presents a control synthesis approach for discrete event systems modelled by partially observable marked graphs. It solves the forbidden state problem for discrete event systems modelled by partially observable event graphs subject to Marking Exclusion Constraints (MEC). Two kind of MEC specifications are considered: MEC-AND or MEC-OR. The main advantage of MEC specifications is an increased modelling power regarding to General Mutual Exclusion Constraints GMEC. We provide a simple optimal controller to enforce MEC specifications with independent critical places. We also propose a suboptimal controller for MEC-OR with dependent critical places belonging to the same direct path.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00601027
Contributor : Ist Inria Nancy Grand Est <>
Submitted on : Thursday, June 16, 2011 - 2:45:18 PM
Last modification on : Sunday, November 22, 2020 - 12:18:02 PM

Identifiers

Collections

Citation

Maen Atli, Zied Achour, Alexandre Sava, Nidhal Rezg. Supervisory Control of Partially Observable Marked Graph Based on Marking Exclusion Constraint Management and Control of Production and Logistics. 5th Conference on Management and Control of Production Logistics - MCPL 2010, Sep 2010, Coimbra, Portugal. ⟨10.3182/20100908-3-PT-3007.00015⟩. ⟨inria-00601027⟩

Share

Metrics

Record views

474