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

Maen Atli 1 Zied Achour 2 Alexandre Sava 1 Nidhal Rezg 1
1 COSTEAM - Optimal and secure management of manufacturing systems
Inria Nancy - Grand Est, UPVM - Université Paul Verlaine - Metz
2 LGIPM - Laboratoire de Génie Industriel, de Production et de Maintenance
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

INRIA | UNIV-LORRAINE | LGIPM

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

474

 

Contact                    Legal Notice                    Personal Data