Control synthesis for partially controlled marked graph subject to marking exclusion constraints

Maen Atli 1 Alexandre Sava 1 Zied Achour Nidhal Rezg 1
1 COSTEAM - Optimal and secure management of manufacturing systems
Inria Nancy - Grand Est, UPVM - Université Paul Verlaine - Metz
Abstract : The goal of control synthesis is to build a control law which forces the system to respect given specifications. In this paper we propose a new type of specification called Marking Exclusion Constraint (MEC). The main advantage of MEC specification is an increased modeling power regarding General Mutual Exclusion Constraints (GMEC). We define two types of MEC: MEC-OR and MEC-AND and we propose a technique to build the controller which enforces MEC specifications for discrete events systems modeled by marking graphs.
Type de document :
Communication dans un congrès
Pierre Borne and Filip Florin Gheorghe. 12th IFAC Symposium on Large Scale Systems: Theory and Applications - LSS 2010, Jul 2010, Lille, France. 2010, 〈10.3182/20100712-3-FR-2020.00029〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00601022
Contributeur : Ist Inria Nancy Grand Est <>
Soumis le : jeudi 16 juin 2011 - 14:38:26
Dernière modification le : jeudi 16 mars 2017 - 01:06:18

Identifiants

Collections

Citation

Maen Atli, Alexandre Sava, Zied Achour, Nidhal Rezg. Control synthesis for partially controlled marked graph subject to marking exclusion constraints. Pierre Borne and Filip Florin Gheorghe. 12th IFAC Symposium on Large Scale Systems: Theory and Applications - LSS 2010, Jul 2010, Lille, France. 2010, 〈10.3182/20100712-3-FR-2020.00029〉. 〈inria-00601022〉

Partager

Métriques

Consultations de la notice

278